Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Action Languages Based Actual Causality in Ethical Decision Making Contexts



Camilo Sarmiento , Gauvain Bourgne , Daniele Cavalli , Katsumi Inoue , Jean-Gabriel Ganascia

* 19 pages, 5 figures 

   Access Paper or Ask Questions

Learning First-Order Rules with Differentiable Logic Program Semantics



Kun Gao , Katsumi Inoue , Yongzhi Cao , Hanpin Wang

* Accepted by IJCAI 2022 

   Access Paper or Ask Questions

Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming



Akihiro Takemura , Katsumi Inoue

* EPTCS 345, 2021, pp. 127-140 
* In Proceedings ICLP 2021, arXiv:2109.07914 

   Access Paper or Ask Questions

Partial Evaluation of Logic Programs in Vector Spaces



Chiaki Sakama , Hien D. Nguyen , Taisuke Sato , Katsumi Inoue

* Proceedings of the 11th Workshop on Answer Set Programming and Other Computing Paradigms 2018 

   Access Paper or Ask Questions

Characterization of Logic Program Revision as an Extension of Propositional Revision



Nicolas Schwind , Katsumi Inoue

* Theory and Practice of Logic Programming 16 (2015) 111-138 
* 42 pages, 5 figures, to appear in Theory and Practice of Logic Programming (accepted in June 2015) 

   Access Paper or Ask Questions

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming



Mutsunori Banbara , Martin Gebser , Katsumi Inoue , Torsten Schaub , Takehide Soh , Naoyuki Tamura , Matthias Weise

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey 

   Access Paper or Ask Questions

Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning



Katsumi Inoue , Chiaki Sakama

* 67 pages, 5 papers, 1 abstract, 1 cover 

   Access Paper or Ask Questions

Encoding Higher Level Extensions of Petri Nets in Answer Set Programming



Saadat Anwar , Chitta Baral , Katsumi Inoue


   Access Paper or Ask Questions

Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning



Saadat Anwar , Chitta Baral , Katsumi Inoue


   Access Paper or Ask Questions

Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction



Katsumi Inoue , Chiaki Sakama , Lena Wiese

* Paper appears in the Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) 

   Access Paper or Ask Questions