Katsumi Inoue

Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

ASP-Based Large Neighborhood Prioritized Search for Course Timetabling.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

A differentiable first-order rule learner for inductive logic programming (Abstract Reprint).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

Differentiable Logic Programming for Distant Supervision.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Algorithms for partially robust team formation.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., October, 2023

Learning State Transition Rules from High-Dimensional Time Series Data with Recurrent Temporal Gaussian-Bernoulli Restricted Boltzmann Machines.

[BibT_eX]

[DOI]

Koji Watanabe

Hum. Centric Intell. Syst., September, 2023

Differentiable learning of matricized DNFs and its application to Boolean networks.

[BibT_eX]

[DOI]

Mach. Learn., 2023

Structured World Representations in Maze-Solving Transformers.

[BibT_eX]

[DOI]

Michael I. Ivanitskiy

Cecilia G. Diniz Behn

Samy Wu Fung

CoRR, 2023

Bounded Combinatorial Reconfiguration with Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2023

Towards end-to-end ASP computation.

[BibT_eX]

[DOI]

CoRR, 2023

Linearly Structured World Representations in Maze-Solving Transformers.

[BibT_eX]

[DOI]

Michael I. Ivanitskiy

Cecilia G. Diniz Behn

Samy Wu Fung

Proceedings of UniReps: the First Workshop on Unifying Representations in Neural Models, 2023

Linear Algebraic Abduction with Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2023

Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Hamiltonian Cycle Reconfiguration with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

GNN Based Extraction of Minimal Unsatisfiable Subsets.

[BibT_eX]

[DOI]

Sota Moriyama

Koji Watanabe

Proceedings of the Inductive Logic Programming - 32nd International Conference, 2023

Learning Strategies of Inductive Logic Programming Using Reinforcement Learning.

[BibT_eX]

[DOI]

Takeru Isobe

Proceedings of the Inductive Logic Programming - 32nd International Conference, 2023

On Converting Logic Programs Into Matrices.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Editing Boolean Classifiers: A Belief Change Perspective.

[BibT_eX]

[DOI]

Nicolas Schwind

Pierre Marquis

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Learning any memory-less discrete semantics for dynamical systems represented by logic programs.

[BibT_eX]

[DOI]

Mach. Learn., 2022

Learning from interpretation transition using differentiable logic programming semantics.

[BibT_eX]

[DOI]

Mach. Learn., 2022

Explainable Model Fusion for Customer Journey Mapping.

[BibT_eX]

[DOI]

Kotaro Okazaki

Frontiers Artif. Intell., 2022

Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines.

[BibT_eX]

[DOI]

Koji Watanabe

CoRR, 2022

Action Languages Based Actual Causality in Ethical Decision Making Contexts.

[BibT_eX]

[DOI]

Jean-Gabriel Ganascia

CoRR, 2022

Action Languages Based Actual Causality in Decision Making Contexts.

[BibT_eX]

[DOI]

Camilo Sarmiento

Jean-Gabriel Ganascia

Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

Diagnosis of Event Sequences with LFIT.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 31st International Conference, 2022

Learning First-Order Rules with Differentiable Logic Program Semantics.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

High-speed FPGA-based Design and Implementation of Text Search Processor.

[BibT_eX]

[DOI]

Proceedings of the International Conference on IC Design and Technology, 2022

2021

An efficient reasoning method on logic programming using partial evaluation in vector spaces.

[BibT_eX]

[DOI]

J. Log. Comput., 2021

Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

Logic programming in tensor spaces.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2021

On the computation of probabilistic coalition structures.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2021

Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

Linear Algebraic Computation of Propositional Horn Abduction.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

A Robust Approach to Noise for Plan Recognition in RTS Games.

[BibT_eX]

[DOI]

Guillaume Lorthioir

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Gradient-Based Supported Model Computation in Vector Spaces.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Interpretable Utility-based Models Applied to the FightingICE Platform.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE Conference on Games (CoG), 2021

Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Resilient Team Formation with Stabilisability of Agent Networks for Task Allocation.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2020

A 0.9-V 50-MHz 256-bit 1D-to-2D-based single/multi-match priority encoder with 0.67-nW standby power on 65-nm SOTB CMOS.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2020

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Computational intractability law molds the topology of biological networks.

[BibT_eX]

[DOI]

Appl. Netw. Sci., 2020

Reproducible Efficient Parallel SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Static Analysis and Stochastic Search for Reachability Problem.

[BibT_eX]

[DOI]

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

