15 citations · 53 across the 16 of their papers we have counts for
16 papers
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…
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.…
A 1.2-V 162.9-pJ/cycle Bitmap Index Creation Core with 0.31-pW/bit Standby Power on 65-nm SOTB
Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen +2
The ability to maximize the performance during peak workload hours and minimize the power consumption during off-peak time plays a significant role in the energy-efficient systems.…
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Meta-Interpretive Learning (MIL) learns logic programs from examples by instantiating meta-rules, which is implemented by the Metagol system based on Prolog. Viewing MIL-problems a…
An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation
Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen +2
Bitmap index is recognized as a promising candidate for online analytics processing systems, because it effectively supports not only parallel processing but also complex and multi…
An Efficient I/O Architecture for RAM-based Content-Addressable Memory on FPGA
Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen +2
Despite the impressive search rate of one key per clock cycle, the update stage of a random-access-memory-based content-addressable-memory (RAM-based CAM) always suffers high laten…
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…
Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information
Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
Automated verification of living organism models allows us to gain previously unknown knowledge about underlying biological processes. In this paper, we show the benefits to use pa…
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…