| 2026 | KR | Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications. | Yvon K. Awuklu, Meghyn Bienvenu, Katsumi Inoue, Vianney Jouhet, Fleur Mougin |
| 2026 | KR | Probabilistic Abduction in a Fuzzy Logic Framework. | Tommaso Flaminio, Katsumi Inoue, Daniil Kozhemiachenko |
| 2026 | KR | Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning. | Akihiro Takemura, Katsumi Inoue, Masaaki Nishino |
| 2025 | ICLR | Differentiable Rule Induction from Raw Sequence Inputs. | Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, Yang Feng |
| 2025 | IJCAI | Iterated Belief Change as Learning. | Nicolas Schwind, Katsumi Inoue, Sbastien Konieczny, Pierre Marquis |
| 2025 | KR | A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases. | Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean |
| 2025 | KR | Complexity of Abduction in Łukasiewicz Logic. | Katsumi Inoue, Daniil Kozhemiachenko |
| 2025 | NeSy | Disentangling Neural Disjunctive Normal Form Models. | Kexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo |
| 2025 | SAT | SAT-Based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints. | Ryoga Ohashi, Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Katsumi Inoue, Naoyuki Tamura |
| 2024 | AAAI | BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change. | Nicolas Schwind, Katsumi Inoue, Sbastien Konieczny, Pierre Marquis |
| 2024 | ECAI | Differentiable Logic Programming for Distant Supervision. | Akihiro Takemura, Katsumi Inoue |
| 2024 | FLOPS | Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract). | Katsumi Inoue |
| 2024 | IJCAI | A differentiable first-order rule learner for inductive logic programming (Abstract Reprint). | Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang |
| 2024 | ICTAI | Linear Algebraic Partial Evaluation of Logic Programs. | Tuan Nguyen, Katsumi Inoue, Chiaki Sakama |
| 2024 | KR | Abductive Reasoning in a Paraconsistent Framework. | Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko |
| 2024 | KR | Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. | Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara |
| 2024 | LPNMR | ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. | Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara |
| 2024 | NeSy | Variable Assignment Invariant Neural Networks for Learning Logic Programs. | Yin Jun Phua, Katsumi Inoue |
| 2024 | WALCOM | Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. | Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara |
| 2023 | AAAI | Editing Boolean Classifiers: A Belief Change Perspective. | Nicolas Schwind, Katsumi Inoue, Pierre Marquis |
| 2023 | ICAART | On Converting Logic Programs Into Matrices. | Tuan Nguyen Quoc, Katsumi Inoue |
| 2023 | ILP | Learning Strategies of Inductive Logic Programming Using Reinforcement Learning. | Takeru Isobe, Katsumi Inoue |
| 2023 | ILP | GNN Based Extraction of Minimal Unsatisfiable Subsets. | Sota Moriyama, Koji Watanabe, Katsumi Inoue |
| 2023 | JELIA | Hamiltonian Cycle Reconfiguration with Answer Set Programming. | Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura |
| 2023 | JELIA | Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. | Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub |
| 2023 | PADL | Linear Algebraic Abduction with Partial Evaluation. | Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama |
| 2022 | IJCAI | Learning First-Order Rules with Differentiable Logic Program Semantics. | Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang |
| 2022 | ILP | Diagnosis of Event Sequences with LFIT. | Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue |
| 2022 | LPNMR | Gradient-Based Supported Model Computation in Vector Spaces. | Akihiro Takemura, Katsumi Inoue |
| 2022 | PRIMA | Action Languages Based Actual Causality in Decision Making Contexts. | Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue, Jean-Gabriel Ganascia |
| 2021 | ICLP | Gradient-Based Supported Model Computation in Vector Spaces. | Akihiro Takemura, Katsumi Inoue |
| 2021 | ILP | Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance. | Yin Jun Phua, Katsumi Inoue |
| 2021 | ICTAI | A Robust Approach to Noise for Plan Recognition in RTS Games. | Guillaume Lorthioir, Katsumi Inoue |
| 2021 | ICTAI | Linear Algebraic Computation of Propositional Horn Abduction. | Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama |
| 2020 | ICAART | From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces. | Taisuke Sato, Chiaki Sakama, Katsumi Inoue |
| 2020 | IJCAI | Design Adaptive AI for RTS Game by Learning Player's Build Order. | Guillaume Lorthioir, Katsumi Inoue |
| 2020 | SAT | Reproducible Efficient Parallel SAT Solving. | Hidetomo Nabeshima, Katsumi Inoue |
| 2019 | ECSQARU | Ordering Argumentation Frameworks. | Chiaki Sakama, Katsumi Inoue |
| 2019 | IJCAI | Meta-Interpretive Learning Using HEX-Programs. | Tobias Kaminski, Thomas Eiter, Katsumi Inoue |
| 2019 | IJCAI | What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario. | Nicolas Schwind, Katsumi Inoue, Sbastien Konieczny, Jean-Marie Lagniez, Pierre Marquis |
| 2019 | ILP | Learning Logic Programs from Noisy State Transition Data. | Yin Jun Phua, Katsumi Inoue |
| 2019 | ISCAS | Live Demonstration: Real-Time Auto-Exposure Histogram Equalization Video-System using Frequent Items Counter. | Takahiro Hosaka, Trong-Thuc Hoang, Van-Phuc Hoang, Duc-Hung Le, Katsumi Inoue, Cong-Kha Pham |
| 2019 | ISCAS | A 1.2-V 90-MHz Bitmap Index Creation Accelerator with 0.27-nW Standby Power on 65-nm Silicon-On-Thin-Box (SOTB) CMOS. | Xuan-Thuan Nguyen, Trong-Thuc Hoang, Katsumi Inoue, Ngoc-Tu Bui, Van-Phuc Hoang, Cong-Kha Pham |
| 2019 | PRIMA | Identifying Belief Sequences in a Network of Communicating Agents. | Gauvain Bourgne, Yutaro Totsuka, Nicolas Schwind, Katsumi Inoue |
| 2018 | ICLP | Learning Commonsense Knowledge Through Interactive Dialogue. | Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue |
| 2018 | IJCAI | Abducing Relations in Continuous Spaces. | Taisuke Sato, Katsumi Inoue, Chiaki Sakama |
| 2018 | ILP | Learning Dynamics with Synchronous, Asynchronous and General Semantics. | Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue |
| 2018 | ISCAS | A 219-μW 1D-to-2D-Based Priority Encoder on 65-nm SOTB CMOS. | Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham |
| 2018 | KR | Probabilistic Coalition Structure Generation. | Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis |
| 2018 | PRIMA | Robust Coalition Structure Generation. | Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis |
| 2017 | ILP | Learning Logic Program Representation for Delayed Systems With Limited Training Data. | Yin Jun Phua, Tony Ribeiro, Sophie Tourret, Katsumi Inoue |
| 2017 | ILP | Inductive Learning from State Transitions over Continuous Domains. | Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue |
| 2017 | ISCAS | Highly parallel bitmap-based regular expression matching for text analytics. | Xuan-Thuan Nguyen, Hong-Thu Nguyen, Katsumi Inoue, Osamu Shimojo, Cong-Kha Pham |
| 2017 | ISNN | Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks. | Sophie Tourret, Enguerrand Gentet, Katsumi Inoue |
| 2017 | KSEM | Linear Algebraic Characterization of Logic Programs. | Chiaki Sakama, Katsumi Inoue, Taisuke Sato |
| 2017 | LPNMR | catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. | Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura |
| 2017 | SAT | Coverage-Based Clause Reduction Heuristics for CDCL Solvers. | Hidetomo Nabeshima, Katsumi Inoue |
| 2016 | AAAI | Inductive Logic Programming: Challenges. | Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto |
| 2016 | IJCAI | Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation. | Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue |
| 2016 | IJCAI | Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?. | Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sbastien Konieczny, Pierre Marquis |
| 2016 | ILP | Learning from Interpretation Transition using Feed-Forward Neural Networks. | Enguerrand Gentet, Sophie Tourret, Katsumi Inoue |
| 2016 | ISCAS | An efficient FPGA-based database processor for fast database analytics. | Xuan-Thuan Nguyen, Hong-Thu Nguyen, Trong-Thuc Hoang, Katsumi Inoue, Osamu Shimojo, Toshio Murayama, Kenji Tominaga, Cong-Kha Pham |
| 2016 | KR | Representative Solutions for Multi-Objective Constraint Optimization Problems. | Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue |
| 2015 | AAAI | Belief Revision Games. | Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sbastien Konieczny, Pierre Marquis |
| 2015 | ICAART | Finding Resilient Solutions for Dynamic Multi-Objective Constraint Optimization Problems. | Maxime Clement, Tenda Okimoto, Nicolas Schwind, Katsumi Inoue |
| 2015 | ICLP | Learning Probabilistic Action Models from Interpretation Transitions. | David Martnez, Tony Ribeiro, Katsumi Inoue, Guillem Aleny, Carme Torras |
| 2015 | ICLP | Logic Programming for Cellular Automata. | Marcus Vlker, Katsumi Inoue |
| 2015 | ICMLA | Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations. | Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama |
| 2015 | ILP | Completing signaling networks by abductive reasoning with perturbation experiments. | Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux |
| 2015 | ILP | Learning Inference by Induction. | Chiaki Sakama, Tony Ribeiro, Katsumi Inoue |
| 2015 | LPNMR | aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. | Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise |
| 2014 | ICAART | Modeling and Algorithm for Dynamic Multi-objective Weighted Constraint Satisfaction Problem. | Tenda Okimoto, Tony Ribeiro, Maxime Clement, Katsumi Inoue |
| 2014 | ILP | Learning Prime Implicant Conditions from Interpretation Transition. | Tony Ribeiro, Katsumi Inoue |
| 2014 | ICTAI | Utilitarian and Egalitarian Solutions for Multi-objective Constraint Optimization. | Nicolas Schwind, Tenda Okimoto, Sbastien Konieczny, Maxime Wack, Katsumi Inoue |
| 2014 | PRIMA | Local Search Based Approximate Algorithm for Multi-Objective DCOPs. | Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue |
| 2013 | DSN | Cyber security problem based on Multi-Objective Distributed Constraint Optimization technique. | Tenda Okimoto, Naoto Ikegai, Katsumi Inoue, Hitoshi Okada, Tony Ribeiro, Hiroshi Maruyama |
| 2013 | ILP | A BDD-Based Algorithm for Learning from Interpretation Transition. | Tony Ribeiro, Katsumi Inoue, Chiaki Sakama |
| 2013 | ISCAS | A fast CAM-based image matching system on FPGA. | Duc-Hung Le, Tran Bao Thuong Cao, Katsumi Inoue, Cong-Kha Pham |
| 2013 | ICSE | Learning revised models for planning in adaptive systems. | Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue |
| 2013 | ICTAI | On-the-Fly Lazy Clause Simplification Based on Binary Resolvents. | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
| 2013 | LPNMR | Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. | Saadat Anwar, Chitta Baral, Katsumi Inoue |
| 2013 | LPNMR | Characterization Theorems for Revision of Logic Programs. | Nicolas Schwind, Katsumi Inoue |
| 2013 | PRIMA | Model and Algorithm for Dynamic Multi-Objective Distributed Optimization. | Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue |
| 2012 | AAMAS | Finding new consequences of an observation in a system of agents. | Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet |
| 2012 | ICLP | Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix. | Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue |
| 2012 | ILP | MicroRNAs Robustness in Genetic Regulatory Networks. | Andrei Doncescu, Katsumi Inoue, Jacques Demongeot |
| 2012 | ILP | Heuristic Inverse Subsumption in Full-Clausal Theories. | Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma |
| 2012 | ILP | Non-monotone Dualization via Monotone Dualization. | Yoshitaka Yamamoto, Koji Iwanuma, Katsumi Inoue |
| 2011 | AINA | Application of Meta-level Abduction for the Treatment of Hypertension Using SOLAR. | Grgoire Lejay, Katsumi Inoue, Andrei Doncescu |
| 2011 | FQAS | Generalizing Conjunctive Queries for Informative Answers. | Katsumi Inoue, Lena Wiese |
| 2011 | ICAART | Complete Distributed Consequence Finding with Message Passing. | Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto |
| 2011 | ICAART | Distributed Consequence Finding: Partition-Based and Cooperative Approaches. | Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto |
| 2011 | IJCAI | Logic Programming for Boolean Networks. | Katsumi Inoue |
| 2011 | ILP | Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding. | Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue |
| 2011 | ILP | DNF Hypotheses in Explanatory Induction. | Katsumi Inoue |
| 2011 | ILP | Comparison of Upward and Downward Generalizations in CF-Induction. | Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma |
| 2011 | ICTAI | Partition-Based Consequence Finding. | Gauvain Bourgne, Katsumi Inoue |
| 2010 | AINA | Main Pathway Discovery in Metabolic Pathways. | Katsumi Inoue, Andrei Doncescu, Gabriel Synnaeve, Nabil Kabbaj |
| 2010 | ECAI | Abduction of distributed theories through local interactions. | Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet |
| 2010 | ECAI | Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation. | Takehide Soh, Katsumi Inoue |
| 2010 | ICLP | Finding Minimal Reaction Sets in Large Metabolic Pathways. | Takehide Soh, Katsumi Inoue |
| 2010 | ILP | Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction. | Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima |
| 2010 | LPAR | Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers. | Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue |
| 2009 | AINA | Abductive Reasoning in Cancer Therapy. | Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu |
| 2009 | IJCAI | Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. | Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima |
| 2009 | ILP | Discovering Rules by Meta-level Abduction. | Katsumi Inoue, Koichi Furukawa, Ikuo Kobayashi, Hidetomo Nabeshima |
| 2009 | ISDA | Grammatical Concept Representation for Randomised Optimisation Algorithms in Relational Learning. | Petr Buryan, Jir Kubalk, Katsumi Inoue |
| 2008 | AINA | Estimation of Possible Reaction States in Metabolic Pathways Using Inductive Logic Programming. | Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu |
| 2008 | ECAI | Comparing Abductive Theories. | Katsumi Inoue, Chiaki Sakama |
| 2008 | ILP | Brave Induction. | Chiaki Sakama, Katsumi Inoue |
| 2008 | LPAR | Complete Pruning Methods and a Practical Search Strategy for SOL. | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
| 2007 | AAAI | Generality and Equivalence Relations in Default Logic. | Katsumi Inoue, Chiaki Sakama |
| 2007 | AINA | Biological Systems Analysis Using Inductive Logic Programming. | Andrei Doncescu, Yoshitaka Yamamoto, Katsumi Inoue |
| 2007 | DIS | A Consequence Finding Approach for Full Clausal Abduction. | Oliver Ray, Katsumi Inoue |
| 2007 | ILP | Mode-Directed Inverse Entailment for Full Clausal Theories. | Oliver Ray, Katsumi Inoue |
| 2006 | AINA | A web architecture for data mining in biology. | Andrei Doncescu, Muhammad Farmer, Katsumi Inoue, Gilles Richard |
| 2006 | ATC | Automated Abduction for Computer Forensics. | Andrei Doncescu, Katsumi Inoue |
| 2006 | ICLP | Generality Relations in Answer Set Programming. | Katsumi Inoue, Chiaki Sakama |
| 2006 | LOPSTR | Constructing Consensus Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 2005 | IJCAI | Equivalence in Abductive Logic. | Katsumi Inoue, Chiaki Sakama |
| 2005 | ILP | Inducing Causal Laws by Regular Inference. | Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima |
| 2005 | ILP | Inductive Equivalence of Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 2005 | ICTAC | Upside-Down Transformation in SOL/Connection Tableaux and Its Application. | Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima |
| 2004 | FQAS | Consequence Finding in Default Theories. | Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima |
| 2004 | ICLP | Compiling Prioritized Circumscription into Answer Set Programming. | Toshiko Wakaki, Katsumi Inoue |
| 2004 | ILP | Circumscription Policies for Induction. | Katsumi Inoue, Haruka Saito |
| 2004 | JELIA | Equivalence of Logic Programs Under Updates. | Katsumi Inoue, Chiaki Sakama |
| 2004 | JELIA | The PLP System. | Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta |
| 2003 | LPAR | Computing Preferred Answer Sets in Answer Set Programming. | Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta |
| 2003 | TABLEAUX | SOLAR: A Consequence Finding System for Advanced Reasoning. | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
| 2002 | ICLP | Disjunctive Explanations. | Katsumi Inoue, Chiaki Sakama |
| 2002 | JELIA | Minimal Answer Computation and SOL. | Koji Iwanuma, Katsumi Inoue |
| 2001 | ILP | Induction, Abduction, and Consequence-Finding. | Katsumi Inoue |
| 2000 | ICTAI | Implementing an action language using a SAT solver. | Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda |
| 1999 | CEC | Distance based hybrid genetic algorithm: an application for the graph coloring problem. | Kiyoharu Tagawa, Kenji Kanesige, Katsumi Inoue, Hiromasa Haneda |
| 1999 | IJCAI | Abducing Priorities to Derive Intended Conclusions. | Katsumi Inoue, Chiaki Sakama |
| 1999 | LPNMR | Updating Extended Logic Programs through Abduction. | Chiaki Sakama, Katsumi Inoue |
| 1998 | CADE | On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. | Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa |
| 1998 | KR | Specifying Transactions for Extended Abduction. | Katsumi Inoue, Chiaki Sakama |
| 1997 | CADE | Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. | Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura |
| 1997 | IJCAI | Learning Extended Logic Programs. | Katsumi Inoue, Yoshimitsu Kudoh |
| 1996 | ICLP | Representing Priorities in Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 1995 | ICLP | The Effect of Partial Deduction in Abductive Reasoning. | Chiaki Sakama, Katsumi Inoue |
| 1995 | IJCAI | Abductive Framework for Nonmonotonic Theory Change. | Katsumi Inoue, Chiaki Sakama |
| 1995 | LPNMR | Embedding Circumscriptive Theories in General Disjunctive Programs. | Chiaki Sakama, Katsumi Inoue |
| 1994 | ICLP | On the Equivalence between Disjunctive and Abductive Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 1994 | KR | On Positive Occurrences of Negation as Failure. | Katsumi Inoue, Chiaki Sakama |
| 1993 | ICLP | Transforming Abductive Logic Programs to Disjunctive Programs. | Katsumi Inoue, Chiaki Sakama |
| 1993 | ICLP | Negation in Disjunctive Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 1993 | IJCAI | Bottom-up Abduction by Model Generation. | Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima |
| 1993 | LPNMR | Relating Disjunctive Logic Programs to Default Theories. | Chiaki Sakama, Katsumi Inoue |
| 1992 | CADE | Embedding Negation as Failure into a Model Generation Theorem Prover. | Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa |
| 1991 | ICLP | Extended Logic Programs with Default Assumptions. | Katsumi Inoue |
| 1991 | IJCAI | Query Answering in Circumscription. | Nicolas Helft, Katsumi Inoue, David Poole |
| 1991 | IJCAI | Consequence-Finding Based on Ordered Linear Resolution. | Katsumi Inoue |
| 1990 | ECAI | An Abductive Procedure for the CMS/ATMS. | Katsumi Inoue |
| 1990 | ICTAI | A forward-chaining multiple-context reasoner and its application to logic design. | Yoshihiko Ohta, Katsumi Inoue |