Design Adaptive AI for RTS Game by Learning Player's Build Order.

[BibT_eX]

[DOI]

Guillaume Lorthioir

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2019

An Efficient I/O Architecture for RAM-Based Content-Addressable Memory on FPGA.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, 2019

Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2019

From Fifth Generation Computing to Skill Science - A Biographical Essay of Koichi Furukawa.

[BibT_eX]

[DOI]

Tomonobu Ozaki

Randy Goebel

New Gener. Comput., 2019

Disjunctive Abduction.

[BibT_eX]

[DOI]

New Gener. Comput., 2019

A 1.2-V 162.9 pJ/cycle bitmap index creation core with 0.31-pW/bit standby power on 65-nm SOTB.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2019

Learning Inference Rules from Data.

[BibT_eX]

[DOI]

Künstliche Intell., 2019

Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge.

[BibT_eX]

[DOI]

FLAP, 2019

teaspoon : solving the curriculum-based course timetabling problems with answer set programming.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2019

Identifying Belief Sequences in a Network of Communicating Agents.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

Live Demonstration: Real-Time Auto-Exposure Histogram Equalization Video-System using Frequent Items Counter.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

Learning Logic Programs from Noisy State Transition Data.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 29th International Conference, 2019

What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Meta-Interpretive Learning Using HEX-Programs.

[BibT_eX]

[DOI]

Tobias Kaminski

Thomas Eiter

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Ordering Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018

Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning.

[BibT_eX]

[DOI]

Tobias Kaminski

Thomas Eiter

Theory Pract. Log. Program., 2018

Frequent items counter based on binary decoders.

[BibT_eX]

[DOI]

Trong-Thuc Hoang

Cong-Kha Pham

IEICE Electron. Express, 2018

Partial Evaluation of Logic Programs in Vector Spaces.

[BibT_eX]

[DOI]

CoRR, 2018

An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation.

[BibT_eX]

[DOI]

IEEE Access, 2018

VLSI Design of Frequent Items Counting Using Binary Decoders Applied to 8-bit per Item Case-study.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Ph.D. Research in Microelectronics and Electronics, 2018

Robust Coalition Structure Generation.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Computing Logic Programming Semantics in Linear Algebra.

[BibT_eX]

[DOI]

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2018

Identifying Goals of Agents by Learning from Observations.

[BibT_eX]

[DOI]

Guillaume Lorthioir

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2018

Probabilistic Coalition Structure Generation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

A 219-μW 1D-to-2D-Based Priority Encoder on 65-nm SOTB CMOS.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Learning Dynamics with Synchronous, Asynchronous and General Semantics.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 28th International Conference, 2018

Abducing Relations in Continuous Spaces.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Learning Commonsense Knowledge Through Interactive Dialogue.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

Recoverable Team Formation: Building Teams Resilient to Change.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Multi-Objective Distributed Pseudo-Tree Optimization.

[BibT_eX]

[DOI]

Maxime Clement

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Special issue on inductive logic programming.

[BibT_eX]

[DOI]

Hayato Ohwada

Akihiro Yamamoto

Mach. Learn., 2017

Relational Reinforcement Learning for Planning with Exogenous Effects.

[BibT_eX]

[DOI]

David Martínez Martínez

J. Mach. Learn. Res., 2017

Distributed Pareto Local Search for Multi-Objective DCOPs.

[BibT_eX]

[DOI]

Maxime Clement

IEICE Trans. Inf. Syst., 2017

Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data.

[BibT_eX]

[DOI]

Algorithms, 2017

Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences.

[BibT_eX]

[DOI]

Kotaro Okazaki

Proceedings of the 19th IEEE Conference on Business Informatics, 2017

Coverage-Based Clause Reduction Heuristics for CDCL Solvers.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

FPGA-based frequent items counting using matrix of equality comparators.

[BibT_eX]

[DOI]

Proceedings of the IEEE 60th International Midwest Symposium on Circuits and Systems, 2017

catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Linear Algebraic Characterization of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2017

Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks.

[BibT_eX]

[DOI]

Sophie Tourret

Enguerrand Gentet

Proceedings of the Advances in Neural Networks - ISNN 2017 - 14th International Symposium, 2017

Highly parallel bitmap-based regular expression matching for text analytics.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

Inductive Learning from State Transitions over Continuous Domains.

[BibT_eX]

[DOI]

Domenico Borzacchiello

Francisco Chinesta

Olivier F. Roux

Proceedings of the Inductive Logic Programming - 27th International Conference, 2017

