3 citations · 7 across the 5 of their papers we have counts for
5 papers
Human Conditional Reasoning in Answer Set Programming
Chiaki Sakama
Given a conditional sentence "P=>Q" (if P then Q) and respective facts, four different types of inferences are observed in human reasoning. Affirming the antecedent (AA) (or modus…
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
Algebraic characterization of logic programs has received increasing attention in recent years. Researchers attempt to exploit connections between linear algebraic computation and…
Partial Evaluation of Logic Programs in Vector Spaces
Chiaki Sakama, Hien D. Nguyen, Taisuke Sato +1
In this paper, we introduce methods of encoding propositional logic programs in vector spaces. Interpretations are represented by vectors and programs are represented by matrices.…
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning
Katsumi Inoue, Chiaki Sakama
Knowledge Representation and Reasoning and Machine Learning are two important fields in AI. Nonmonotonic logic programming (NMLP) and Answer Set Programming (ASP) provide formal la…
Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction
Katsumi Inoue, Chiaki Sakama, Lena Wiese
Publishing private data on external servers incurs the problem of how to avoid unwanted disclosure of confidential data. We study a problem of confidentiality in extended disjuncti…