Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.