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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox
Picture for Katsumi Inoue

Katsumi Inoue

Editors

Action Languages Based Actual Causality in Ethical Decision Making Contexts



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

Figure 1 for Action Languages Based Actual Causality in Ethical Decision Making Contexts
Figure 2 for Action Languages Based Actual Causality in Ethical Decision Making Contexts
Figure 3 for Action Languages Based Actual Causality in Ethical Decision Making Contexts
Figure 4 for Action Languages Based Actual Causality in Ethical Decision Making Contexts
* 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

Figure 1 for Learning First-Order Rules with Differentiable Logic Program Semantics
Figure 2 for Learning First-Order Rules with Differentiable Logic Program Semantics
Figure 3 for Learning First-Order Rules with Differentiable Logic Program Semantics
Figure 4 for Learning First-Order Rules with Differentiable Logic Program Semantics
* 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

Figure 1 for Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming
Figure 2 for Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming
Figure 3 for Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming
Figure 4 for Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming
* 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

Figure 1 for Partial Evaluation of Logic Programs in Vector Spaces
Figure 2 for Partial Evaluation of Logic Programs in Vector Spaces
Figure 3 for Partial Evaluation of Logic Programs in Vector Spaces
Figure 4 for Partial Evaluation of Logic Programs in Vector Spaces
* 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

Figure 1 for Characterization of Logic Program Revision as an Extension of Propositional Revision
Figure 2 for Characterization of Logic Program Revision as an Extension of Propositional Revision
Figure 3 for Characterization of Logic Program Revision as an Extension of Propositional Revision
Figure 4 for Characterization of Logic Program Revision as an Extension of Propositional Revision
* 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

Figure 1 for Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Figure 2 for Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
* 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

Figure 1 for Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning
Figure 2 for Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning
Figure 3 for Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning
Figure 4 for Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning
* 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

Figure 1 for Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
Figure 2 for Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
Figure 3 for Encoding Higher Level Extensions of Petri Nets in Answer Set Programming

   Access Paper or Ask Questions

Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning



Saadat Anwar , Chitta Baral , Katsumi Inoue

Figure 1 for Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning
Figure 2 for Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning
Figure 3 for Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning
Figure 4 for Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning

   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