Learning Logic Program Representation for Delayed Systems With Limited Training Data.

[BibT_eX]

[DOI]

Proceedings of the Late Breaking Papers of the 27th International Conference on Inductive Logic Programming, 2017

2016

Characterization of logic program revision as an extension of propositional revision.

[BibT_eX]

[DOI]

Nicolas Schwind

Theory Pract. Log. Program., 2016

Formalization of resilience for constraint-based dynamic systems.

[BibT_eX]

[DOI]

J. Reliab. Intell. Environ., 2016

Abduction, conversational implicature and misleading in human dialogues.

[BibT_eX]

[DOI]

Log. J. IGPL, 2016

Meta-Level Abduction.

[BibT_eX]

[DOI]

FLAP, 2016

Analyzing resilience properties in oscillatory biological systems using parametric model checking.

[BibT_eX]

[DOI]

Alexander Andreychenko

Morgan Magnin

Biosyst., 2016

Representative Solutions for Multi-Objective Constraint Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

An efficient FPGA-based database processor for fast database analytics.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Learning from Interpretation Transition using Feed-Forward Neural Networks.

[BibT_eX]

[DOI]

Enguerrand Gentet

Sophie Tourret

Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), 2016

Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Inference of Delayed Biological Regulatory Networks from Time Series Data.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2016

Learning Relational Dynamics of Stochastic Domains for Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Inductive Logic Programming: Challenges.

[BibT_eX]

[DOI]

Hayato Ohwada

Akihiro Yamamoto

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Identification of biological regulatory networks from Process Hitting models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information.

[BibT_eX]

[DOI]

Alexander Andreychenko

Morgan Magnin

CoRR, 2015

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Learning Inference by Induction.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Completing signaling networks by abductive reasoning with perturbation experiments.

[BibT_eX]

[DOI]

Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015

Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

Logic Programming for Cellular Automata.

[BibT_eX]

[DOI]

Marcus Völker

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Learning Probabilistic Action Models from Interpretation Transitions.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Finding Resilient Solutions for Dynamic Multi-Objective Constraint Optimization Problems.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets.

[BibT_eX]

[DOI]

Alexander Andreychenko

Morgan Magnin

Proceedings of the Computational Methods in Systems Biology, 2015

How to Form a Task-Oriented Robust Team.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Can Machines Learn Logics?

[BibT_eX]

[DOI]

Proceedings of the Artificial General Intelligence, 2015

