3 citations · 3 across the 2 of their papers we have counts for
3 papers
cs.AI2023
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…
cs.LO2020★ 3 cited
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…
cs.AI2018
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.…