15 citations · 53 across the 16 of their papers we have counts for
10 papers · 1 filter
Bounded Combinatorial Reconfiguration with Answer Set Programming
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue +1
We develop an approach called bounded combinatorial reconfiguration for solving combinatorial reconfiguration problems based on Answer Set Programming (ASP). The general task is to…
Learning First-Order Rules with Differentiable Logic Program Semantics
Kun Gao, Katsumi Inoue, Yongzhi Cao +1
Learning first-order logic programs (LPs) from relational facts which yields intuitive insights into the data is a challenging topic in neuro-symbolic research. We introduce a nove…
Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming
Akihiro Takemura, Katsumi Inoue
We propose a method for generating explainable rule sets from tree-ensemble learners using Answer Set Programming (ASP). To this end, we adopt a decompositional approach where the…
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.…
Characterization of Logic Program Revision as an Extension of Propositional Revision
Nicolas Schwind, Katsumi Inoue
We address the problem of belief revision of logic programs, i.e., how to incorporate to a logic program P a new logic program Q. Based on the structure of SE interpretations, Delg…
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Mutsunori Banbara, Martin Gebser, Katsumi Inoue +4
Encoding finite linear CSPs as Boolean formulas and solving them by using modern SAT solvers has proven to be highly effective, as exemplified by the award-winning sugar system. We…
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…
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
Saadat Anwar, Chitta Baral, Katsumi Inoue
Answering realistic questions about biological systems and pathways similar to the ones used by text books to test understanding of students about biological systems is one of our…
Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning
Saadat Anwar, Chitta Baral, Katsumi Inoue
One of our long term research goals is to develop systems to answer realistic questions (e.g., some mentioned in textbooks) about biological pathways that a biologist may ask. To a…
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…