Abduction and Conversational Implicature (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 2015 AAAI Spring Symposia, 2015

Belief Revision Games.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Learning from interpretation transition.

[BibT_eX]

[DOI]

Mach. Learn., 2014

A Two-Phase Complete Algorithm for Multi-Objective Distributed Constraint Optimization.

[BibT_eX]

[DOI]

Alexandre Medi

J. Adv. Comput. Intell. Intell. Informatics, 2014

A CAM-Based Information Detection Hardware System for Fast Image Matching on FPGA.

[BibT_eX]

[DOI]

IEICE Trans. Electron., 2014

Local Search Based Approximate Algorithm for Multi-Objective DCOPs.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

Learning Prime Implicant Conditions from Interpretation Transition.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

Utilitarian and Egalitarian Solutions for Multi-objective Constraint Optimization.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Modeling and Algorithm for Dynamic Multi-objective Weighted Constraint Satisfaction Problem.

[BibT_eX]

[DOI]

Proceedings of the ICAART 2014, 2014

Completing SBGN-AF Networks by Logic-Based Hypothesis Finding.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Macro-Biology - First International Conference, 2014

How Social Identity May Matter Most in Brand Crisis Management.

[BibT_eX]

[DOI]

Rungsiman Nararatwong

Kotaro Okazaki

Hitoshi Okada

Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014

Lp-Norm based algorithm for multi-objective distributed constraint optimization.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Logical Modeling of Biological Systems.

[BibT_eX]

[DOI]

Luis Fariñas del Cerro

Bioengineering and Health Science Series, iSTE / Wiley, ISBN: 978-1-84821-680-8, 2014

2013

Combining Answer Set Programs for Adaptive and Reactive Reasoning.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Answer set programming as a modeling language for course timetabling.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning.

[BibT_eX]

[DOI]

Saadat Anwar

Chitta Baral

Theory Pract. Log. Program., 2013

Completing causal networks by meta-level abduction.

[BibT_eX]

[DOI]

Mach. Learn., 2013

Abduction, unpredictability and Garden of Eden.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

Design a Fast CAM-Based Exact Pattern Matching System on FPGA and 0.18µm CMOS Process.

[BibT_eX]

[DOI]

Duc-Hung Le

Cong-Kha Pham

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

CoRR, 2013

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2013

Model and Algorithm for Dynamic Multi-Objective Distributed Optimization.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

A CAM-based Information Detection Hardware System for fast exact pattern matching.

[BibT_eX]

[DOI]

Proceedings of the IEEE 56th International Midwest Symposium on Circuits and Systems, 2013

AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization.

[BibT_eX]

[DOI]

Maxime Clement

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2013

Characterization Theorems for Revision of Logic Programs.

[BibT_eX]

[DOI]

Nicolas Schwind

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Encoding Higher Level Extensions of Petri Nets in Answer Set Programming.

[BibT_eX]

[DOI]

Saadat Anwar

Chitta Baral

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

A fast CAM-based image matching system on FPGA.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

A BDD-Based Algorithm for Learning from Interpretation Transition.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 23rd International Conference, 2013

On-the-Fly Lazy Clause Simplification Based on Binary Resolvents.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Learning revised models for planning in adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

A fast CAM-based Watermarking extraction on FPGA.

[BibT_eX]

[DOI]

Proceedings of 2013 International Conference on IC Design & Technology, 2013

Cyber security problem based on Multi-Objective Distributed Constraint Optimization technique.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

Filtering of Unrelated Answers in a CooperativeQuery Answering System.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Advanced Data and Information Engineering, 2013

Systems resilience: a challenge problem for dynamic constraint-based agent systems.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Inverse subsumption for complete explanatory induction.

[BibT_eX]

[DOI]

Mach. Learn., 2012

ILP turns 20 - Biography and future challenges.

[BibT_eX]

[DOI]

Mach. Learn., 2012

An FPGA-Based Information Detection Hardware System Employing Multi-Match Content Addressable Memory.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Minimal Generalization for Conjunctive Queries.

[BibT_eX]

[DOI]

Thu-Le Pham

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2012

Non-monotone Dualization via Monotone Dualization.

[BibT_eX]

[DOI]

Proceedings of the Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming, 2012

Heuristic Inverse Subsumption in Full-Clausal Theories.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 22nd International Conference, 2012

MicroRNAs Robustness in Genetic Regulatory Networks.

[BibT_eX]

[DOI]

Jacques Demongeot

Proceedings of the Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming, 2012

Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix.

[BibT_eX]

[DOI]

Mutsunori Banbara

Naoyuki Tamura

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Implementing Inductive Concept Learning For Cooperative Query Answering.

[BibT_eX]

[DOI]

Proceedings of the Data Analysis, Machine Learning and Knowledge Discovery, 2012

Concretizing the Process Hitting into Biological Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2012

Oscillating Behavior of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

Finding new consequences of an observation in a system of agents.

[BibT_eX]

[DOI]

Nicolas Maudet

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

International Symposium on Symbolic Systems Biology (NII Shonan Meeting 2011-7).

[BibT_eX]

[DOI]

Katsuhisa Horimoto

NII Shonan Meet. Rep., 2011

Constraint-based probabilistic modeling for statistical abduction.

[BibT_eX]

[DOI]

Masakazu Ishihata

Mach. Learn., 2011

Inductive equivalence in clausal logic and nonmonotonic logic programming.

[BibT_eX]

[DOI]

Mach. Learn., 2011

Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction

[BibT_eX]

[DOI]

Lena Wiese

CoRR, 2011

Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users.

[BibT_eX]

[DOI]

Lena Wiese

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Comparison of Upward and Downward Generalizations in CF-Induction.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

DNF Hypotheses in Explanatory Induction.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding.

[BibT_eX]

[DOI]

Proceedings of the Latest Advances in Inductive Logic Programming, 2011

Logic Programming for Boolean Networks.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Partition-Based Consequence Finding.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Distributed Consequence Finding: Partition-Based and Cooperative Approaches.

[BibT_eX]

[DOI]

Takayuki Okamoto

Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

Complete Distributed Consequence Finding with Message Passing.

[BibT_eX]

Takayuki Okamoto

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 2, 2011

Generalizing Conjunctive Queries for Informative Answers.

[BibT_eX]

[DOI]

Lena Wiese

Proceedings of the Flexible Query Answering Systems - 9th International Conference, 2011

Probabilistic Rule Learning in Nonmonotonic Domains.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Exploring Relations between Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

Discretized Kinetic Models for Abductive Reasoning in Systems Biology.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Engineering Systems and Technologies, 2011

Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology.

[BibT_eX]

Proceedings of the BIOINFORMATICS 2011, 2011

Application of Meta-level Abduction for the Treatment of Hypertension Using SOLAR.

[BibT_eX]

[DOI]

Grégoire Lejay

Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2011

2010

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

SOLAR: An automated deduction system for consequence finding.

[BibT_eX]

[DOI]

AI Commun., 2010

Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Towards Efficient Multi-agent Abduction Protocols.

[BibT_eX]

[DOI]

Nicolas Maudet

Proceedings of the Languages, Methodologies, and Development Tools for Multi-Agent Systems, 2010

Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

Finding Minimal Reaction Sets in Large Metabolic Pathways.

[BibT_eX]

[DOI]

Takehide Soh

Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010

Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation.

[BibT_eX]

[DOI]

Takehide Soh

Proceedings of the ECAI 2010, 2010

Abduction of distributed theories through local interactions.

[BibT_eX]

[DOI]

Nicolas Maudet

Proceedings of the ECAI 2010, 2010

Query-Driven Coordination of Multiple Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Analyzing Pathways Using ASP-Based Approaches.

[BibT_eX]

[DOI]

Takehide Soh

Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

Main Pathway Discovery in Metabolic Pathways.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

2009

Brave induction: a logical framework for learning from incomplete information.

[BibT_eX]

[DOI]

Mach. Learn., 2009

Equivalence issues in abduction and induction.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

Reconsideration of circumscriptive induction with pointwise circumscription.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

Grammatical Concept Representation for Randomised Optimisation Algorithms in Relational Learning.

[BibT_eX]

[DOI]

Petr Buryan

Jirí Kubalík

Proceedings of the Ninth International Conference on Intelligent Systems Design and Applications, 2009

Discovering Rules by Meta-level Abduction.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 19th International Conference, 2009

Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

Abductive Reasoning in Cancer Therapy.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Coordination in answer set programming.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2008

Complete Pruning Methods and a Practical Search Strategy for SOL.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2008 Workshops, 2008

Brave Induction.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 18th International Conference, 2008

Comparing Abductive Theories.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Estimation of Possible Reaction States in Metabolic Pathways Using Inductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

Analysis of New Aggregation Operators: Mean 3Pi.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2007

Towards a Logical Reconstruction of CF-Induction.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2007

Mode-Directed Inverse Entailment for Full Clausal Theories.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

Knowledge Based Discovery in Systems Biology Using CF-Induction.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Applied Artificial Intelligence, 2007

A Consequence Finding Approach for Full Clausal Abduction.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science, 10th International Conference, 2007

Negotiation by abduction and relaxation.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Biological Systems Analysis Using Inductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

Generality and Equivalence Relations in Default Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Consequence finding and computing answers with defaults.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 2006

Abductive Equivalence in First-order Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2006

A competitive and cooperative approach to propositional satisfiability.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2006

Constructing Consensus Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Generality Relations in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

Automated Abduction for Computer Forensics.

[BibT_eX]

[DOI]

Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006

Lemma Reusing for SAT based Planning and Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

A web architecture for data mining in biology.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

Prolog Cafe : A Prolog to Java Translator System.

[BibT_eX]

[DOI]

Mutsunori Banbara

Naoyuki Tamura

Proceedings of the Declarative Programming for Knowledge Management, 2005

Inductive Equivalence of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 15th International Conference, 2005

Inducing Causal Laws by Regular Inference.

[BibT_eX]

[DOI]

Hideyuki Bando

Proceedings of the Inductive Logic Programming, 15th International Conference, 2005

Equivalence in Abductive Logic.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Upside-Down Transformation in SOL/Connection Tableaux and Its Application.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2005

A Web-Based Architecture for Inductive Logic Programming in Biology.

[BibT_eX]

Proceedings of the ICEIS 2005, 2005

Combining Answer Sets of Nonmonotonic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2005

2004

Induction as Consequence Finding.

[BibT_eX]

[DOI]

Mach. Learn., 2004

Speculative Computation Through Consequence-Finding in Multi-Agent Environments.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

The PLP System.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Equivalence of Logic Programs Under Updates.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Circumscription Policies for Induction.

[BibT_eX]

[DOI]

Haruka Saito

Proceedings of the Inductive Logic Programming, 14th International Conference, 2004

Compiling Prioritized Circumscription into Answer Set Programming.

[BibT_eX]

[DOI]

Toshiko Wakaki

Proceedings of the Logic Programming, 20th International Conference, 2004

Consequence Finding in Default Theories.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, 6th International Conference, 2004

Coordination Between Logical Agents.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003

An abductive framework for computing knowledge base updates.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

SOLAR: A Consequence Finding System for Advanced Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

Computing Preferred Answer Sets in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2003

2002

Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

Nonseparating Induced Cycles Consisting of Contractible Edges in k-Connected Graphs.

[BibT_eX]

[DOI]

Yoshimi Egawa

Ken-ichi Kawarabayashi

Electron. Notes Discret. Math., 2002

Minimal Answer Computation and SOL.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Disjunctive Explanations.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

Automated Abduction.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Effective SAT Planning by Speculative Computation.

[BibT_eX]

[DOI]

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001

Induction, Abduction, and Consequence-Finding.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 11th International Conference, 2001

2000

Abductive logic programming and disjunctive logic programming: their relationship and transferability.

[BibT_eX]

[DOI]

J. Log. Program., 2000

Prioritized logic programming and its application to commonsense reasoning.

[BibT_eX]

[DOI]

Artif. Intell., 2000

Implementing an action language using a SAT solver.

[BibT_eX]

[DOI]

Hiromasa Haneda

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

Speculative Computation by Abduction under Incomplete Communication Environments.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

A Defeasible Reasoning System in Multi-Agent Environment.

[BibT_eX]

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

A Simple Characterization of Extended Abduction.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1999

Radius of (2k-1)-Connected Graphs.

[BibT_eX]

Yoshimi Egawa

Ars Comb., 1999

Computing Extended Abduction Through Transaction Programs.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1999

Updating Extended Logic Programs through Abduction.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Abducing Priorities to Derive Intended Conclusions.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Distance based hybrid genetic algorithm: an application for the graph coloring problem.

[BibT_eX]

[DOI]

Proceedings of the 1999 Congress on Evolutionary Computation, 1999

1998

Negation as Failure in the Head.

[BibT_eX]

[DOI]

J. Log. Program., 1998

Specifying Transactions for Extended Abduction.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

On the Relationship Between Non-Horn Magic Sets and Relevancy Testing.

[BibT_eX]

[DOI]

Ryuzo Hasegawa

Proceedings of the Automated Deduction, 1998

1997

Learning Extended Logic Programs.

[BibT_eX]

[DOI]

Yoshimitsu Kudoh

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1997

1996

A Fixpoint Characterization of Abductive Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1996

Representing Priorities in Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

1995

Paraconsistent Stable Semantics for Extended Disjunctive Programs.

[BibT_eX]

[DOI]

J. Log. Comput., 1995

Embedding Circumscriptive Theories in General Disjunctive Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Abductive Framework for Nonmonotonic Theory Change.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

The Effect of Partial Deduction in Abductive Reasoning.

[BibT_eX]

Proceedings of the Logic Programming, 1995

1994

Hypothetical Reasoning in Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1994

An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases.

[BibT_eX]

[DOI]

J. Autom. Reason., 1994

On Positive Occurrences of Negation as Failure.

[BibT_eX]

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

On the Equivalence between Disjunctive and Abductive Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1994

1993

Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning.

[BibT_eX]

[DOI]

New Gener. Comput., 1993

Relating Disjunctive Logic Programs to Default Theories.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Bottom-up Abduction by Model Generation.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Negation in Disjunctive Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1993

Transforming Abductive Logic Programs to Disjunctive Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1993

1992

Linear Resolution for Consequence Finding.

[BibT_eX]

[DOI]

Artif. Intell., 1992

A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Embedding Negation as Failure into a Model Generation Theorem Prover.

[BibT_eX]

[DOI]

Miyuki Koshimura

Ryuzo Hasegawa

Proceedings of the Automated Deduction, 1992

1991

Consequence-Finding Based on Ordered Linear Resolution.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Query Answering in Circumscription.

[BibT_eX]

[DOI]

Nicolas Helft

David Poole

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Extended Logic Programs with Default Assumptions.

[BibT_eX]

Proceedings of the Logic Programming, 1991

1990

A forward-chaining multiple-context reasoner and its application to logic design.

[BibT_eX]

[DOI]

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

An Abductive Procedure for the CMS/ATMS.

[BibT_eX]

[DOI]

Proceedings of the Truth Maintenance Systems, 1990

1988

Problem Solving with Hypothetical Reasoning.

[BibT_eX]