Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Katsumi Inoue
@inproceedings{DBLP:conf/aaai/SchwindIKM24,
author = {Nicolas Schwind and
Katsumi Inoue and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {BeliefFlow: {A} Framework for Logic-Based Belief Diffusion via Iterated
Belief Change},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {10696--10704},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i9.28941},
doi = {10.1609/AAAI.V38I9.28941},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchwindIKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/walcom/YamadaBISU24,
author = {Yuya Yamada and
Mutsunori Banbara and
Katsumi Inoue and
Torsten Schaub and
Ryuhei Uehara},
editor = {Ryuhei Uehara and
Katsuhisa Yamanaka and
Hsu{-}Chun Yen},
title = {Combinatorial Reconfiguration with Answer Set Programming: Algorithms,
Encodings, and Empirical Analysis},
booktitle = {{WALCOM:} Algorithms and Computation - 18th International Conference
and Workshops on Algorithms and Computation, {WALCOM} 2024, Kanazawa,
Japan, March 18-20, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14549},
pages = {242--256},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-0566-5\_18},
doi = {10.1007/978-981-97-0566-5\_18},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/walcom/YamadaBISU24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-07885,
author = {Sota Moriyama and
Koji Watanabe and
Katsumi Inoue and
Akihiro Takemura},
title = {{MOD-CL:} Multi-label Object Detection with Constrained Loss},
journal = {CoRR},
volume = {abs/2403.07885},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.07885},
doi = {10.48550/ARXIV.2403.07885},
eprinttype = {arXiv},
eprint = {2403.07885},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-07885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/SchwindDIL23,
author = {Nicolas Schwind and
Emir Demirovic and
Katsumi Inoue and
Jean{-}Marie Lagniez},
title = {Algorithms for partially robust team formation},
journal = {Auton. Agents Multi Agent Syst.},
volume = {37},
number = {2},
pages = {22},
year = {2023},
url = {https://doi.org/10.1007/s10458-023-09608-7},
doi = {10.1007/S10458-023-09608-7},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/SchwindDIL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hcisys/WatanabeI23,
author = {Koji Watanabe and
Katsumi Inoue},
title = {Learning State Transition Rules from High-Dimensional Time Series
Data with Recurrent Temporal Gaussian-Bernoulli Restricted Boltzmann
Machines},
journal = {Hum. Centric Intell. Syst.},
volume = {3},
number = {3},
pages = {296--311},
year = {2023},
url = {https://doi.org/10.1007/s44230-023-00026-2},
doi = {10.1007/S44230-023-00026-2},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/hcisys/WatanabeI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/SatoI23,
author = {Taisuke Sato and
Katsumi Inoue},
title = {Differentiable learning of matricized DNFs and its application to
Boolean networks},
journal = {Mach. Learn.},
volume = {112},
number = {8},
pages = {2821--2843},
year = {2023},
url = {https://doi.org/10.1007/s10994-023-06346-5},
doi = {10.1007/S10994-023-06346-5},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/SatoI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchwindIM23,
author = {Nicolas Schwind and
Katsumi Inoue and
Pierre Marquis},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Editing Boolean Classifiers: {A} Belief Change Perspective},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6516--6524},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25801},
doi = {10.1609/AAAI.V37I5.25801},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchwindIM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/QuocI23,
author = {Tuan Nguyen Quoc and
Katsumi Inoue},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {On Converting Logic Programs Into Matrices},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 2, Lisbon, Portugal, February
22-24, 2023},
pages = {405--415},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011802400003393},
doi = {10.5220/0011802400003393},
timestamp = {Tue, 09 May 2023 16:56:47 +0200},
biburl = {https://dblp.org/rec/conf/icaart/QuocI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/IsobeI23,
author = {Takeru Isobe and
Katsumi Inoue},
editor = {Elena Bellodi and
Francesca Alessandra Lisi and
Riccardo Zese},
title = {Learning Strategies of Inductive Logic Programming Using Reinforcement
Learning},
booktitle = {Inductive Logic Programming - 32nd International Conference, {ILP}
2023, Bari, Italy, November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14363},
pages = {46--61},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49299-0\_4},
doi = {10.1007/978-3-031-49299-0\_4},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/IsobeI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/MoriyamaWI23,
author = {Sota Moriyama and
Koji Watanabe and
Katsumi Inoue},
editor = {Elena Bellodi and
Francesca Alessandra Lisi and
Riccardo Zese},
title = {{GNN} Based Extraction of Minimal Unsatisfiable Subsets},
booktitle = {Inductive Logic Programming - 32nd International Conference, {ILP}
2023, Bari, Italy, November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14363},
pages = {77--92},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49299-0\_6},
doi = {10.1007/978-3-031-49299-0\_6},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/MoriyamaWI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HirateBILNSST23,
author = {Takahiro Hirate and
Mutsunori Banbara and
Katsumi Inoue and
Xiao{-}Nan Lu and
Hidetomo Nabeshima and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Hamiltonian Cycle Reconfiguration with Answer Set Programming},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {262--277},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_19},
doi = {10.1007/978-3-031-43619-2\_19},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/HirateBILNSST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/YamadaBIS23,
author = {Yuya Yamada and
Mutsunori Banbara and
Katsumi Inoue and
Torsten Schaub},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {278--286},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_20},
doi = {10.1007/978-3-031-43619-2\_20},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/YamadaBIS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/QuocIS23,
author = {Tuan Nguyen Quoc and
Katsumi Inoue and
Chiaki Sakama},
editor = {Michael Hanus and
Daniela Inclezan},
title = {Linear Algebraic Abduction with Partial Evaluation},
booktitle = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13880},
pages = {197--215},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24841-2\_13},
doi = {10.1007/978-3-031-24841-2\_13},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/QuocIS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-06821,
author = {Taisuke Sato and
Akihiro Takemura and
Katsumi Inoue},
title = {Towards end-to-end {ASP} computation},
journal = {CoRR},
volume = {abs/2306.06821},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.06821},
doi = {10.48550/ARXIV.2306.06821},
eprinttype = {arXiv},
eprint = {2306.06821},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-06821.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10688,
author = {Yuya Yamada and
Mutsunori Banbara and
Katsumi Inoue and
Torsten Schaub},
title = {Bounded Combinatorial Reconfiguration with Answer Set Programming},
journal = {CoRR},
volume = {abs/2307.10688},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10688},
doi = {10.48550/ARXIV.2307.10688},
eprinttype = {arXiv},
eprint = {2307.10688},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10688.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-02566,
author = {Michael Igorevich Ivanitskiy and
Alex F. Spies and
Tilman R{\"{a}}uker and
Guillaume Corlouer and
Chris Mathwin and
Lucia Quirke and
Can Rager and
Rusheb Shah and
Dan Valentine and
Cecilia G. Diniz Behn and
Katsumi Inoue and
Samy Wu Fung},
title = {Structured World Representations in Maze-Solving Transformers},
journal = {CoRR},
volume = {abs/2312.02566},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.02566},
doi = {10.48550/ARXIV.2312.02566},
eprinttype = {arXiv},
eprint = {2312.02566},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-02566.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/frai/OkazakiI22,
author = {Kotaro Okazaki and
Katsumi Inoue},
title = {Explainable Model Fusion for Customer Journey Mapping},
journal = {Frontiers Artif. Intell.},
volume = {5},
pages = {824197},
year = {2022},
url = {https://doi.org/10.3389/frai.2022.824197},
doi = {10.3389/FRAI.2022.824197},
timestamp = {Wed, 15 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/frai/OkazakiI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/GaoWCI22,
author = {Kun Gao and
Hanpin Wang and
Yongzhi Cao and
Katsumi Inoue},
title = {Learning from interpretation transition using differentiable logic
programming semantics},
journal = {Mach. Learn.},
volume = {111},
number = {1},
pages = {123--145},
year = {2022},
url = {https://doi.org/10.1007/s10994-021-06058-8},
doi = {10.1007/S10994-021-06058-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/GaoWCI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/RibeiroFMI22,
author = {Tony Ribeiro and
Maxime Folschette and
Morgan Magnin and
Katsumi Inoue},
title = {Learning any memory-less discrete semantics for dynamical systems
represented by logic programs},
journal = {Mach. Learn.},
volume = {111},
number = {10},
pages = {3593--3670},
year = {2022},
url = {https://doi.org/10.1007/s10994-021-06105-4},
doi = {10.1007/S10994-021-06105-4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/RibeiroFMI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/QuocIS22,
author = {Tuan Nguyen Quoc and
Katsumi Inoue and
Chiaki Sakama},
title = {Enhancing Linear Algebraic Computation of Logic Programs Using Sparse
Representation},
journal = {New Gener. Comput.},
volume = {40},
number = {1},
pages = {225--254},
year = {2022},
url = {https://doi.org/10.1007/s00354-021-00142-2},
doi = {10.1007/S00354-021-00142-2},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/QuocIS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icicdt/Kieu-Do-NguyenK22,
author = {Binh Kieu{-}Do{-}Nguyen and
Tuan{-}Kiet Dang and
Trong{-}Thuc Hoang and
Katsumi Inoue and
Toshinori Usugi and
Masanori Odaka and
Shuichi Kameyama and
Cong{-}Kha Pham},
title = {High-speed FPGA-based Design and Implementation of Text Search Processor},
booktitle = {International Conference on {IC} Design and Technology, {ICICDT} 2022,
Hanoi, Vietnam, September 21-23, 2022},
pages = {109--112},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICICDT56182.2022.9933111},
doi = {10.1109/ICICDT56182.2022.9933111},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icicdt/Kieu-Do-NguyenK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GaoICW22,
author = {Kun Gao and
Katsumi Inoue and
Yongzhi Cao and
Hanpin Wang},
editor = {Luc De Raedt},
title = {Learning First-Order Rules with Differentiable Logic Program Semantics},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {3008--3014},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/417},
doi = {10.24963/IJCAI.2022/417},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GaoICW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RibeiroFMOKI22,
author = {Tony Ribeiro and
Maxime Folschette and
Morgan Magnin and
Kotaro Okazaki and
Lo Kuo{-}Yen and
Katsumi Inoue},
editor = {Stephen H. Muggleton and
Alireza Tamaddoni{-}Nezhad},
title = {Diagnosis of Event Sequences with {LFIT}},
booktitle = {Inductive Logic Programming - 31st International Conference, {ILP}
2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13779},
pages = {117--126},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-55630-2\_9},
doi = {10.1007/978-3-031-55630-2\_9},
timestamp = {Fri, 29 Mar 2024 23:01:34 +0100},
biburl = {https://dblp.org/rec/conf/ilp/RibeiroFMOKI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/TakemuraI22,
author = {Akihiro Takemura and
Katsumi Inoue},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Gradient-Based Supported Model Computation in Vector Spaces},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {336--349},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_26},
doi = {10.1007/978-3-031-15707-3\_26},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/TakemuraI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/SarmientoBIG22,
author = {Camilo Sarmiento and
Gauvain Bourgne and
Katsumi Inoue and
Jean{-}Gabriel Ganascia},
editor = {Reyhan Aydogan and
Natalia Criado and
J{\'{e}}r{\^{o}}me Lang and
V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
Marc Serramia},
title = {Action Languages Based Actual Causality in Decision Making Contexts},
booktitle = {{PRIMA} 2022: Principles and Practice of Multi-Agent Systems - 24th
International Conference, Valencia, Spain, November 16-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13753},
pages = {243--259},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21203-1\_15},
doi = {10.1007/978-3-031-21203-1\_15},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prima/SarmientoBIG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-13570,
author = {Kun Gao and
Katsumi Inoue and
Yongzhi Cao and
Hanpin Wang},
title = {Learning First-Order Rules with Differentiable Logic Program Semantics},
journal = {CoRR},
volume = {abs/2204.13570},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.13570},
doi = {10.48550/ARXIV.2204.13570},
eprinttype = {arXiv},
eprint = {2204.13570},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-13570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-02919,
author = {Camilo Sarmiento and
Gauvain Bourgne and
Daniele Cavalli and
Katsumi Inoue and
Jean{-}Gabriel Ganascia},
title = {Action Languages Based Actual Causality in Ethical Decision Making
Contexts},
journal = {CoRR},
volume = {abs/2205.02919},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.02919},
doi = {10.48550/ARXIV.2205.02919},
eprinttype = {arXiv},
eprint = {2205.02919},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-02919.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-03374,
author = {Koji Watanabe and
Katsumi Inoue},
title = {Learning State Transition Rules from Hidden Layers of Restricted Boltzmann
Machines},
journal = {CoRR},
volume = {abs/2212.03374},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.03374},
doi = {10.48550/ARXIV.2212.03374},
eprinttype = {arXiv},
eprint = {2212.03374},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-03374.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/SchwindOIHLM21,
author = {Nicolas Schwind and
Tenda Okimoto and
Katsumi Inoue and
Katsutoshi Hirayama and
Jean{-}Marie Lagniez and
Pierre Marquis},
title = {On the computation of probabilistic coalition structures},
journal = {Auton. Agents Multi Agent Syst.},
volume = {35},
number = {1},
pages = {14},
year = {2021},
url = {https://doi.org/10.1007/s10458-021-09498-7},
doi = {10.1007/S10458-021-09498-7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/SchwindOIHLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/SakamaIS21,
author = {Chiaki Sakama and
Katsumi Inoue and
Taisuke Sato},
title = {Logic programming in tensor spaces},
journal = {Ann. Math. Artif. Intell.},
volume = {89},
number = {12},
pages = {1133--1153},
year = {2021},
url = {https://doi.org/10.1007/s10472-021-09767-x},
doi = {10.1007/S10472-021-09767-X},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/SakamaIS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NguyenSSI21,
author = {Hien D. Nguyen and
Chiaki Sakama and
Taisuke Sato and
Katsumi Inoue},
title = {An efficient reasoning method on logic programming using partial evaluation
in vector spaces},
journal = {J. Log. Comput.},
volume = {31},
number = {5},
pages = {1298--1316},
year = {2021},
url = {https://doi.org/10.1093/logcom/exab010},
doi = {10.1093/LOGCOM/EXAB010},
timestamp = {Wed, 29 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/NguyenSSI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SchwindDIL21,
author = {Nicolas Schwind and
Emir Demirovic and
Katsumi Inoue and
Jean{-}Marie Lagniez},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {Partial Robustness in Team Formation: Bridging the Gap between Robustness
and Resilience},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {1154--1162},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1154.pdf},
doi = {10.5555/3463952.3464086},
timestamp = {Wed, 20 Jul 2022 17:03:47 +0200},
biburl = {https://dblp.org/rec/conf/atal/SchwindDIL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/ChenRTI21,
author = {Tianyu Chen and
Florian Richoux and
Javier M. Torres and
Katsumi Inoue},
title = {Interpretable Utility-based Models Applied to the FightingICE Platform},
booktitle = {2021 {IEEE} Conference on Games (CoG), Copenhagen, Denmark, August
17-20, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CoG52621.2021.9619121},
doi = {10.1109/COG52621.2021.9619121},
timestamp = {Fri, 10 Dec 2021 10:04:09 +0100},
biburl = {https://dblp.org/rec/conf/cig/ChenRTI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TakemuraI21,
author = {Akihiro Takemura and
Katsumi Inoue},
editor = {Joaqu{\'{\i}}n Arias and
Fabio Aurelio D'Asaro and
Abeer Dyoub and
Gopal Gupta and
Markus Hecher and
Emily LeBlanc and
Rafael Pe{\~{n}}aloza and
Elmer Salazar and
Ari Saptawijaya and
Felix Weitk{\"{a}}mper and
Jessica Zangari},
title = {Gradient-Based Supported Model Computation in Vector Spaces},
booktitle = {Proceedings of the International Conference on Logic Programming 2021
Workshops co-located with the 37th International Conference on Logic
Programming {(ICLP} 2021), Porto, Portugal (virtual), September 20th-21st,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2970},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2970/aspocppaper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TakemuraI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/QuocIS21,
author = {Tuan Nguyen Quoc and
Katsumi Inoue and
Chiaki Sakama},
title = {Linear Algebraic Computation of Propositional Horn Abduction},
booktitle = {33rd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2021, Washington, DC, USA, November 1-3, 2021},
pages = {240--247},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICTAI52525.2021.00040},
doi = {10.1109/ICTAI52525.2021.00040},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/QuocIS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LorthioirI21,
author = {Guillaume Lorthioir and
Katsumi Inoue},
title = {A Robust Approach to Noise for Plan Recognition in {RTS} Games},
booktitle = {33rd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2021, Washington, DC, USA, November 1-3, 2021},
pages = {469--474},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICTAI52525.2021.00076},
doi = {10.1109/ICTAI52525.2021.00076},
timestamp = {Tue, 28 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LorthioirI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/PhuaI21,
author = {Yin Jun Phua and
Katsumi Inoue},
editor = {Nikos Katzouris and
Alexander Artikis},
title = {Learning Logic Programs Using Neural Networks by Exploiting Symbolic
Invariance},
booktitle = {Inductive Logic Programming - 30th International Conference, {ILP}
2021, Virtual Event, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13191},
pages = {203--218},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-97454-1\_15},
doi = {10.1007/978-3-030-97454-1\_15},
timestamp = {Tue, 16 Aug 2022 23:04:22 +0200},
biburl = {https://dblp.org/rec/conf/ilp/PhuaI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08290,
author = {Akihiro Takemura and
Katsumi Inoue},
editor = {Andrea Formisano and
Yanhong Annie Liu and
Bart Bogaerts and
Alex Brik and
Ver{\'{o}}nica Dahl and
Carmine Dodaro and
Paul Fodor and
Gian Luca Pozzato and
Joost Vennekens and
Neng{-}Fa Zhou},
title = {Generating Explainable Rule Sets from Tree-Ensemble Learning Methods
by Answer Set Programming},
booktitle = {Proceedings 37th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2021, Porto (virtual
event), 20-27th September 2021},
series = {{EPTCS}},
volume = {345},
pages = {127--140},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.345.26},
doi = {10.4204/EPTCS.345.26},
timestamp = {Mon, 03 Jan 2022 22:03:23 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08290.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ans/AtiiaHIVW20,
author = {Ali Atiia and
Corbin Hopper and
Katsumi Inoue and
Silvia Vidal and
J{\'{e}}r{\^{o}}me Waldisp{\"{u}}hl},
title = {Computational intractability law molds the topology of biological
networks},
journal = {Appl. Netw. Sci.},
volume = {5},
number = {1},
pages = {34},
year = {2020},
url = {https://doi.org/10.1007/s41109-020-00268-0},
doi = {10.1007/S41109-020-00268-0},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ans/AtiiaHIVW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/NguyenHNIP20,
author = {Xuan{-}Thuan Nguyen and
Trong{-}Thuc Hoang and
Hong{-}Thu Nguyen and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {A 0.9-V 50-MHz 256-bit 1D-to-2D-based single/multi-match priority
encoder with 0.67-nW standby power on 65-nm {SOTB} {CMOS}},
journal = {Microprocess. Microsystems},
volume = {73},
pages = {102970},
year = {2020},
url = {https://doi.org/10.1016/j.micpro.2019.102970},
doi = {10.1016/J.MICPRO.2019.102970},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/NguyenHNIP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/BarambonesRII20,
author = {Jose Barambones and
Florian Richoux and
Ricardo Imbert and
Katsumi Inoue},
title = {Resilient Team Formation with Stabilisability of Agent Networks for
Task Allocation},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {15},
number = {3},
pages = {7:1--7:24},
year = {2020},
url = {https://doi.org/10.1145/3463368},
doi = {10.1145/3463368},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taas/BarambonesRII20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SatoSI20,
author = {Taisuke Sato and
Chiaki Sakama and
Katsumi Inoue},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {From 3-valued Semantics to Supported Model Computation for Logic Programs
in Vector Spaces},
booktitle = {Proceedings of the 12th International Conference on Agents and Artificial
Intelligence, {ICAART} 2020, Volume 2, Valletta, Malta, February 22-24,
2020},
pages = {758--765},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009093407580765},
doi = {10.5220/0009093407580765},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SatoSI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LorthioirI20,
author = {Guillaume Lorthioir and
Katsumi Inoue},
editor = {Christian Bessiere},
title = {Design Adaptive {AI} for {RTS} Game by Learning Player's Build Order},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {5194--5195},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/737},
doi = {10.24963/IJCAI.2020/737},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LorthioirI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sasb/ChaiRMRI20,
author = {Xinwei Chai and
Tony Ribeiro and
Morgan Magnin and
Olivier F. Roux and
Katsumi Inoue},
editor = {Ankit Gupta and
Tatjana Petrov},
title = {Static Analysis and Stochastic Search for Reachability Problem},
booktitle = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {350},
pages = {139--158},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.06.008},
doi = {10.1016/J.ENTCS.2020.06.008},
timestamp = {Thu, 10 Nov 2022 16:13:45 +0100},
biburl = {https://dblp.org/rec/conf/sasb/ChaiRMRI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NabeshimaI20,
author = {Hidetomo Nabeshima and
Katsumi Inoue},
editor = {Luca Pulina and
Martina Seidl},
title = {Reproducible Efficient Parallel {SAT} Solving},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd
International Conference, Alghero, Italy, July 3-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12178},
pages = {123--138},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51825-7\_10},
doi = {10.1007/978-3-030-51825-7\_10},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/NabeshimaI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10247,
author = {Tuan Nguyen Quoc and
Katsumi Inoue and
Chiaki Sakama},
editor = {Francesco Ricca and
Alessandra Russo and
Sergio Greco and
Nicola Leone and
Alexander Artikis and
Gerhard Friedrich and
Paul Fodor and
Angelika Kimmig and
Francesca A. Lisi and
Marco Maratea and
Alessandra Mileo and
Fabrizio Riguzzi},
title = {Enhancing Linear Algebraic Computation of Logic Programs Using Sparse
Representation},
booktitle = {Proceedings 36th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2020, (Technical
Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
series = {{EPTCS}},
volume = {325},
pages = {192--205},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.325.24},
doi = {10.4204/EPTCS.325.24},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10247.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BanbaraIKOSSTW19,
author = {Mutsunori Banbara and
Katsumi Inoue and
Benjamin Kaufmann and
Tenda Okimoto and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Philipp Wanko},
title = {teaspoon : solving the curriculum-based course timetabling problems
with answer set programming},
journal = {Ann. Oper. Res.},
volume = {275},
number = {1},
pages = {3--37},
year = {2019},
url = {https://doi.org/10.1007/s10479-018-2757-7},
doi = {10.1007/S10479-018-2757-7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/anor/BanbaraIKOSSTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/PhuaRI19,
author = {Yin Jun Phua and
Tony Ribeiro and
Katsumi Inoue},
title = {Learning Representation of Relational Dynamics with Delays and Refining
with Prior Knowledge},
journal = {{FLAP}},
volume = {6},
number = {4},
pages = {695--708},
year = {2019},
url = {https://collegepublications.co.uk/ifcolog/?00033},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/PhuaRI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/SakamaIR19,
author = {Chiaki Sakama and
Katsumi Inoue and
Tony Ribeiro},
title = {Learning Inference Rules from Data},
journal = {K{\"{u}}nstliche Intell.},
volume = {33},
number = {3},
pages = {267--278},
year = {2019},
url = {https://doi.org/10.1007/s13218-019-00597-y},
doi = {10.1007/S13218-019-00597-Y},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/SakamaIR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/NguyenHNIP19,
author = {Xuan{-}Thuan Nguyen and
Trong{-}Thuc Hoang and
Hong{-}Thu Nguyen and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {A 1.2-V 162.9 pJ/cycle bitmap index creation core with 0.31-pW/bit
standby power on 65-nm {SOTB}},
journal = {Microprocess. Microsystems},
volume = {69},
pages = {112--117},
year = {2019},
url = {https://doi.org/10.1016/j.micpro.2019.05.008},
doi = {10.1016/J.MICPRO.2019.05.008},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/NguyenHNIP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/OzakiGI19,
author = {Tomonobu Ozaki and
Randy Goebel and
Katsumi Inoue},
title = {From Fifth Generation Computing to Skill Science - {A} Biographical
Essay of Koichi Furukawa},
journal = {New Gener. Comput.},
volume = {37},
number = {2},
pages = {141--158},
year = {2019},
url = {https://doi.org/10.1007/s00354-019-00058-y},
doi = {10.1007/S00354-019-00058-Y},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ngc/OzakiGI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/InoueS19,
author = {Katsumi Inoue and
Chiaki Sakama},
title = {Disjunctive Abduction},
journal = {New Gener. Comput.},
volume = {37},
number = {2},
pages = {219--243},
year = {2019},
url = {https://doi.org/10.1007/s00354-019-00059-x},
doi = {10.1007/S00354-019-00059-X},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ngc/InoueS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/NguyenHNIP19,
author = {Xuan{-}Thuan Nguyen and
Trong{-}Thuc Hoang and
Hong{-}Thu Nguyen and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {An Efficient {I/O} Architecture for RAM-Based Content-Addressable
Memory on {FPGA}},
journal = {{IEEE} Trans. Circuits Syst. {II} Express Briefs},
volume = {66-II},
number = {2},
pages = {472--476},
year = {2019},
url = {https://doi.org/10.1109/TCSII.2018.2849925},
doi = {10.1109/TCSII.2018.2849925},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcas/NguyenHNIP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/SakamaI19,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Gabriele Kern{-}Isberner and
Zoran Ognjanovic},
title = {Ordering Argumentation Frameworks},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
15th European Conference, {ECSQARU} 2019, Belgrade, Serbia, September
18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11726},
pages = {87--98},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29765-7\_8},
doi = {10.1007/978-3-030-29765-7\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/SakamaI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchwindIKLM19,
author = {Nicolas Schwind and
Katsumi Inoue and
S{\'{e}}bastien Konieczny and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Sarit Kraus},
title = {What Has Been Said? Identifying the Change Formula in a Belief Revision
Scenario},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1865--1871},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/258},
doi = {10.24963/IJCAI.2019/258},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SchwindIKLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KaminskiEI19,
author = {Tobias Kaminski and
Thomas Eiter and
Katsumi Inoue},
editor = {Sarit Kraus},
title = {Meta-Interpretive Learning Using HEX-Programs},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {6186--6190},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/860},
doi = {10.24963/IJCAI.2019/860},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KaminskiEI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/PhuaI19,
author = {Yin Jun Phua and
Katsumi Inoue},
editor = {Dimitar Kazakov and
Can Erten},
title = {Learning Logic Programs from Noisy State Transition Data},
booktitle = {Inductive Logic Programming - 29th International Conference, {ILP}
2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11770},
pages = {72--80},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-49210-6\_7},
doi = {10.1007/978-3-030-49210-6\_7},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/PhuaI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/HosakaHHLIP19,
author = {Takahiro Hosaka and
Trong{-}Thuc Hoang and
Van{-}Phuc Hoang and
Duc{-}Hung Le and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {Live Demonstration: Real-Time Auto-Exposure Histogram Equalization
Video-System using Frequent Items Counter},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2019,
Sapporo, Japan, May 26-29, 2019},
pages = {1},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISCAS.2019.8702167},
doi = {10.1109/ISCAS.2019.8702167},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/HosakaHHLIP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/NguyenHIBHP19,
author = {Xuan{-}Thuan Nguyen and
Trong{-}Thuc Hoang and
Katsumi Inoue and
Ngoc{-}Tu Bui and
Van{-}Phuc Hoang and
Cong{-}Kha Pham},
title = {A 1.2-V 90-MHz Bitmap Index Creation Accelerator with 0.27-nW Standby
Power on 65-nm Silicon-On-Thin-Box {(SOTB)} {CMOS}},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2019,
Sapporo, Japan, May 26-29, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISCAS.2019.8702331},
doi = {10.1109/ISCAS.2019.8702331},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/NguyenHIBHP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BourgneTSI19,
author = {Gauvain Bourgne and
Yutaro Totsuka and
Nicolas Schwind and
Katsumi Inoue},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {Identifying Belief Sequences in a Network of Communicating Agents},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11873},
pages = {370--386},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_23},
doi = {10.1007/978-3-030-33792-6\_23},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/BourgneTSI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/FagesIKMS19,
author = {Fran{\c{c}}ois Fages and
Katsumi Inoue and
Heinz Koeppl and
Chris Myers and
Yoshihiro Shimizu},
title = {Formal methods for the synthesis of biomolecular circuits {(NII} Shonan
Meeting 157)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/157/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/FagesIKMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/NguyenHNIP18,
author = {Xuan{-}Thuan Nguyen and
Trong{-}Thuc Hoang and
Hong{-}Thu Nguyen and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index
Creation},
journal = {{IEEE} Access},
volume = {6},
pages = {16046--16059},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2816039},
doi = {10.1109/ACCESS.2018.2816039},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/NguyenHNIP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceee/InoueHP18,
author = {Katsumi Inoue and
Trong{-}Thuc Hoang and
Cong{-}Kha Pham},
title = {Frequent items counter based on binary decoders},
journal = {{IEICE} Electron. Express},
volume = {15},
number = {20},
pages = {20180808},
year = {2018},
url = {https://doi.org/10.1587/elex.15.20180808},
doi = {10.1587/ELEX.15.20180808},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieiceee/InoueHP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KaminskiEI18,
author = {Tobias Kaminski and
Thomas Eiter and
Katsumi Inoue},
title = {Exploiting Answer Set Programming with External Sources for Meta-Interpretive
Learning},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {571--588},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000261},
doi = {10.1017/S1471068418000261},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KaminskiEI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/DemirovicSOI18,
author = {Emir Demirovic and
Nicolas Schwind and
Tenda Okimoto and
Katsumi Inoue},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Recoverable Team Formation: Building Teams Resilient to Change},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1362--1370},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237903},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/DemirovicSOI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ClementOI18,
author = {Maxime Clement and
Tenda Okimoto and
Katsumi Inoue},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Multi-Objective Distributed Pseudo-Tree Optimization},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1903--1905},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3238018},
timestamp = {Mon, 16 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/ClementOI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WuRLI18,
author = {Benjamin Wu and
Alessandra Russo and
Mark Law and
Katsumi Inoue},
editor = {Alessandro Dal Pal{\`{u}} and
Paul Tarau and
Neda Saeedloei and
Paul Fodor},
title = {Learning Commonsense Knowledge Through Interactive Dialogue},
booktitle = {Technical Communications of the 34th International Conference on Logic
Programming, {ICLP} 2018, July 14-17, 2018, Oxford, United Kingdom},
series = {OASIcs},
volume = {64},
pages = {12:1--12:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/OASIcs.ICLP.2018.12},
doi = {10.4230/OASICS.ICLP.2018.12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/WuRLI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SatoIS18,
author = {Taisuke Sato and
Katsumi Inoue and
Chiaki Sakama},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Abducing Relations in Continuous Spaces},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1956--1962},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/270},
doi = {10.24963/IJCAI.2018/270},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SatoIS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RibeiroFMRI18,
author = {Tony Ribeiro and
Maxime Folschette and
Morgan Magnin and
Olivier F. Roux and
Katsumi Inoue},
editor = {Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese},
title = {Learning Dynamics with Synchronous, Asynchronous and General Semantics},
booktitle = {Inductive Logic Programming - 28th International Conference, {ILP}
2018, Ferrara, Italy, September 2-4, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11105},
pages = {118--140},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99960-9\_8},
doi = {10.1007/978-3-319-99960-9\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/RibeiroFMRI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/NguyenHNIP18,
author = {Xuan{-}Thuan Nguyen and
Trong{-}Thuc Hoang and
Hong{-}Thu Nguyen and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {A 219-{\(\mu\)}W 1D-to-2D-Based Priority Encoder on 65-nm {SOTB} {CMOS}},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2018,
27-30 May 2018, Florence, Italy},
pages = {1--4},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ISCAS.2018.8351406},
doi = {10.1109/ISCAS.2018.8351406},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscas/NguyenHNIP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SchwindOIHLM18,
author = {Nicolas Schwind and
Tenda Okimoto and
Katsumi Inoue and
Katsutoshi Hirayama and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Probabilistic Coalition Structure Generation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {663--664},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18019},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/SchwindOIHLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miwai/NguyenSSI18,
author = {Hien D. Nguyen and
Chiaki Sakama and
Taisuke Sato and
Katsumi Inoue},
editor = {Manasawee Kaenampornpan and
Rainer Malaka and
Duc Dung Nguyen and
Nicolas Schwind},
title = {Computing Logic Programming Semantics in Linear Algebra},
booktitle = {Multi-disciplinary Trends in Artificial Intelligence - 12th International
Conference, {MIWAI} 2018, Hanoi, Vietnam, November 18-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11248},
pages = {32--48},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03014-8\_3},
doi = {10.1007/978-3-030-03014-8\_3},
timestamp = {Thu, 14 Oct 2021 10:39:54 +0200},
biburl = {https://dblp.org/rec/conf/miwai/NguyenSSI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miwai/LorthioirBI18,
author = {Guillaume Lorthioir and
Gauvain Bourgne and
Katsumi Inoue},
editor = {Manasawee Kaenampornpan and
Rainer Malaka and
Duc Dung Nguyen and
Nicolas Schwind},
title = {Identifying Goals of Agents by Learning from Observations},
booktitle = {Multi-disciplinary Trends in Artificial Intelligence - 12th International
Conference, {MIWAI} 2018, Hanoi, Vietnam, November 18-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11248},
pages = {125--138},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03014-8\_11},
doi = {10.1007/978-3-030-03014-8\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miwai/LorthioirBI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/OkimotoSDIM18,
author = {Tenda Okimoto and
Nicolas Schwind and
Emir Demirovic and
Katsumi Inoue and
Pierre Marquis},
editor = {Tim Miller and
Nir Oren and
Yuko Sakurai and
Itsuki Noda and
Bastin Tony Roy Savarimuthu and
Tran Cao Son},
title = {Robust Coalition Structure Generation},
booktitle = {{PRIMA} 2018: Principles and Practice of Multi-Agent Systems - 21st
International Conference, Tokyo, Japan, October 29 - November 2, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11224},
pages = {140--157},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03098-8\_9},
doi = {10.1007/978-3-030-03098-8\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/OkimotoSDIM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prime/InoueHNNP18,
author = {Katsumi Inoue and
Trong{-}Thuc Hoang and
Xuan{-}Thuan Nguyen and
Hong{-}Thu Nguyen and
Cong{-}Kha Pham},
title = {{VLSI} Design of Frequent Items Counting Using Binary Decoders Applied
to 8-bit per Item Case-study},
booktitle = {14th Conference on Ph.D. Research in Microelectronics and Electronics,
{PRIME} 2018, Prague, Czech Republic, July 2-5, 2018},
pages = {161--164},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/PRIME.2018.8430308},
doi = {10.1109/PRIME.2018.8430308},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prime/InoueHNNP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-11207,
author = {Xuan{-}Thuan Nguyen and
Trong{-}Thuc Hoang and
Hong{-}Thu Nguyen and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index
Creation},
journal = {CoRR},
volume = {abs/1803.11207},
year = {2018},
url = {http://arxiv.org/abs/1803.11207},
eprinttype = {arXiv},
eprint = {1803.11207},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-11207.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-02330,
author = {Xuan{-}Thuan Nguyen and
Trong{-}Thuc Hoang and
Hong{-}Thu Nguyen and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {An Efficient {I/O} Architecture for RAM-based Content-Addressable
Memory on {FPGA}},
journal = {CoRR},
volume = {abs/1804.02330},
year = {2018},
url = {http://arxiv.org/abs/1804.02330},
eprinttype = {arXiv},
eprint = {1804.02330},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-02330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-00068,
author = {Tobias Kaminski and
Thomas Eiter and
Katsumi Inoue},
title = {Exploiting Answer Set Programming with External Sources for Meta-Interpretive
Learning},
journal = {CoRR},
volume = {abs/1805.00068},
year = {2018},
url = {http://arxiv.org/abs/1805.00068},
eprinttype = {arXiv},
eprint = {1805.00068},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-00068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-06902,
author = {Xuan{-}Thuan Nguyen and
Trong{-}Thuc Hoang and
Hong{-}Thu Nguyen and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {A 1.2-V 162.9-pJ/cycle Bitmap Index Creation Core with 0.31-pW/bit
Standby Power on 65-nm {SOTB}},
journal = {CoRR},
volume = {abs/1806.06902},
year = {2018},
url = {http://arxiv.org/abs/1806.06902},
eprinttype = {arXiv},
eprint = {1806.06902},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-06902.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-11435,
author = {Chiaki Sakama and
Hien D. Nguyen and
Taisuke Sato and
Katsumi Inoue},
title = {Partial Evaluation of Logic Programs in Vector Spaces},
journal = {CoRR},
volume = {abs/1811.11435},
year = {2018},
url = {http://arxiv.org/abs/1811.11435},
eprinttype = {arXiv},
eprint = {1811.11435},
timestamp = {Sat, 06 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-11435.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/AbdallahRMRI17,
author = {Emna Ben Abdallah and
Tony Ribeiro and
Morgan Magnin and
Olivier H. Roux and
Katsumi Inoue},
title = {Modeling Delayed Dynamics in Biological Regulatory Networks from Time
Series Data},
journal = {Algorithms},
volume = {10},
number = {1},
pages = {8},
year = {2017},
url = {https://doi.org/10.3390/a10010008},
doi = {10.3390/A10010008},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithms/AbdallahRMRI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ClementOI17,
author = {Maxime Clement and
Tenda Okimoto and
Katsumi Inoue},
title = {Distributed Pareto Local Search for Multi-Objective DCOPs},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {100-D},
number = {12},
pages = {2897--2905},
year = {2017},
url = {https://doi.org/10.1587/transinf.2016AGP0006},
doi = {10.1587/TRANSINF.2016AGP0006},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/ClementOI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmlr/MartinezARIT17,
author = {David Mart{\'{\i}}nez Mart{\'{\i}}nez and
Guillem Aleny{\`{a}} and
Tony Ribeiro and
Katsumi Inoue and
Carme Torras},
title = {Relational Reinforcement Learning for Planning with Exogenous Effects},
journal = {J. Mach. Learn. Res.},
volume = {18},
pages = {78:1--78:44},
year = {2017},
url = {http://jmlr.org/papers/v18/16-326.html},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/MartinezARIT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/InoueOY17,
author = {Katsumi Inoue and
Hayato Ohwada and
Akihiro Yamamoto},
title = {Special issue on inductive logic programming},
journal = {Mach. Learn.},
volume = {106},
number = {12},
pages = {1863--1865},
year = {2017},
url = {https://doi.org/10.1007/s10994-017-5679-8},
doi = {10.1007/S10994-017-5679-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/InoueOY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/PhuaRTI17,
author = {Yin Jun Phua and
Tony Ribeiro and
Sophie Tourret and
Katsumi Inoue},
editor = {Nicolas Lachiche and
Christel Vrain},
title = {Learning Logic Program Representation for Delayed Systems With Limited
Training Data},
booktitle = {Late Breaking Papers of the 27th International Conference on Inductive
Logic Programming, Orl{\'{e}}ans, France, September 4-6, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2085},
pages = {27--37},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2085/phuaLBP-ILP2017.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/PhuaRTI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RibeiroTFMBCRI17,
author = {Tony Ribeiro and
Sophie Tourret and
Maxime Folschette and
Morgan Magnin and
Domenico Borzacchiello and
Francisco Chinesta and
Olivier F. Roux and
Katsumi Inoue},
editor = {Nicolas Lachiche and
Christel Vrain},
title = {Inductive Learning from State Transitions over Continuous Domains},
booktitle = {Inductive Logic Programming - 27th International Conference, {ILP}
2017, Orl{\'{e}}ans, France, September 4-6, 2017, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10759},
pages = {124--139},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-78090-0\_9},
doi = {10.1007/978-3-319-78090-0\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/RibeiroTFMBCRI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/NguyenNISP17,
author = {Xuan{-}Thuan Nguyen and
Hong{-}Thu Nguyen and
Katsumi Inoue and
Osamu Shimojo and
Cong{-}Kha Pham},
title = {Highly parallel bitmap-based regular expression matching for text
analytics},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2017,
Baltimore, MD, USA, May 28-31, 2017},
pages = {1--4},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISCAS.2017.8050968},
doi = {10.1109/ISCAS.2017.8050968},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscas/NguyenNISP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isnn/TourretGI17,
author = {Sophie Tourret and
Enguerrand Gentet and
Katsumi Inoue},
editor = {Fengyu Cong and
Andrew Chi{-}Sing Leung and
Qinglai Wei},
title = {Learning Human-Understandable Description of Dynamical Systems from
Feed-Forward Neural Networks},
booktitle = {Advances in Neural Networks - {ISNN} 2017 - 14th International Symposium,
{ISNN} 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June
21-26, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10261},
pages = {483--492},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59072-1\_57},
doi = {10.1007/978-3-319-59072-1\_57},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isnn/TourretGI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/SakamaIS17,
author = {Chiaki Sakama and
Katsumi Inoue and
Taisuke Sato},
editor = {Gang Li and
Yong Ge and
Zili Zhang and
Zhi Jin and
Michael Blumenstein},
title = {Linear Algebraic Characterization of Logic Programs},
booktitle = {Knowledge Science, Engineering and Management - 10th International
Conference, {KSEM} 2017, Melbourne, VIC, Australia, August 19-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10412},
pages = {520--533},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63558-3\_44},
doi = {10.1007/978-3-319-63558-3\_44},
timestamp = {Wed, 22 Jun 2022 09:02:17 +0200},
biburl = {https://dblp.org/rec/conf/ksem/SakamaIS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BanbaraIKOSST17,
author = {Mutsunori Banbara and
Katsumi Inoue and
Hiromasa Kaneyuki and
Tenda Okimoto and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura},
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {catnap: Generating Test Suites of Constrained Combinatorial Testing
with Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10377},
pages = {265--278},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5\_24},
doi = {10.1007/978-3-319-61660-5\_24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/BanbaraIKOSST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwscas/HoangNNTLIP17,
author = {Trong{-}Thuc Hoang and
Xuan{-}Thuan Nguyen and
Hong{-}Thu Nguyen and
Nhu{-}Quynh Truong and
Duc{-}Hung Le and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {FPGA-based frequent items counting using matrix of equality comparators},
booktitle = {{IEEE} 60th International Midwest Symposium on Circuits and Systems,
{MWSCAS} 2017, Boston, MA, USA, August 6-9, 2017},
pages = {285--288},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/MWSCAS.2017.8052916},
doi = {10.1109/MWSCAS.2017.8052916},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mwscas/HoangNNTLIP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NabeshimaI17,
author = {Hidetomo Nabeshima and
Katsumi Inoue},
editor = {Serge Gaspers and
Toby Walsh},
title = {Coverage-Based Clause Reduction Heuristics for {CDCL} Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th
International Conference, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10491},
pages = {136--144},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66263-3\_9},
doi = {10.1007/978-3-319-66263-3\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/NabeshimaI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wecwis/OkazakiI17,
author = {Kotaro Okazaki and
Katsumi Inoue},
editor = {Peri Loucopoulos and
Yannis Manolopoulos and
Oscar Pastor and
Babis Theodoulidis and
Jelena Zdravkovic},
title = {Modeling Trans-Device Content Experience and Knowledge Development
for Detection of {TV} Audiences},
booktitle = {19th {IEEE} Conference on Business Informatics, {CBI} 2017, Thessaloniki,
Greece, July 24-27, 2017, Volume 1: Conference Papers},
pages = {53--61},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CBI.2017.87},
doi = {10.1109/CBI.2017.87},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wecwis/OkazakiI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/AndreychenkoMI16,
author = {Alexander Andreychenko and
Morgan Magnin and
Katsumi Inoue},
title = {Analyzing resilience properties in oscillatory biological systems
using parametric model checking},
journal = {Biosyst.},
volume = {149},
pages = {50--58},
year = {2016},
url = {https://doi.org/10.1016/j.biosystems.2016.09.002},
doi = {10.1016/J.BIOSYSTEMS.2016.09.002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/biosystems/AndreychenkoMI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Inoue16,
author = {Katsumi Inoue},
title = {Meta-Level Abduction},
journal = {{FLAP}},
volume = {3},
number = {1},
pages = {7--36},
year = {2016},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00005.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/Inoue16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SakamaI16,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {Abduction, conversational implicature and misleading in human dialogues},
journal = {Log. J. {IGPL}},
volume = {24},
number = {4},
pages = {526--541},
year = {2016},
url = {https://doi.org/10.1093/jigpal/jzw027},
doi = {10.1093/JIGPAL/JZW027},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/SakamaI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrie/SchwindMIOSMM16,
author = {Nicolas Schwind and
Morgan Magnin and
Katsumi Inoue and
Tenda Okimoto and
Taisuke Sato and
Kazuhiro Minami and
Hiroshi Maruyama},
title = {Formalization of resilience for constraint-based dynamic systems},
journal = {J. Reliab. Intell. Environ.},
volume = {2},
number = {1},
pages = {17--35},
year = {2016},
url = {https://doi.org/10.1007/s40860-015-0016-0},
doi = {10.1007/S40860-015-0016-0},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jrie/SchwindMIOSMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchwindI16,
author = {Nicolas Schwind and
Katsumi Inoue},
title = {Characterization of logic program revision as an extension of propositional
revision},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {1},
pages = {111--138},
year = {2016},
url = {https://doi.org/10.1017/S1471068415000101},
doi = {10.1017/S1471068415000101},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SchwindI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/InoueOY16,
author = {Katsumi Inoue and
Hayato Ohwada and
Akihiro Yamamoto},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Inductive Logic Programming: Challenges},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {4330--4332},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.9874},
doi = {10.1609/AAAI.V30I1.9874},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/InoueOY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/0004ATRI16,
author = {David Mart{\'{\i}}nez and
Guillem Aleny{\`{a}} and
Carme Torras and
Tony Ribeiro and
Katsumi Inoue},
editor = {Amanda Jane Coles and
Andrew Coles and
Stefan Edelkamp and
Daniele Magazzeni and
Scott Sanner},
title = {Learning Relational Dynamics of Stochastic Domains for Planning},
booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated
Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
pages = {235--243},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13079},
timestamp = {Wed, 08 Jun 2016 12:49:09 +0200},
biburl = {https://dblp.org/rec/conf/aips/0004ATRI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/AbdallahRMRI16,
author = {Emna Ben Abdallah and
Tony Ribeiro and
Morgan Magnin and
Olivier F. Roux and
Katsumi Inoue},
editor = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {Inference of Delayed Biological Regulatory Networks from Time Series
Data},
booktitle = {Computational Methods in Systems Biology - 14th International Conference,
{CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9859},
pages = {30--48},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45177-0\_3},
doi = {10.1007/978-3-319-45177-0\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/AbdallahRMRI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OkimotoRBI16,
author = {Tenda Okimoto and
Tony Ribeiro and
Damien Bouchabou and
Katsumi Inoue},
editor = {Subbarao Kambhampati},
title = {Mission Oriented Robust Multi-Team Formation and Its Application to
Robot Rescue Simulation},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {454--460},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/071},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/OkimotoRBI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchwindIBKM16,
author = {Nicolas Schwind and
Katsumi Inoue and
Gauvain Bourgne and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Subbarao Kambhampati},
title = {Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1237--1243},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/179},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SchwindIBKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/GentetTI16,
author = {Enguerrand Gentet and
Sophie Tourret and
Katsumi Inoue},
editor = {James Cussens and
Alessandra Russo},
title = {Learning from Interpretation Transition using Feed-Forward Neural
Networks},
booktitle = {Proceedings of the 26th International Conference on Inductive Logic
Programming (Short papers), London, UK, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1865},
pages = {27--33},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1865/paper-05.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/GentetTI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/NguyenNHISMTP16,
author = {Xuan{-}Thuan Nguyen and
Hong{-}Thu Nguyen and
Trong{-}Thuc Hoang and
Katsumi Inoue and
Osamu Shimojo and
Toshio Murayama and
Kenji Tominaga and
Cong{-}Kha Pham},
title = {An efficient FPGA-based database processor for fast database analytics},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2016,
Montr{\'{e}}al, QC, Canada, May 22-25, 2016},
pages = {1758--1761},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ISCAS.2016.7538908},
doi = {10.1109/ISCAS.2016.7538908},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscas/NguyenNHISMTP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SchwindOCI16,
author = {Nicolas Schwind and
Tenda Okimoto and
Maxime Clement and
Katsumi Inoue},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Representative Solutions for Multi-Objective Constraint Optimization
Problems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {601--604},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12873},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/SchwindOCI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ilp/2015lbr,
editor = {Katsumi Inoue and
Hayato Ohwada and
Akihiro Yamamoto},
title = {Late Breaking Papers of the 25th International Conference on Inductive
Logic Programming, Kyoto University, Kyoto, Japan, August 20th to
22nd, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1636},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1636},
urn = {urn:nbn:de:0074-1636-C},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/2015lbr.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ilp/2015,
editor = {Katsumi Inoue and
Hayato Ohwada and
Akihiro Yamamoto},
title = {Inductive Logic Programming - 25th International Conference, {ILP}
2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9575},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40566-7},
doi = {10.1007/978-3-319-40566-7},
isbn = {978-3-319-40565-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FolschettePIMR15,
author = {Maxime Folschette and
Lo{\"{\i}}c Paulev{\'{e}} and
Katsumi Inoue and
Morgan Magnin and
Olivier F. Roux},
title = {Identification of biological regulatory networks from Process Hitting
models},
journal = {Theor. Comput. Sci.},
volume = {568},
pages = {49--71},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2014.12.002},
doi = {10.1016/J.TCS.2014.12.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FolschettePIMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchwindIBKM15,
author = {Nicolas Schwind and
Katsumi Inoue and
Gauvain Bourgne and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Blai Bonet and
Sven Koenig},
title = {Belief Revision Games},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1590--1596},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9415},
doi = {10.1609/AAAI.V29I1.9415},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchwindIBKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/SakamaI15,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {Abduction and Conversational Implicature (Extended Abstract)},
booktitle = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 22-25, 2015},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10266},
timestamp = {Wed, 14 Nov 2018 14:01:49 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/SakamaI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agi/SakamaI15,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Jordi Bieger and
Ben Goertzel and
Alexey Potapov},
title = {Can Machines Learn Logics?},
booktitle = {Artificial General Intelligence - 8th International Conference, {AGI}
2015, {AGI} 2015, Berlin, Germany, July 22-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9205},
pages = {341--351},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21365-1\_35},
doi = {10.1007/978-3-319-21365-1\_35},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agi/SakamaI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/OkimotoSCRIM15,
author = {Tenda Okimoto and
Nicolas Schwind and
Maxime Clement and
Tony Ribeiro and
Katsumi Inoue and
Pierre Marquis},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {How to Form a Task-Oriented Robust Team},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {395--403},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2772931},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/OkimotoSCRIM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/AndreychenkoMI15,
author = {Alexander Andreychenko and
Morgan Magnin and
Katsumi Inoue},
editor = {Olivier F. Roux and
J{\'{e}}r{\'{e}}mie Bourdon},
title = {Modeling of Resilience Properties in Oscillatory Biological Systems
Using Parametric Time Petri Nets},
booktitle = {Computational Methods in Systems Biology - 13th International Conference,
{CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9308},
pages = {239--250},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23401-4\_20},
doi = {10.1007/978-3-319-23401-4\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/AndreychenkoMI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/ClementOSI15,
author = {Maxime Clement and
Tenda Okimoto and
Nicolas Schwind and
Katsumi Inoue},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {Finding Resilient Solutions for Dynamic Multi-Objective Constraint
Optimization Problems},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
2015},
pages = {509--516},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 09:53:57 +0200},
biburl = {https://dblp.org/rec/conf/icaart/ClementOSI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/0004RIAT15,
author = {David Mart{\'{\i}}nez and
Tony Ribeiro and
Katsumi Inoue and
Guillem Aleny{\`{a}} and
Carme Torras},
editor = {Marina De Vos and
Thomas Eiter and
Yuliya Lierler and
Francesca Toni},
title = {Learning Probabilistic Action Models from Interpretation Transitions},
booktitle = {Proceedings of the Technical Communications of the 31st International
Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
31 - September 4, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1433},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1433/tc\_30.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/0004RIAT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/VolkerI15,
author = {Marcus V{\"{o}}lker and
Katsumi Inoue},
editor = {Marina De Vos and
Thomas Eiter and
Yuliya Lierler and
Francesca Toni},
title = {Logic Programming for Cellular Automata},
booktitle = {Proceedings of the Technical Communications of the 31st International
Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
31 - September 4, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1433},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1433/tc\_33.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/VolkerI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/RibeiroMIS15,
author = {Tony Ribeiro and
Morgan Magnin and
Katsumi Inoue and
Chiaki Sakama},
editor = {Tao Li and
Lukasz A. Kurgan and
Vasile Palade and
Randy Goebel and
Andreas Holzinger and
Karin Verspoor and
M. Arif Wani},
title = {Learning Multi-valued Biological Models with Delayed Influence from
Time-Series Observations},
booktitle = {14th {IEEE} International Conference on Machine Learning and Applications,
{ICMLA} 2015, Miami, FL, USA, December 9-11, 2015},
pages = {25--31},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICMLA.2015.19},
doi = {10.1109/ICMLA.2015.19},
timestamp = {Thu, 23 Feb 2023 11:36:05 +0100},
biburl = {https://dblp.org/rec/conf/icmla/RibeiroMIS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RougnyYNBPIF15,
author = {Adrien Rougny and
Yoshitaka Yamamoto and
Hidetomo Nabeshima and
Gauvain Bourgne and
Anne Poupon and
Katsumi Inoue and
Christine Froidevaux},
editor = {Katsumi Inoue and
Hayato Ohwada and
Akihiro Yamamoto},
title = {Completing signaling networks by abductive reasoning with perturbation
experiments},
booktitle = {Late Breaking Papers of the 25th International Conference on Inductive
Logic Programming, Kyoto University, Kyoto, Japan, August 20th to
22nd, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1636},
pages = {95--100},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1636/paper-09.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/RougnyYNBPIF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/SakamaRI15,
author = {Chiaki Sakama and
Tony Ribeiro and
Katsumi Inoue},
editor = {Katsumi Inoue and
Hayato Ohwada and
Akihiro Yamamoto},
title = {Learning Inference by Induction},
booktitle = {Inductive Logic Programming - 25th International Conference, {ILP}
2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9575},
pages = {183--199},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-40566-7\_13},
doi = {10.1007/978-3-319-40566-7\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/SakamaRI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BanbaraGIOPSSTW15,
author = {Mutsunori Banbara and
Martin Gebser and
Katsumi Inoue and
Max Ostrowski and
Andrea Peano and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Matthias Weise},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {aspartame: Solving Constraint Satisfaction Problems with Answer Set
Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {112--126},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_10},
doi = {10.1007/978-3-319-23264-5\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BanbaraGIOPSSTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AndreychenkoMI15,
author = {Alexander Andreychenko and
Morgan Magnin and
Katsumi Inoue},
title = {Modeling of Resilience Properties in Oscillatory Biological Systems
using Parametric Time Petri Nets, Supplementary Information},
journal = {CoRR},
volume = {abs/1506.06299},
year = {2015},
url = {http://arxiv.org/abs/1506.06299},
eprinttype = {arXiv},
eprint = {1506.06299},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AndreychenkoMI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchwindI15,
author = {Nicolas Schwind and
Katsumi Inoue},
title = {Characterization of Logic Program Revision as an Extension of Propositional
Revision},
journal = {CoRR},
volume = {abs/1506.08919},
year = {2015},
url = {http://arxiv.org/abs/1506.08919},
eprinttype = {arXiv},
eprint = {1506.08919},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchwindI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0041601,
author = {Luis Fari{\~{n}}as del Cerro and
Katsumi Inoue},
title = {Logical Modeling of Biological Systems},
series = {Bioengineering and Health Science Series},
publisher = {iSTE / Wiley},
year = {2014},
url = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-1848216807.html},
isbn = {978-1-84821-680-8},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0041601.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/LeCIP14,
author = {Duc{-}Hung Le and
Tran Bao Thuong Cao and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {A CAM-Based Information Detection Hardware System for Fast Image Matching
on {FPGA}},
journal = {{IEICE} Trans. Electron.},
volume = {97-C},
number = {1},
pages = {65--76},
year = {2014},
url = {https://doi.org/10.1587/transele.E97.C.65},
doi = {10.1587/TRANSELE.E97.C.65},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/LeCIP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/MediOI14,
author = {Alexandre Medi and
Tenda Okimoto and
Katsumi Inoue},
title = {A Two-Phase Complete Algorithm for Multi-Objective Distributed Constraint
Optimization},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
volume = {18},
number = {4},
pages = {573--580},
year = {2014},
url = {https://doi.org/10.20965/jaciii.2014.p0573},
doi = {10.20965/JACIII.2014.P0573},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaciii/MediOI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/InoueRS14,
author = {Katsumi Inoue and
Tony Ribeiro and
Chiaki Sakama},
title = {Learning from interpretation transition},
journal = {Mach. Learn.},
volume = {94},
number = {1},
pages = {51--79},
year = {2014},
url = {https://doi.org/10.1007/s10994-013-5353-8},
doi = {10.1007/S10994-013-5353-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/InoueRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/OkimotoSCI14,
author = {Tenda Okimoto and
Nicolas Schwind and
Maxime Clement and
Katsumi Inoue},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Lp-Norm based algorithm for multi-objective distributed constraint
optimization},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {1427--1428},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2617506},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/OkimotoSCI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bdcloud/NararatwongOOI14,
author = {Rungsiman Nararatwong and
Kotaro Okazaki and
Hitoshi Okada and
Katsumi Inoue},
title = {How Social Identity May Matter Most in Brand Crisis Management},
booktitle = {2014 {IEEE} Fourth International Conference on Big Data and Cloud
Computing, BDCloud 2014, Sydney, Australia, December 3-5, 2014},
pages = {572--578},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/BDCloud.2014.93},
doi = {10.1109/BDCLOUD.2014.93},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bdcloud/NararatwongOOI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmmb/YamamotoRNIMFI14,
author = {Yoshitaka Yamamoto and
Adrien Rougny and
Hidetomo Nabeshima and
Katsumi Inoue and
Hisao Moriya and
Christine Froidevaux and
Koji Iwanuma},
editor = {Fran{\c{c}}ois Fages and
Carla Piazza},
title = {Completing {SBGN-AF} Networks by Logic-Based Hypothesis Finding},
booktitle = {Formal Methods in Macro-Biology - First International Conference,
{FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8738},
pages = {165--179},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10398-3\_14},
doi = {10.1007/978-3-319-10398-3\_14},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmmb/YamamotoRNIMFI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/OkimotoRCI14,
author = {Tenda Okimoto and
Tony Ribeiro and
Maxime Clement and
Katsumi Inoue},
editor = {B{\'{e}}atrice Duval and
H. Jaap van den Herik and
St{\'{e}}phane Loiseau and
Joaquim Filipe},
title = {Modeling and Algorithm for Dynamic Multi-objective Weighted Constraint
Satisfaction Problem},
booktitle = {{ICAART} 2014 - Proceedings of the 6th International Conference on
Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire
Valley, France, 6-8 March, 2014},
pages = {420--427},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004816704200427},
doi = {10.5220/0004816704200427},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/OkimotoRCI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/SchwindOKWI14,
author = {Nicolas Schwind and
Tenda Okimoto and
S{\'{e}}bastien Konieczny and
Maxime Wack and
Katsumi Inoue},
title = {Utilitarian and Egalitarian Solutions for Multi-objective Constraint
Optimization},
booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
pages = {170--177},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICTAI.2014.34},
doi = {10.1109/ICTAI.2014.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/SchwindOKWI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RibeiroI14,
author = {Tony Ribeiro and
Katsumi Inoue},
editor = {Jesse Davis and
Jan Ramon},
title = {Learning Prime Implicant Conditions from Interpretation Transition},
booktitle = {Inductive Logic Programming - 24th International Conference, {ILP}
2014, Nancy, France, September 14-16, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9046},
pages = {108--125},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-23708-4\_8},
doi = {10.1007/978-3-319-23708-4\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/RibeiroI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/WackOCI14,
author = {Maxime Wack and
Tenda Okimoto and
Maxime Clement and
Katsumi Inoue},
editor = {Hoa Khanh Dam and
Jeremy V. Pitt and
Yang Xu and
Guido Governatori and
Takayuki Ito},
title = {Local Search Based Approximate Algorithm for Multi-Objective DCOPs},
booktitle = {{PRIMA} 2014: Principles and Practice of Multi-Agent Systems - 17th
International Conference, Gold Coast, QLD, Australia, December 1-5,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8861},
pages = {390--406},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13191-7\_32},
doi = {10.1007/978-3-319-13191-7\_32},
timestamp = {Thu, 09 Sep 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/WackOCI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/LeIP13,
author = {Duc{-}Hung Le and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {Design a Fast CAM-Based Exact Pattern Matching System on {FPGA} and
0.18{\(\mathrm{\mu}\)}m {CMOS} Process},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {96-A},
number = {9},
pages = {1883--1888},
year = {2013},
url = {https://doi.org/10.1587/transfun.E96.A.1883},
doi = {10.1587/TRANSFUN.E96.A.1883},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/LeIP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SakamaI13,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {Abduction, unpredictability and Garden of Eden},
journal = {Log. J. {IGPL}},
volume = {21},
number = {6},
pages = {980--998},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt015},
doi = {10.1093/JIGPAL/JZT015},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/SakamaI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/InoueDN13,
author = {Katsumi Inoue and
Andrei Doncescu and
Hidetomo Nabeshima},
title = {Completing causal networks by meta-level abduction},
journal = {Mach. Learn.},
volume = {91},
number = {2},
pages = {239--277},
year = {2013},
url = {https://doi.org/10.1007/s10994-013-5341-z},
doi = {10.1007/S10994-013-5341-Z},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/InoueDN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AnwarBI13,
author = {Saadat Anwar and
Chitta Baral and
Katsumi Inoue},
title = {Encoding Petri Nets in Answer Set Programming for Simulation Based
Reasoning},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013023.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AnwarBI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BanbaraSTIS13,
author = {Mutsunori Banbara and
Takehide Soh and
Naoyuki Tamura and
Katsumi Inoue and
Torsten Schaub},
title = {Answer set programming as a modeling language for course timetabling},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {783--798},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000495},
doi = {10.1017/S1471068413000495},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BanbaraSTIS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RibeiroIB13,
author = {Tony Ribeiro and
Katsumi Inoue and
Gauvain Bourgne},
title = {Combining Answer Set Programs for Adaptive and Reactive Reasoning},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013012.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RibeiroIB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SchwindOICRMM13,
author = {Nicolas Schwind and
Tenda Okimoto and
Katsumi Inoue and
Hei Chan and
Tony Ribeiro and
Kazuhiro Minami and
Hiroshi Maruyama},
editor = {Maria L. Gini and
Onn Shehory and
Takayuki Ito and
Catholijn M. Jonker},
title = {Systems resilience: a challenge problem for dynamic constraint-based
agent systems},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
pages = {785--788},
publisher = {{IFAAMAS}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2485043},
timestamp = {Thu, 09 Sep 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/SchwindOICRMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/daeng/BakhtyarWID13,
author = {Maheen Bakhtyar and
Lena Wiese and
Katsumi Inoue and
Nam Dang},
editor = {Tutut Herawan and
Mustafa Mat Deris and
Jemal H. Abawajy},
title = {Filtering of Unrelated Answers in a CooperativeQuery Answering System},
booktitle = {Proceedings of the First International Conference on Advanced Data
and Information Engineering, DaEng 2013, Kuala Lumpur, Malaysia, December
16-18, 2013},
series = {Lecture Notes in Electrical Engineering},
volume = {285},
pages = {461--470},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-981-4585-18-7\_52},
doi = {10.1007/978-981-4585-18-7\_52},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/daeng/BakhtyarWID13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/OkimotoIIORM13,
author = {Tenda Okimoto and
Naoto Ikegai and
Katsumi Inoue and
Hitoshi Okada and
Tony Ribeiro and
Hiroshi Maruyama},
title = {Cyber security problem based on Multi-Objective Distributed Constraint
Optimization technique},
booktitle = {43rd Annual {IEEE/IFIP} Conference on Dependable Systems and Networks
Workshop, {DSN} Workshops 2013, Budapest, Hungary, June 24-27, 2013},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DSNW.2013.6615540},
doi = {10.1109/DSNW.2013.6615540},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/OkimotoIIORM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icicdt/LeCIP13,
author = {Duc{-}Hung Le and
Tran Bao Thuong Cao and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {A fast CAM-based Watermarking extraction on {FPGA}},
booktitle = {Proceedings of 2013 International Conference on {IC} Design {\&}
Technology, {ICICDT} 2013, Pavia, Italy, May 29-31, 2013},
pages = {207--210},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICICDT.2013.6563338},
doi = {10.1109/ICICDT.2013.6563338},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icicdt/LeCIP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SykesCMKRI13,
author = {Daniel Sykes and
Domenico Corapi and
Jeff Magee and
Jeff Kramer and
Alessandra Russo and
Katsumi Inoue},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Learning revised models for planning in adaptive systems},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {63--71},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606552},
doi = {10.1109/ICSE.2013.6606552},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SykesCMKRI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/NabeshimaII13,
author = {Hidetomo Nabeshima and
Koji Iwanuma and
Katsumi Inoue},
title = {On-the-Fly Lazy Clause Simplification Based on Binary Resolvents},
booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
pages = {987--995},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICTAI.2013.149},
doi = {10.1109/ICTAI.2013.149},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/NabeshimaII13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RibeiroIS13,
author = {Tony Ribeiro and
Katsumi Inoue and
Chiaki Sakama},
editor = {Gerson Zaverucha and
V{\'{\i}}tor Santos Costa and
Aline Paes},
title = {A BDD-Based Algorithm for Learning from Interpretation Transition},
booktitle = {Inductive Logic Programming - 23rd International Conference, {ILP}
2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8812},
pages = {47--63},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-44923-3\_4},
doi = {10.1007/978-3-662-44923-3\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/RibeiroIS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/LeCIP13,
author = {Duc{-}Hung Le and
Tran Bao Thuong Cao and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {A fast CAM-based image matching system on {FPGA}},
booktitle = {2013 {IEEE} International Symposium on Circuits and Systems (ISCAS2013),
Beijing, China, May 19-23, 2013},
pages = {1797--1800},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ISCAS.2013.6572214},
doi = {10.1109/ISCAS.2013.6572214},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/LeCIP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AnwarBI13,
author = {Saadat Anwar and
Chitta Baral and
Katsumi Inoue},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Encoding Higher Level Extensions of Petri Nets in Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {116--121},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_12},
doi = {10.1007/978-3-642-40564-8\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AnwarBI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SchwindI13,
author = {Nicolas Schwind and
Katsumi Inoue},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Characterization Theorems for Revision of Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {485--498},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_48},
doi = {10.1007/978-3-642-40564-8\_48},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/SchwindI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miwai/OkimotoCI13,
author = {Tenda Okimoto and
Maxime Clement and
Katsumi Inoue},
editor = {Sheela Ramanna and
Pawan Lingras and
Chattrakul Sombattheera and
Aneesh Krishna},
title = {AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint
Optimization},
booktitle = {Multi-disciplinary Trends in Artificial Intelligence - 7th International
Workshop, {MIWAI} 2013, Krabi, Thailand, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8271},
pages = {175--186},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-44949-9\_17},
doi = {10.1007/978-3-642-44949-9\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miwai/OkimotoCI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwscas/LeCIP13,
author = {Duc{-}Hung Le and
Tran Bao Thuong Cao and
Katsumi Inoue and
Cong{-}Kha Pham},
title = {A CAM-based Information Detection Hardware System for fast exact pattern
matching},
booktitle = {{IEEE} 56th International Midwest Symposium on Circuits and Systems,
{MWSCAS} 2013, Columbus, OH, USA, August 4-7, 2013},
pages = {848--851},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/MWSCAS.2013.6674782},
doi = {10.1109/MWSCAS.2013.6674782},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mwscas/LeCIP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/ClementORI13,
author = {Maxime Clement and
Tenda Okimoto and
Tony Ribeiro and
Katsumi Inoue},
editor = {Guido Boella and
Edith Elkind and
Bastin Tony Roy Savarimuthu and
Frank Dignum and
Martin K. Purvis},
title = {Model and Algorithm for Dynamic Multi-Objective Distributed Optimization},
booktitle = {{PRIMA} 2013: Principles and Practice of Multi-Agent Systems - 16th
International Conference, Dunedin, New Zealand, December 1-6, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8291},
pages = {413--420},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-44927-7\_29},
doi = {10.1007/978-3-642-44927-7\_29},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/ClementORI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AnwarBI13,
author = {Saadat Anwar and
Chitta Baral and
Katsumi Inoue},
title = {Encoding Petri Nets in Answer Set Programming for Simulation Based
Reasoning},
journal = {CoRR},
volume = {abs/1306.3542},
year = {2013},
url = {http://arxiv.org/abs/1306.3542},
eprinttype = {arXiv},
eprint = {1306.3542},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AnwarBI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AnwarBI13a,
author = {Saadat Anwar and
Chitta Baral and
Katsumi Inoue},
title = {Encoding Higher Level Extensions of Petri Nets in Answer Set Programming},
journal = {CoRR},
volume = {abs/1306.3548},
year = {2013},
url = {http://arxiv.org/abs/1306.3548},
eprinttype = {arXiv},
eprint = {1306.3548},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AnwarBI13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/InoueS13,
author = {Katsumi Inoue and
Chiaki Sakama},
title = {Post-Proceedings of the First International Workshop on Learning and
Nonmonotonic Reasoning},
journal = {CoRR},
volume = {abs/1311.4639},
year = {2013},
url = {http://arxiv.org/abs/1311.4639},
eprinttype = {arXiv},
eprint = {1311.4639},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/InoueS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BanbaraGISSTW13,
author = {Mutsunori Banbara and
Martin Gebser and
Katsumi Inoue and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Matthias Weise},
title = {Aspartame: Solving Constraint Satisfaction Problems with Answer Set
Programming},
journal = {CoRR},
volume = {abs/1312.6113},
year = {2013},
url = {http://arxiv.org/abs/1312.6113},
eprinttype = {arXiv},
eprint = {1312.6113},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BanbaraGISSTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/LeISP12,
author = {Duc{-}Hung Le and
Katsumi Inoue and
Masahiro Sowa and
Cong{-}Kha Pham},
title = {An FPGA-Based Information Detection Hardware System Employing Multi-Match
Content Addressable Memory},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {95-A},
number = {10},
pages = {1708--1717},
year = {2012},
url = {https://doi.org/10.1587/transfun.E95.A.1708},
doi = {10.1587/TRANSFUN.E95.A.1708},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/LeISP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/MuggletonRPBFIS12,
author = {Stephen H. Muggleton and
Luc De Raedt and
David Poole and
Ivan Bratko and
Peter A. Flach and
Katsumi Inoue and
Ashwin Srinivasan},
title = {{ILP} turns 20 - Biography and future challenges},
journal = {Mach. Learn.},
volume = {86},
number = {1},
pages = {3--23},
year = {2012},
url = {https://doi.org/10.1007/s10994-011-5259-2},
doi = {10.1007/S10994-011-5259-2},
timestamp = {Sat, 30 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/MuggletonRPBFIS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/YamamotoII12,
author = {Yoshitaka Yamamoto and
Katsumi Inoue and
Koji Iwanuma},
title = {Inverse subsumption for complete explanatory induction},
journal = {Mach. Learn.},
volume = {86},
number = {1},
pages = {115--139},
year = {2012},
url = {https://doi.org/10.1007/s10994-011-5250-y},
doi = {10.1007/S10994-011-5250-Y},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/YamamotoII12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/BourgneIM12,
author = {Gauvain Bourgne and
Katsumi Inoue and
Nicolas Maudet},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {Finding new consequences of an observation in a system of agents},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {1223--1224},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2343933},
timestamp = {Thu, 19 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aamas/BourgneIM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/InoueS12,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Oscillating Behavior of Logic Programs},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {345--362},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_23},
doi = {10.1007/978-3-642-30743-0\_23},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/InoueS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FolschettePIMR12,
author = {Maxime Folschette and
Lo{\"{\i}}c Paulev{\'{e}} and
Katsumi Inoue and
Morgan Magnin and
Olivier F. Roux},
editor = {David R. Gilbert and
Monika Heiner},
title = {Concretizing the Process Hitting into Biological Regulatory Networks},
booktitle = {Computational Methods in Systems Biology - 10th International Conference,
{CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7605},
pages = {166--186},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33636-2\_11},
doi = {10.1007/978-3-642-33636-2\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/FolschettePIMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gfkl/BakhtyarDIW12,
author = {Maheen Bakhtyar and
Nam Dang and
Katsumi Inoue and
Lena Wiese},
editor = {Myra Spiliopoulou and
Lars Schmidt{-}Thieme and
Ruth Janning},
title = {Implementing Inductive Concept Learning For Cooperative Query Answering},
booktitle = {Data Analysis, Machine Learning and Knowledge Discovery - Proceedings
of the 36th Annual Conference of the Gesellschaft f{\"{u}}r Klassifikation
e. V., Hildesheim, Germany, August 2012},
series = {Studies in Classification, Data Analysis, and Knowledge Organization},
pages = {127--134},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-319-01595-8\_14},
doi = {10.1007/978-3-319-01595-8\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gfkl/BakhtyarDIW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BanbaraTI12,
author = {Mutsunori Banbara and
Naoyuki Tamura and
Katsumi Inoue},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Generating Event-Sequence Test Cases by Answer Set Programming with
the Incidence Matrix},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {86--97},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.86},
doi = {10.4230/LIPICS.ICLP.2012.86},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BanbaraTI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/DoncescuID12,
author = {Andrei Doncescu and
Katsumi Inoue and
Jacques Demongeot},
editor = {Fabrizio Riguzzi and
Filip Zelezn{\'{y}}},
title = {MicroRNAs Robustness in Genetic Regulatory Networks},
booktitle = {Late Breaking Papers of the 22nd International Conference on Inductive
Logic Programming, Dubrovnik, Croatia, September 17-19, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {975},
pages = {26--37},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-975/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/DoncescuID12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/YamamotoII12b,
author = {Yoshitaka Yamamoto and
Koji Iwanuma and
Katsumi Inoue},
editor = {Fabrizio Riguzzi and
Filip Zelezn{\'{y}}},
title = {Non-monotone Dualization via Monotone Dualization},
booktitle = {Late Breaking Papers of the 22nd International Conference on Inductive
Logic Programming, Dubrovnik, Croatia, September 17-19, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {975},
pages = {74--79},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-975/paper-09.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/YamamotoII12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/YamamotoII12a,
author = {Yoshitaka Yamamoto and
Katsumi Inoue and
Koji Iwanuma},
editor = {Fabrizio Riguzzi and
Filip Zelezn{\'{y}}},
title = {Heuristic Inverse Subsumption in Full-Clausal Theories},
booktitle = {Inductive Logic Programming - 22nd International Conference, {ILP}
2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7842},
pages = {241--256},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38812-5\_17},
doi = {10.1007/978-3-642-38812-5\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/YamamotoII12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miwai/PhamI12,
author = {Thu{-}Le Pham and
Katsumi Inoue},
editor = {Chattrakul Sombattheera and
Nguyen Kim Loi and
Rajeev Wankar and
Tho T. Quan},
title = {Minimal Generalization for Conjunctive Queries},
booktitle = {Multi-disciplinary Trends in Artificial Intelligence, 6th International
Workshop, {MIWAI} 2012, Ho Chi Minh City, Vietnam, December 26-28,
2012. Proceedings},
volume = {7694},
pages = {246--257},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35455-7\_23},
doi = {10.1007/978-3-642-35455-7\_23},
timestamp = {Sun, 02 Oct 2022 16:12:20 +0200},
biburl = {https://dblp.org/rec/conf/miwai/PhamI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/SakamaI11,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {Inductive equivalence in clausal logic and nonmonotonic logic programming},
journal = {Mach. Learn.},
volume = {83},
number = {1},
pages = {1--29},
year = {2011},
url = {https://doi.org/10.1007/s10994-010-5189-4},
doi = {10.1007/S10994-010-5189-4},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/SakamaI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/SatoII11,
author = {Taisuke Sato and
Masakazu Ishihata and
Katsumi Inoue},
title = {Constraint-based probabilistic modeling for statistical abduction},
journal = {Mach. Learn.},
volume = {83},
number = {2},
pages = {241--264},
year = {2011},
url = {https://doi.org/10.1007/s10994-010-5206-7},
doi = {10.1007/S10994-010-5206-7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/SatoII11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/LejayID11,
author = {Gr{\'{e}}goire Lejay and
Katsumi Inoue and
Andrei Doncescu},
title = {Application of Meta-level Abduction for the Treatment of Hypertension
Using {SOLAR}},
booktitle = {25th {IEEE} International Conference on Advanced Information Networking
and Applications Workshops, {WAINA} 2011, Biopolis, Singapore, March
22-25, 2011},
pages = {495--500},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WAINA.2011.94},
doi = {10.1109/WAINA.2011.94},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/LejayID11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/SynnaeveIDNKIS11,
author = {Gabriel Synnaeve and
Katsumi Inoue and
Andrei Doncescu and
Hidetomo Nabeshima and
Yoshitaka Kameya and
Masakazu Ishihata and
Taisuke Sato},
editor = {Marco Pellegrini and
Ana L. N. Fred and
Joaquim Filipe and
Hugo Gamboa},
title = {Kinetic Models and Qualitative Abstraction for Relational Learning
in Systems Biology},
booktitle = {{BIOINFORMATICS} 2011 - Proceedings of the International Conference
on Bioinformatics Models, Methods and Algorithms, Rome, Italy, 26-29
January, 2011},
pages = {47--54},
publisher = {SciTePress},
year = {2011},
timestamp = {Thu, 21 Dec 2017 16:21:33 +0100},
biburl = {https://dblp.org/rec/conf/biostec/SynnaeveIDNKIS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/SynnaeveIDNKIS11a,
author = {Gabriel Synnaeve and
Katsumi Inoue and
Andrei Doncescu and
Hidetomo Nabeshima and
Yoshitaka Kameya and
Masakazu Ishihata and
Taisuke Sato},
editor = {Ana L. N. Fred and
Joaquim Filipe and
Hugo Gamboa},
title = {Discretized Kinetic Models for Abductive Reasoning in Systems Biology},
booktitle = {Biomedical Engineering Systems and Technologies - 4th International
Joint Conference, {BIOSTEC} 2011, Rome, Italy, January 26-29, 2011,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {273},
pages = {141--154},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29752-6\_11},
doi = {10.1007/978-3-642-29752-6\_11},
timestamp = {Sat, 19 Oct 2019 20:01:11 +0200},
biburl = {https://dblp.org/rec/conf/biostec/SynnaeveIDNKIS11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/InoueS11,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Marcello Balduccini and
Tran Cao Son},
title = {Exploring Relations between Answer Set Programs},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {6565},
pages = {91--110},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_7},
doi = {10.1007/978-3-642-20832-4\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/InoueS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CorapiSIR11,
author = {Domenico Corapi and
Daniel Sykes and
Katsumi Inoue and
Alessandra Russo},
editor = {Jo{\~{a}}o Leite and
Paolo Torroni and
Thomas {\AA}gotnes and
Guido Boella and
Leon van der Torre},
title = {Probabilistic Rule Learning in Nonmonotonic Domains},
booktitle = {Computational Logic in Multi-Agent Systems - 12th International Workshop,
{CLIMA} XII, Barcelona, Spain, July 17-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6814},
pages = {243--258},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22359-4\_17},
doi = {10.1007/978-3-642-22359-4\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/CorapiSIR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/InoueW11,
author = {Katsumi Inoue and
Lena Wiese},
editor = {Henning Christiansen and
Guy De Tr{\'{e}} and
Adnan Yazici and
Slawomir Zadrozny and
Troels Andreasen and
Henrik Legind Larsen},
title = {Generalizing Conjunctive Queries for Informative Answers},
booktitle = {Flexible Query Answering Systems - 9th International Conference, {FQAS}
2011, Ghent, Belgium, October 26-28, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7022},
pages = {1--12},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24764-4\_1},
doi = {10.1007/978-3-642-24764-4\_1},
timestamp = {Sun, 02 Oct 2022 16:01:32 +0200},
biburl = {https://dblp.org/rec/conf/fqas/InoueW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/InoueBO11,
author = {Katsumi Inoue and
Gauvain Bourgne and
Takayuki Okamoto},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Complete Distributed Consequence Finding with Message Passing},
booktitle = {{ICAART} 2011 - Proceedings of the 3rd International Conference on
Agents and Artificial Intelligence, Volume 2 - Agents, Rome, Italy,
January 28-30, 2011},
pages = {134--143},
publisher = {SciTePress},
year = {2011},
timestamp = {Fri, 08 Jul 2011 08:36:50 +0200},
biburl = {https://dblp.org/rec/conf/icaart/InoueBO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/InoueBO11a,
author = {Katsumi Inoue and
Gauvain Bourgne and
Takayuki Okamoto},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Distributed Consequence Finding: Partition-Based and Cooperative Approaches},
booktitle = {Agents and Artificial Intelligence - Third International Conference,
{ICAART} 2011, Rome, Italy, January, 28-30, 2011. Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {271},
pages = {429--444},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29966-7\_28},
doi = {10.1007/978-3-642-29966-7\_28},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/icaart/InoueBO11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BourgneI11,
author = {Gauvain Bourgne and
Katsumi Inoue},
title = {Partition-Based Consequence Finding},
booktitle = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence,
{ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011},
pages = {641--648},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICTAI.2011.102},
doi = {10.1109/ICTAI.2011.102},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BourgneI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Inoue11,
author = {Katsumi Inoue},
editor = {Toby Walsh},
title = {Logic Programming for Boolean Networks},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {924--930},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-160},
doi = {10.5591/978-1-57735-516-8/IJCAI11-160},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Inoue11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/DworkinDFI11,
author = {Barthelemy Dworkin and
Andrei Doncescu and
Jean{-}Charles Faye and
Katsumi Inoue},
editor = {Stephen H. Muggleton and
Hiroaki Watanabe},
title = {Model of Double-Strand Break of {DNA} in Logic-Based Hypothesis Finding},
booktitle = {Latest Advances in Inductive Logic Programming, {ILP} 2011, Late Breaking
Papers, Windsor Great Park, UK, July 31 - August 3, 2011},
pages = {69--76},
publisher = {Imperial College Press / World Scientific},
year = {2011},
url = {https://doi.org/10.1142/9781783265091\_0009},
doi = {10.1142/9781783265091\_0009},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/DworkinDFI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/Inoue12,
author = {Katsumi Inoue},
editor = {Stephen H. Muggleton and
Alireza Tamaddoni{-}Nezhad and
Francesca A. Lisi},
title = {{DNF} Hypotheses in Explanatory Induction},
booktitle = {Inductive Logic Programming - 21st International Conference, {ILP}
2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7207},
pages = {173--188},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31951-8\_18},
doi = {10.1007/978-3-642-31951-8\_18},
timestamp = {Sat, 30 Apr 2022 12:43:31 +0200},
biburl = {https://dblp.org/rec/conf/ilp/Inoue12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/YamamotoII12,
author = {Yoshitaka Yamamoto and
Katsumi Inoue and
Koji Iwanuma},
editor = {Stephen H. Muggleton and
Alireza Tamaddoni{-}Nezhad and
Francesca A. Lisi},
title = {Comparison of Upward and Downward Generalizations in CF-Induction},
booktitle = {Inductive Logic Programming - 21st International Conference, {ILP}
2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7207},
pages = {373--388},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31951-8\_31},
doi = {10.1007/978-3-642-31951-8\_31},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/YamamotoII12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/InoueSW11,
author = {Katsumi Inoue and
Chiaki Sakama and
Lena Wiese},
editor = {Hans Tompits and
Salvador Abreu and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Dietmar Seipel and
Masanobu Umeda and
Armin Wolf},
title = {Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical
Users},
booktitle = {Applications of Declarative Programming and Knowledge Management -
19th International Conference, {INAP} 2011, and 25th Workshop on Logic
Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7773},
pages = {134--151},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-41524-1\_8},
doi = {10.1007/978-3-642-41524-1\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/InoueSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-5825,
author = {Katsumi Inoue and
Chiaki Sakama and
Lena Wiese},
title = {Confidentiality-Preserving Data Publishing for Credulous Users by
Extended Abduction},
journal = {CoRR},
volume = {abs/1108.5825},
year = {2011},
url = {http://arxiv.org/abs/1108.5825},
eprinttype = {arXiv},
eprint = {1108.5825},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-5825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HorimotoIR11,
author = {Katsuhisa Horimoto and
Katsumi Inoue and
Oliver Ray},
title = {International Symposium on Symbolic Systems Biology {(NII} Shonan
Meeting 2011-7)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2011},
year = {2011},
url = {https://shonan.nii.ac.jp/seminars/010/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/HorimotoIR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/NabeshimaIIR10,
author = {Hidetomo Nabeshima and
Koji Iwanuma and
Katsumi Inoue and
Oliver Ray},
title = {{SOLAR:} An automated deduction system for consequence finding},
journal = {{AI} Commun.},
volume = {23},
number = {2-3},
pages = {183--203},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0465},
doi = {10.3233/AIC-2010-0465},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/NabeshimaIIR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SohITBN10,
author = {Takehide Soh and
Katsumi Inoue and
Naoyuki Tamura and
Mutsunori Banbara and
Hidetomo Nabeshima},
title = {A SAT-based Method for Solving the Two-dimensional Strip Packing Problem},
journal = {Fundam. Informaticae},
volume = {102},
number = {3-4},
pages = {467--487},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-314},
doi = {10.3233/FI-2010-314},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/SohITBN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/InoueDSK10,
author = {Katsumi Inoue and
Andrei Doncescu and
Gabriel Synnaeve and
Nabil Kabbaj},
title = {Main Pathway Discovery in Metabolic Pathways},
booktitle = {24th {IEEE} International Conference on Advanced Information Networking
and Applications Workshops, {WAINA} 2010, Perth, Australia, 20-13
April 2010},
pages = {796--801},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/WAINA.2010.88},
doi = {10.1109/WAINA.2010.88},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/InoueDSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anb/RaySI10,
author = {Oliver Ray and
Takehide Soh and
Katsumi Inoue},
editor = {Katsuhisa Horimoto and
Masahiko Nakatsui and
Nikolaj Popov},
title = {Analyzing Pathways Using ASP-Based Approaches},
booktitle = {Algebraic and Numeric Biology - 4th International Conference, {ANB}
2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6479},
pages = {167--183},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-28067-2\_10},
doi = {10.1007/978-3-642-28067-2\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/anb/RaySI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BourgneI10,
author = {Gauvain Bourgne and
Katsumi Inoue},
editor = {Andrea Omicini and
Sebastian Sardi{\~{n}}a and
Wamberto Weber Vasconcelos},
title = {Query-Driven Coordination of Multiple Answer Sets},
booktitle = {Declarative Agent Languages and Technologies {VIII} - 8th International
Workshop, {DALT} 2010, Toronto, Canada, May 10, 2010, Revised, Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6619},
pages = {40--59},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20715-0\_3},
doi = {10.1007/978-3-642-20715-0\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/BourgneI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SohI10,
author = {Takehide Soh and
Katsumi Inoue},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Identifying Necessary Reactions in Metabolic Pathways by Minimal Model
Generation},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {277--282},
publisher = {{IOS} Press},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17757},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/SohI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BourgneIM10,
author = {Gauvain Bourgne and
Katsumi Inoue and
Nicolas Maudet},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Abduction of distributed theories through local interactions},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {901--906},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-901},
doi = {10.3233/978-1-60750-606-5-901},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BourgneIM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SohI10,
author = {Takehide Soh and
Katsumi Inoue},
editor = {Agostino Dovier and
Alessandro Dal Pal{\`{u}} and
Sebastian Will},
title = {Finding Minimal Reaction Sets in Large Metabolic Pathways},
booktitle = {Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh,
UK, July 21, 2010},
series = {EPiC Series in Computing},
volume = {4},
pages = {38--52},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/xp2k},
doi = {10.29007/XP2K},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SohI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/InoueDN10,
author = {Katsumi Inoue and
Andrei Doncescu and
Hidetomo Nabeshima},
editor = {Paolo Frasconi and
Francesca A. Lisi},
title = {Hypothesizing about Causal Networks with Positive and Negative Effects
by Meta-level Abduction},
booktitle = {Inductive Logic Programming - 20th International Conference, {ILP}
2010, Florence, Italy, June 27-30, 2010. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6489},
pages = {114--129},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21295-6\_15},
doi = {10.1007/978-3-642-21295-6\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/InoueDN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lads/BourgneIM10,
author = {Gauvain Bourgne and
Katsumi Inoue and
Nicolas Maudet},
editor = {Mehdi Dastani and
Amal El Fallah Seghrouchni and
Jomi H{\"{u}}bner and
Jo{\~{a}}o Leite},
title = {Towards Efficient Multi-agent Abduction Protocols},
booktitle = {Languages, Methodologies, and Development Tools for Multi-Agent Systems
- Third International Workshop, {LADS} 2010, Lyon, France, August
30 - September 1, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6822},
pages = {19--38},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22723-3\_2},
doi = {10.1007/978-3-642-22723-3\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lads/BourgneIM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BanbaraMTI10,
author = {Mutsunori Banbara and
Haruki Matsunaka and
Naoyuki Tamura and
Katsumi Inoue},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Generating Combinatorial Test Cases by Efficient {SAT} Encodings Suitable
for {CDCL} {SAT} Solvers},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {112--126},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_9},
doi = {10.1007/978-3-642-16242-8\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BanbaraMTI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/BourgneIM10,
author = {Gauvain Bourgne and
Katsumi Inoue and
Nicolas Maudet},
editor = {Olivier Boissier and
Amal El Fallah Seghrouchni and
Salima Hassas and
Nicolas Maudet},
title = {Towards Efficient Multi-Agent Abduction Protocols},
booktitle = {Proceedings of The Multi-Agent Logics, Languages, and Organisations
Federated Workshops {(MALLOW} 2010), Lyon, France, August 30 - September
2, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {627},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-627/lads\_5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:29 +0100},
biburl = {https://dblp.org/rec/conf/mallow/BourgneIM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/IwanumaIN09,
author = {Koji Iwanuma and
Katsumi Inoue and
Hidetomo Nabeshima},
title = {Reconsideration of circumscriptive induction with pointwise circumscription},
journal = {J. Appl. Log.},
volume = {7},
number = {3},
pages = {307--317},
year = {2009},
url = {https://doi.org/10.1016/j.jal.2008.10.005},
doi = {10.1016/J.JAL.2008.10.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/IwanumaIN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/SakamaI09,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {Equivalence issues in abduction and induction},
journal = {J. Appl. Log.},
volume = {7},
number = {3},
pages = {318--328},
year = {2009},
url = {https://doi.org/10.1016/j.jal.2008.10.006},
doi = {10.1016/J.JAL.2008.10.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/SakamaI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/SakamaI09,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {Brave induction: a logical framework for learning from incomplete
information},
journal = {Mach. Learn.},
volume = {76},
number = {1},
pages = {3--35},
year = {2009},
url = {https://doi.org/10.1007/s10994-009-5113-y},
doi = {10.1007/S10994-009-5113-Y},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/SakamaI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/YamamotoID09,
author = {Yoshitaka Yamamoto and
Katsumi Inoue and
Andrei Doncescu},
title = {Abductive Reasoning in Cancer Therapy},
booktitle = {23rd International Conference on Advanced Information Networking and
Applications, {AINA} 2009, Workshops Proceedings, Bradford, United
Kingdom, May 26-29, 2009},
pages = {948--953},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WAINA.2009.151},
doi = {10.1109/WAINA.2009.151},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/YamamotoID09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/IwanumaNI09,
author = {Koji Iwanuma and
Hidetomo Nabeshima and
Katsumi Inoue},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Toward an Efficient Equality Computation in Connection Tableaux: {A}
Modification Method without Symmetry Transformation},
booktitle = {Proceedings of the 7th International Workshop on First-Order Theorem
Proving, {FTP} 2009, Oslo, Norway, July 6-7, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {556},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-556/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/ftp/IwanumaNI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/InoueSIKN09,
author = {Katsumi Inoue and
Taisuke Sato and
Masakazu Ishihata and
Yoshitaka Kameya and
Hidetomo Nabeshima},
editor = {Craig Boutilier},
title = {Evaluating Abductive Hypotheses using an {EM} Algorithm on BDDs},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {810--815},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/139.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/InoueSIKN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/InoueFKN09,
author = {Katsumi Inoue and
Koichi Furukawa and
Ikuo Kobayashi and
Hidetomo Nabeshima},
editor = {Luc De Raedt},
title = {Discovering Rules by Meta-level Abduction},
booktitle = {Inductive Logic Programming, 19th International Conference, {ILP}
2009, Leuven, Belgium, July 02-04, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5989},
pages = {49--64},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-13840-9\_6},
doi = {10.1007/978-3-642-13840-9\_6},
timestamp = {Sun, 25 Oct 2020 23:05:34 +0100},
biburl = {https://dblp.org/rec/conf/ilp/InoueFKN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/BuryanKI09,
author = {Petr Buryan and
Jir{\'{\i}} Kubal{\'{\i}}k and
Katsumi Inoue},
title = {Grammatical Concept Representation for Randomised Optimisation Algorithms
in Relational Learning},
booktitle = {Ninth International Conference on Intelligent Systems Design and Applications,
{ISDA} 2009, Pisa, Italy , November 30-December 2, 2009},
pages = {1450--1455},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISDA.2009.156},
doi = {10.1109/ISDA.2009.156},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isda/BuryanKI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/EgawaIK08,
author = {Yoshimi Egawa and
Katsumi Inoue and
Ken{-}ichi Kawarabayashi},
title = {Nonseparating Induced Cycles Consisting of Contractible Edges in k-Connected
Graphs},
journal = {{SIAM} J. Discret. Math.},
volume = {21},
number = {4},
pages = {1061--1070},
year = {2008},
url = {https://doi.org/10.1137/060665956},
doi = {10.1137/060665956},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/EgawaIK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SakamaI08,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {Coordination in answer set programming},
journal = {{ACM} Trans. Comput. Log.},
volume = {9},
number = {2},
pages = {9:1--9:30},
year = {2008},
url = {https://doi.org/10.1145/1342991.1342993},
doi = {10.1145/1342991.1342993},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/SakamaI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/YamamotoID08,
author = {Yoshitaka Yamamoto and
Katsumi Inoue and
Andrei Doncescu},
title = {Estimation of Possible Reaction States in Metabolic Pathways Using
Inductive Logic Programming},
booktitle = {22nd International Conference on Advanced Information Networking and
Applications, {AINA} 2008, Workshops Proceedings, GinoWan, Okinawa,
Japan, March 25-28, 2008},
pages = {808--813},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/WAINA.2008.205},
doi = {10.1109/WAINA.2008.205},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/YamamotoID08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/InoueS08,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Comparing Abductive Theories},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {35--39},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-35},
doi = {10.3233/978-1-58603-891-5-35},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/InoueS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/SakamaI08,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Filip Zelezn{\'{y}} and
Nada Lavrac},
title = {Brave Induction},
booktitle = {Inductive Logic Programming, 18th International Conference, {ILP}
2008, Prague, Czech Republic, September 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5194},
pages = {261--278},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85928-4\_21},
doi = {10.1007/978-3-540-85928-4\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/SakamaI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NabeshimaII08,
author = {Hidetomo Nabeshima and
Koji Iwanuma and
Katsumi Inoue},
editor = {Piotr Rudnicki and
Geoff Sutcliffe and
Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Complete Pruning Methods and a Practical Search Strategy for {SOL}},
booktitle = {Proceedings of the {LPAR} 2008 Workshops, Knowledge Exchange: Automated
Provers and Proof Assistants, and the 7th International Workshop on
the Implementation of Logics, Doha, Qatar, November 22, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {418},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-418/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/lpar/NabeshimaII08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/SohITBN08,
author = {Takehide Soh and
Katsumi Inoue and
Naoyuki Tamura and
Mutsunori Banbara and
Hidetomo Nabeshima},
editor = {Marco Gavanelli and
Toni Mancini},
title = {A SAT-based Method for Solving the Two-dimensional Strip Packing Problem},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper16soh.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/rcra/SohITBN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/DoncescuRIE07,
author = {Andrei Doncescu and
S{\'{e}}bastien R{\'{e}}gis and
Katsumi Inoue and
Richard Emilion},
title = {Analysis of New Aggregation Operators: Mean 3Pi},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
volume = {11},
number = {6},
pages = {561--569},
year = {2007},
url = {https://doi.org/10.20965/jaciii.2007.p0561},
doi = {10.20965/JACIII.2007.P0561},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaciii/DoncescuRIE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/InoueS07,
author = {Katsumi Inoue and
Chiaki Sakama},
title = {Generality and Equivalence Relations in Default Logic},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {434--439},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-068.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/InoueS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/DoncescuYI07,
author = {Andrei Doncescu and
Yoshitaka Yamamoto and
Katsumi Inoue},
title = {Biological Systems Analysis Using Inductive Logic Programming},
booktitle = {21st International Conference on Advanced Information Networking and
Applications {(AINA} 2007), Workshops Proceedings, Volume 1, May 21-23,
2007, Niagara Falls, Canada},
pages = {690--695},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AINAW.2007.112},
doi = {10.1109/AINAW.2007.112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/DoncescuYI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SakamaI07,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Edmund H. Durfee and
Makoto Yokoo and
Michael N. Huhns and
Onn Shehory},
title = {Negotiation by abduction and relaxation},
booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
pages = {242},
publisher = {{IFAAMAS}},
year = {2007},
url = {https://doi.org/10.1145/1329125.1329418},
doi = {10.1145/1329125.1329418},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/SakamaI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/RayI07,
author = {Oliver Ray and
Katsumi Inoue},
editor = {Vincent Corruble and
Masayuki Takeda and
Einoshin Suzuki},
title = {A Consequence Finding Approach for Full Clausal Abduction},
booktitle = {Discovery Science, 10th International Conference, {DS} 2007, Sendai,
Japan, October 1-4, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4755},
pages = {173--184},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75488-6\_17},
doi = {10.1007/978-3-540-75488-6\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dis/RayI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/DoncescuIY07,
author = {Andrei Doncescu and
Katsumi Inoue and
Yoshitaka Yamamoto},
editor = {Hiroshi G. Okuno and
Moonis Ali},
title = {Knowledge Based Discovery in Systems Biology Using CF-Induction},
booktitle = {New Trends in Applied Artificial Intelligence, 20th International
Conference on Industrial, Engineering and Other Applications of Applied
Intelligent Systems, {IEA/AIE} 2007, Kyoto, Japan, June 26-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4570},
pages = {395--404},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73325-6\_39},
doi = {10.1007/978-3-540-73325-6\_39},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/DoncescuIY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RayI07,
author = {Oliver Ray and
Katsumi Inoue},
editor = {Hendrik Blockeel and
Jan Ramon and
Jude W. Shavlik and
Prasad Tadepalli},
title = {Mode-Directed Inverse Entailment for Full Clausal Theories},
booktitle = {Inductive Logic Programming, 17th International Conference, {ILP}
2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4894},
pages = {225--238},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78469-2\_23},
doi = {10.1007/978-3-540-78469-2\_23},
timestamp = {Thu, 14 Oct 2021 10:29:24 +0200},
biburl = {https://dblp.org/rec/conf/ilp/RayI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/YamamotoRI07,
author = {Yoshitaka Yamamoto and
Oliver Ray and
Katsumi Inoue},
editor = {Ken Satoh and
Akihiro Inokuchi and
Katashi Nagao and
Takahiro Kawamura},
title = {Towards a Logical Reconstruction of CF-Induction},
booktitle = {New Frontiers in Artificial Intelligence, {JSAI} 2007 Conference and
Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4914},
pages = {330--343},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78197-4\_31},
doi = {10.1007/978-3-540-78197-4\_31},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/YamamotoRI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clima/2006,
editor = {Katsumi Inoue and
Ken Satoh and
Francesca Toni},
title = {Computational Logic in Multi-Agent Systems, 7th International Workshop,
{CLIMA} VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4371},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69619-3},
doi = {10.1007/978-3-540-69619-3},
isbn = {978-3-540-69618-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/InoueSUSBT06,
author = {Katsumi Inoue and
Takehide Soh and
Seiji Ueda and
Yoshito Sasaura and
Mutsunori Banbara and
Naoyuki Tamura},
title = {A competitive and cooperative approach to propositional satisfiability},
journal = {Discret. Appl. Math.},
volume = {154},
number = {16},
pages = {2291--2306},
year = {2006},
url = {https://doi.org/10.1016/j.dam.2006.04.015},
doi = {10.1016/J.DAM.2006.04.015},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/InoueSUSBT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/InoueS06,
author = {Katsumi Inoue and
Chiaki Sakama},
title = {Abductive Equivalence in First-order Logic},
journal = {Log. J. {IGPL}},
volume = {14},
number = {2},
pages = {333--346},
year = {2006},
url = {https://doi.org/10.1093/jigpal/jzk022},
doi = {10.1093/JIGPAL/JZK022},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/InoueS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/InoueIN06,
author = {Katsumi Inoue and
Koji Iwanuma and
Hidetomo Nabeshima},
title = {Consequence finding and computing answers with defaults},
journal = {J. Intell. Inf. Syst.},
volume = {26},
number = {1},
pages = {41--58},
year = {2006},
url = {https://doi.org/10.1007/s10844-006-5450-2},
doi = {10.1007/S10844-006-5450-2},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jiis/InoueIN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/DoncescuFIR06,
author = {Andrei Doncescu and
Muhammad Farmer and
Katsumi Inoue and
Gilles Richard},
title = {A web architecture for data mining in biology},
booktitle = {20th International Conference on Advanced Information Networking and
Applications {(AINA} 2006), 18-20 April 2006, Vienna, Austria},
pages = {607--612},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/AINA.2006.64},
doi = {10.1109/AINA.2006.64},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/DoncescuFIR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/NabeshimaSII06,
author = {Hidetomo Nabeshima and
Takehide Soh and
Katsumi Inoue and
Koji Iwanuma},
editor = {Derek Long and
Stephen F. Smith and
Daniel Borrajo and
Lee McCluskey},
title = {Lemma Reusing for {SAT} based Planning and Scheduling},
booktitle = {Proceedings of the Sixteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
pages = {103--113},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-011.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/NabeshimaSII06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atc/DoncescuI06,
author = {Andrei Doncescu and
Katsumi Inoue},
editor = {Laurence Tianruo Yang and
Hai Jin and
Jianhua Ma and
Theo Ungerer},
title = {Automated Abduction for Computer Forensics},
booktitle = {Autonomic and Trusted Computing, Third International Conference, {ATC}
2006, Wuhan, China, September 3-6, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4158},
pages = {493--499},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11839569\_48},
doi = {10.1007/11839569\_48},
timestamp = {Thu, 01 Feb 2024 20:40:31 +0100},
biburl = {https://dblp.org/rec/conf/atc/DoncescuI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/InoueS06,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Generality Relations in Answer Set Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {211--225},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_17},
doi = {10.1007/11799573\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/InoueS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SakamaI06,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Germ{\'{a}}n Puebla},
title = {Constructing Consensus Logic Programs},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {26--42},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_4},
doi = {10.1007/978-3-540-71410-1\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SakamaI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/SakamaI05,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Combining Answer Sets of Nonmonotonic Logic Programs},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {142},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-142/page42.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/SakamaI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/SakamaI05,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Francesca Toni and
Paolo Torroni},
title = {Combining Answer Sets of Nonmonotonic Logic Programs},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {320--339},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_18},
doi = {10.1007/11750734\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/SakamaI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/DoncescuIFR05,
author = {Andrei Doncescu and
Katsumi Inoue and
Muhammad Farmer and
Gilles Richard},
editor = {Chin{-}Sheng Chen and
Joaquim Filipe and
Isabel Seruca and
Jos{\'{e}} Cordeiro},
title = {A Web-Based Architecture for Inductive Logic Programming in Biology},
booktitle = {{ICEIS} 2005, Proceedings of the Seventh International Conference
on Enterprise Information Systems, Miami, USA, May 25-28, 2005},
pages = {357--361},
year = {2005},
timestamp = {Thu, 02 Feb 2017 12:53:54 +0100},
biburl = {https://dblp.org/rec/conf/iceis/DoncescuIFR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/IwanumaIN05,
author = {Koji Iwanuma and
Katsumi Inoue and
Hidetomo Nabeshima},
editor = {Dang Van Hung and
Martin Wirsing},
title = {Upside-Down Transformation in SOL/Connection Tableaux and Its Application},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {166--179},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_11},
doi = {10.1007/11560647\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/IwanumaIN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/InoueS05,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Equivalence in Abductive Logic},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {472--477},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0612.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/InoueS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/InoueBN05,
author = {Katsumi Inoue and
Hideyuki Bando and
Hidetomo Nabeshima},
editor = {Stefan Kramer and
Bernhard Pfahringer},
title = {Inducing Causal Laws by Regular Inference},
booktitle = {Inductive Logic Programming, 15th International Conference, {ILP}
2005, Bonn, Germany, August 10-13, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3625},
pages = {154--171},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11536314\_10},
doi = {10.1007/11536314\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/ilp/InoueBN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/SakamaI05,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Stefan Kramer and
Bernhard Pfahringer},
title = {Inductive Equivalence of Logic Programs},
booktitle = {Inductive Logic Programming, 15th International Conference, {ILP}
2005, Bonn, Germany, August 10-13, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3625},
pages = {312--329},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11536314\_19},
doi = {10.1007/11536314\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/SakamaI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/BanbaraTI05,
author = {Mutsunori Banbara and
Naoyuki Tamura and
Katsumi Inoue},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {Prolog Cafe : {A} Prolog to Java Translator System},
booktitle = {Declarative Programming for Knowledge Management, 16th International
Conference on Applications of Declarative Programming and Knowledge
Management, {INAP} 2005, Fukuoka, Japan, October 22-24, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {1--11},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_1},
doi = {10.1007/11963578\_1},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/BanbaraTI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/InoueI04,
author = {Katsumi Inoue and
Koji Iwanuma},
title = {Speculative Computation Through Consequence-Finding in Multi-Agent
Environments},
journal = {Ann. Math. Artif. Intell.},
volume = {42},
number = {1-3},
pages = {255--291},
year = {2004},
url = {https://doi.org/10.1023/B:AMAI.0000034529.83643.ce},
doi = {10.1023/B:AMAI.0000034529.83643.CE},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/InoueI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/Inoue04,
author = {Katsumi Inoue},
title = {Induction as Consequence Finding},
journal = {Mach. Learn.},
volume = {55},
number = {2},
pages = {109--135},
year = {2004},
url = {https://doi.org/10.1023/B:MACH.0000023149.72125.e2},
doi = {10.1023/B:MACH.0000023149.72125.E2},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/Inoue04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/SakamaI04,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Jo{\~{a}}o Alexandre Leite and
Paolo Torroni},
title = {Coordination Between Logical Agents},
booktitle = {Computational Logic in Multi-Agent Systems, 5th International Workshop,
{CLIMA} V, Lisbon, Portugal, September 29-30, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3487},
pages = {161--177},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11533092\_10},
doi = {10.1007/11533092\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/SakamaI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/InoueIN04,
author = {Katsumi Inoue and
Koji Iwanuma and
Hidetomo Nabeshima},
editor = {Henning Christiansen and
Mohand{-}Said Hacid and
Troels Andreasen and
Henrik Legind Larsen},
title = {Consequence Finding in Default Theories},
booktitle = {Flexible Query Answering Systems, 6th International Conference, {FQAS}
2004, Lyon, France, June 24-26, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3055},
pages = {459--472},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25957-2\_36},
doi = {10.1007/978-3-540-25957-2\_36},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fqas/InoueIN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WakakiI04,
author = {Toshiko Wakaki and
Katsumi Inoue},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Compiling Prioritized Circumscription into Answer Set Programming},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {356--370},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_25},
doi = {10.1007/978-3-540-27775-0\_25},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/WakakiI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/InoueS04,
author = {Katsumi Inoue and
Haruka Saito},
editor = {Rui Camacho and
Ross D. King and
Ashwin Srinivasan},
title = {Circumscription Policies for Induction},
booktitle = {Inductive Logic Programming, 14th International Conference, {ILP}
2004, Porto, Portugal, September 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3194},
pages = {164--179},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30109-7\_15},
doi = {10.1007/978-3-540-30109-7\_15},
timestamp = {Wed, 24 Mar 2021 17:12:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/InoueS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/InoueS04,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Equivalence of Logic Programs Under Updates},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {174--186},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_17},
doi = {10.1007/978-3-540-30227-8\_17},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/InoueS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/WakakiISN04,
author = {Toshiko Wakaki and
Katsumi Inoue and
Chiaki Sakama and
Katsumi Nitta},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {The {PLP} System},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {706--709},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_62},
doi = {10.1007/978-3-540-30227-8\_62},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/WakakiISN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0405076,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {An Abductive Framework For Computing Knowledge Base Updates},
journal = {CoRR},
volume = {cs.DB/0405076},
year = {2004},
url = {http://arxiv.org/abs/cs/0405076},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DB-0405076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SakamaI03,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {An abductive framework for computing knowledge base updates},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {6},
pages = {671--713},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001716},
doi = {10.1017/S1471068403001716},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SakamaI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/WakakiISN03,
author = {Toshiko Wakaki and
Katsumi Inoue and
Chiaki Sakama and
Katsumi Nitta},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Computing Preferred Answer Sets in Answer Set Programming},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {259--273},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_18},
doi = {10.1007/978-3-540-39813-4\_18},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/WakakiISN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/NabeshimaII03,
author = {Hidetomo Nabeshima and
Koji Iwanuma and
Katsumi Inoue},
editor = {Marta Cialdea Mayer and
Fiora Pirri},
title = {{SOLAR:} {A} Consequence Finding System for Advanced Reasoning},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2003, Rome, Italy, September 9-12, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2796},
pages = {257--263},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45206-5\_22},
doi = {10.1007/978-3-540-45206-5\_22},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/NabeshimaII03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/EgawaIK02,
author = {Yoshimi Egawa and
Katsumi Inoue and
Ken{-}ichi Kawarabayashi},
title = {Nonseparating Induced Cycles Consisting of Contractible Edges in k-Connected
Graphs},
journal = {Electron. Notes Discret. Math.},
volume = {11},
pages = {253--264},
year = {2002},
url = {https://doi.org/10.1016/S1571-0653(04)00069-1},
doi = {10.1016/S1571-0653(04)00069-1},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/EgawaIK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/NabeshimaII02,
author = {Hidetomo Nabeshima and
Koji Iwanuma and
Katsumi Inoue},
editor = {Bob McKay and
John K. Slaney},
title = {Effective {SAT} Planning by Speculative Computation},
booktitle = {{AI} 2002: Advances in Artificial Intelligence, 15th Australian Joint
Conference on Artificial Intelligence, Canberra, Australia, December
2-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2557},
pages = {726--728},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36187-1\_74},
doi = {10.1007/3-540-36187-1\_74},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/NabeshimaII02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Inoue02,
author = {Katsumi Inoue},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {Automated Abduction},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {2408},
pages = {311--341},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45632-5\_13},
doi = {10.1007/3-540-45632-5\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Inoue02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/InoueS02,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Peter J. Stuckey},
title = {Disjunctive Explanations},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {317--332},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_22},
doi = {10.1007/3-540-45619-8\_22},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/InoueS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/IwanumaI02,
author = {Koji Iwanuma and
Katsumi Inoue},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Minimal Answer Computation and {SOL}},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {245--258},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_21},
doi = {10.1007/3-540-45757-7\_21},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/IwanumaI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IwanumaI02,
author = {Koji Iwanuma and
Katsumi Inoue},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Alexandre Leite and
Ken Satoh},
title = {Conditional Answer Computation in {SOL} as Speculative Computation
in Multi-Agent Environments},
booktitle = {Computational Logic in Multi-Agent Systems, {CLIMA} 2002, FLoC Satellite
Event, Copenhagen, Denmark, August 1, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {5},
pages = {167--182},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80595-4},
doi = {10.1016/S1571-0661(04)80595-4},
timestamp = {Tue, 06 Dec 2022 15:03:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IwanumaI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/Inoue01,
author = {Katsumi Inoue},
editor = {C{\'{e}}line Rouveirol and
Mich{\`{e}}le Sebag},
title = {Induction, Abduction, and Consequence-Finding},
booktitle = {Inductive Logic Programming, 11th International Conference, {ILP}
2001, Strasbourg, France, September 9-11, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2157},
pages = {65--79},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44797-0\_6},
doi = {10.1007/3-540-44797-0\_6},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/ilp/Inoue01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SakamaI00,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {Prioritized logic programming and its application to commonsense reasoning},
journal = {Artif. Intell.},
volume = {123},
number = {1-2},
pages = {185--222},
year = {2000},
url = {https://doi.org/10.1016/S0004-3702(00)00054-0},
doi = {10.1016/S0004-3702(00)00054-0},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/SakamaI00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SakamaI00,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {Abductive logic programming and disjunctive logic programming: their
relationship and transferability},
journal = {J. Log. Program.},
volume = {44},
number = {1-3},
pages = {75--100},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(99)00073-4},
doi = {10.1016/S0743-1066(99)00073-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SakamaI00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/SakamaIIS00,
author = {Chiaki Sakama and
Katsumi Inoue and
Koji Iwanuma and
Ken Satoh},
editor = {Ken Satoh and
Fariba Sadri},
title = {A Defeasible Reasoning System in Multi-Agent Environment},
booktitle = {{CL-2000} Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00),
London, UK, July 24-25, 2000},
pages = {1--6},
year = {2000},
timestamp = {Tue, 21 Nov 2017 19:17:13 +0100},
biburl = {https://dblp.org/rec/conf/cl/SakamaIIS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/Inoue00,
author = {Katsumi Inoue},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {A Simple Characterization of Extended Abduction},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {718--732},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_48},
doi = {10.1007/3-540-44957-4\_48},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/Inoue00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/SatohIIS00,
author = {Ken Satoh and
Katsumi Inoue and
Koji Iwanuma and
Chiaki Sakama},
title = {Speculative Computation by Abduction under Incomplete Communication
Environments},
booktitle = {4th International Conference on Multi-Agent Systems, {ICMAS} 2000,
Boston, MA, USA, July 10-12, 2000},
pages = {263--270},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICMAS.2000.858462},
doi = {10.1109/ICMAS.2000.858462},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmas/SatohIIS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/NabeshimaIH00,
author = {Hidetomo Nabeshima and
Katsumi Inoue and
Hiromasa Haneda},
title = {Implementing an action language using a {SAT} solver},
booktitle = {12th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2000), 13-15 November 2000, Vancouver, BC, Canada},
pages = {96--103},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/TAI.2000.889852},
doi = {10.1109/TAI.2000.889852},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/NabeshimaIH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/InoueS99,
author = {Katsumi Inoue and
Chiaki Sakama},
title = {Computing Extended Abduction Through Transaction Programs},
journal = {Ann. Math. Artif. Intell.},
volume = {25},
number = {3-4},
pages = {339--367},
year = {1999},
url = {https://doi.org/10.1023/A:1018926021566},
doi = {10.1023/A:1018926021566},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/InoueS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arscom/EgawaI99,
author = {Yoshimi Egawa and
Katsumi Inoue},
title = {Radius of (2k-1)-Connected Graphs},
journal = {Ars Comb.},
volume = {51},
year = {1999},
timestamp = {Tue, 06 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/arscom/EgawaI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/TagawaKIH99,
author = {Kiyoharu Tagawa and
Kenji Kanesige and
Katsumi Inoue and
Hiromasa Haneda},
title = {Distance based hybrid genetic algorithm: an application for the graph
coloring problem},
booktitle = {Proceedings of the 1999 Congress on Evolutionary Computation, {CEC}
1999, Washington, DC, {USA} July 6-9, 1999},
pages = {2325--2332},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/CEC.1999.785564},
doi = {10.1109/CEC.1999.785564},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/TagawaKIH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/InoueS99,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Thomas Dean},
title = {Abducing Priorities to Derive Intended Conclusions},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {44--49},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/007.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/InoueS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SakamaI99,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {Updating Extended Logic Programs through Abduction},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {147--161},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_11},
doi = {10.1007/3-540-46767-X\_11},
timestamp = {Sun, 02 Oct 2022 16:11:19 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/SakamaI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/InoueS98,
author = {Katsumi Inoue and
Chiaki Sakama},
title = {Negation as Failure in the Head},
journal = {J. Log. Program.},
volume = {35},
number = {1},
pages = {39--78},
year = {1998},
url = {https://doi.org/10.1016/S0743-1066(97)10001-2},
doi = {10.1016/S0743-1066(97)10001-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/InoueS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/OhtaIH98,
author = {Yoshihiko Ohta and
Katsumi Inoue and
Ryuzo Hasegawa},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {On the Relationship Between Non-Horn Magic Sets and Relevancy Testing},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {333--348},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054270},
doi = {10.1007/BFB0054270},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/OhtaIH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/InoueS98,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {Specifying Transactions for Extended Abduction},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {394--405},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/InoueS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HasegawaIOK97,
author = {Ryuzo Hasegawa and
Katsumi Inoue and
Yoshihiko Ohta and
Miyuki Koshimura},
editor = {William McCune},
title = {Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up
Theorem Proving},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {176--190},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_18},
doi = {10.1007/3-540-63104-6\_18},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/HasegawaIOK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/InoueK97,
author = {Katsumi Inoue and
Yoshimitsu Kudoh},
title = {Learning Extended Logic Programs},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {176--181},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/029.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/InoueK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/InoueS96,
author = {Katsumi Inoue and
Chiaki Sakama},
title = {A Fixpoint Characterization of Abductive Logic Programs},
journal = {J. Log. Program.},
volume = {27},
number = {2},
pages = {107--136},
year = {1996},
url = {https://doi.org/10.1016/0743-1066(95)00119-0},
doi = {10.1016/0743-1066(95)00119-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/InoueS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SakamaI96,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Michael J. Maher},
title = {Representing Priorities in Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {82--96},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278880},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SakamaI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SakamaI95,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {Paraconsistent Stable Semantics for Extended Disjunctive Programs},
journal = {J. Log. Comput.},
volume = {5},
number = {3},
pages = {265--285},
year = {1995},
url = {https://doi.org/10.1093/logcom/5.3.265},
doi = {10.1093/LOGCOM/5.3.265},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/SakamaI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SakamaI95,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Leon Sterling},
title = {The Effect of Partial Deduction in Abductive Reasoning},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {383--397},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SakamaI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/InoueS95,
author = {Katsumi Inoue and
Chiaki Sakama},
title = {Abductive Framework for Nonmonotonic Theory Change},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {204--210},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/027.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/InoueS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SakamaI95,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {V. Wiktor Marek and
Anil Nerode},
title = {Embedding Circumscriptive Theories in General Disjunctive Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
pages = {344--357},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6\_25},
doi = {10.1007/3-540-59487-6\_25},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/SakamaI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SakamaI94,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {An Alternative Approach to the Semantics of Disjunctive Logic Programs
and Deductive Databases},
journal = {J. Autom. Reason.},
volume = {13},
number = {1},
pages = {145--172},
year = {1994},
url = {https://doi.org/10.1007/BF00881915},
doi = {10.1007/BF00881915},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/SakamaI94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Inoue94,
author = {Katsumi Inoue},
title = {Hypothetical Reasoning in Logic Programs},
journal = {J. Log. Program.},
volume = {18},
number = {3},
pages = {191--227},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90043-4},
doi = {10.1016/0743-1066(94)90043-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Inoue94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SakamaI94,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Pascal Van Hentenryck},
title = {On the Equivalence between Disjunctive and Abductive Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {489--503},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SakamaI94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/InoueS94,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {On Positive Occurrences of Negation as Failure},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {293--304},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/InoueS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/OhtaI93,
author = {Yoshihiko Ohta and
Katsumi Inoue},
title = {Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning},
journal = {New Gener. Comput.},
volume = {11},
number = {3},
pages = {401--421},
year = {1993},
url = {https://doi.org/10.1007/BF03037185},
doi = {10.1007/BF03037185},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ngc/OhtaI93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/InoueS93,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {David Scott Warren},
title = {Transforming Abductive Logic Programs to Disjunctive Programs},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {335--353},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/InoueS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SakamaI93,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {David Scott Warren},
title = {Negation in Disjunctive Logic Programs},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {703--719},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SakamaI93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/InoueOHN93,
author = {Katsumi Inoue and
Yoshihiko Ohta and
Ryuzo Hasegawa and
Makoto Nakashima},
editor = {Ruzena Bajcsy},
title = {Bottom-up Abduction by Model Generation},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {102--108},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://ijcai.org/Proceedings/93-1/Papers/015.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/InoueOHN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SakamaI93,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Lu{\'{\i}}s Moniz Pereira and
Anil Nerode},
title = {Relating Disjunctive Logic Programs to Default Theories},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
Second International Workshop, Lisbon, Portugal, June 1993},
pages = {266--282},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/SakamaI93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Inoue92,
author = {Katsumi Inoue},
title = {Linear Resolution for Consequence Finding},
journal = {Artif. Intell.},
volume = {56},
number = {2-3},
pages = {301--353},
year = {1992},
url = {https://doi.org/10.1016/0004-3702(92)90030-2},
doi = {10.1016/0004-3702(92)90030-2},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/Inoue92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/InoueKH92,
author = {Katsumi Inoue and
Miyuki Koshimura and
Ryuzo Hasegawa},
editor = {Deepak Kapur},
title = {Embedding Negation as Failure into a Model Generation Theorem Prover},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {400--415},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_180},
doi = {10.1007/3-540-55602-8\_180},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/InoueKH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/OhtaI92,
author = {Yoshihiko Ohta and
Katsumi Inoue},
title = {A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {522--529},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/OhtaI92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Inoue91,
author = {Katsumi Inoue},
editor = {Koichi Furukawa},
title = {Extended Logic Programs with Default Assumptions},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {490--504},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Inoue91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Inoue91,
author = {Katsumi Inoue},
editor = {John Mylopoulos and
Raymond Reiter},
title = {Consequence-Finding Based on Ordered Linear Resolution},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {158--164},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/026.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Inoue91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HelftIP91,
author = {Nicolas Helft and
Katsumi Inoue and
David Poole},
editor = {John Mylopoulos and
Raymond Reiter},
title = {Query Answering in Circumscription},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {426--431},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/066.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HelftIP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Inoue90,
author = {Katsumi Inoue},
editor = {Jo{\~{a}}o P. Martins and
Michael Reinfrank},
title = {An Abductive Procedure for the {CMS/ATMS}},
booktitle = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
August 6, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {515},
pages = {34--53},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0037028},
doi = {10.1007/BFB0037028},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Inoue90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/OhtaI90,
author = {Yoshihiko Ohta and
Katsumi Inoue},
title = {A forward-chaining multiple-context reasoner and its application to
logic design},
booktitle = {Proceedings of the 2nd International {IEEE} Conference on Tools for
Artificial Intelligence, {TAI} 1990, Herndon, VA, USA, November 6-9,
1990},
pages = {386--392},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/TAI.1990.130368},
doi = {10.1109/TAI.1990.130368},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/OhtaI90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Inoue88,
author = {Katsumi Inoue},
title = {Problem Solving with Hypothetical Reasoning},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {1275--1281},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Inoue88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-07 22:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
