Katsumi Inoue

According to our database1, Katsumi Inoue authored at least 243 papers between 1988 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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.
Microprocess. Microsystems, 2020

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation.
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Computational intractability law molds the topology of biological networks.
Appl. Netw. Sci., 2020

Reproducible Efficient Parallel SAT Solving.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Static Analysis and Stochastic Search for Reachability Problem.
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.
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.
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.
IEEE Trans. Circuits Syst. II Express Briefs, 2019

Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157).
NII Shonan Meet. Rep., 2019

From Fifth Generation Computing to Skill Science - A Biographical Essay of Koichi Furukawa.
New Gener. Comput., 2019

Disjunctive Abduction.
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.
Microprocess. Microsystems, 2019

Learning Inference Rules from Data.
Künstliche Intell., 2019

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

teaspoon : solving the curriculum-based course timetabling problems with answer set programming.
Ann. Oper. Res., 2019

Identifying Belief Sequences in a Network of Communicating Agents.
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.
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.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

Learning Logic Programs from Noisy State Transition Data.
Proceedings of the Inductive Logic Programming - 29th International Conference, 2019

What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Meta-Interpretive Learning Using HEX-Programs.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Ordering Argumentation Frameworks.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning.
Theory Pract. Log. Program., 2018

Frequent items counter based on binary decoders.
IEICE Electron. Express, 2018

Partial Evaluation of Logic Programs in Vector Spaces.
CoRR, 2018

An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation.
IEEE Access, 2018

VLSI Design of Frequent Items Counting Using Binary Decoders Applied to 8-bit per Item Case-study.
Proceedings of the 14th Conference on Ph.D. Research in Microelectronics and Electronics, 2018

Robust Coalition Structure Generation.
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.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2018

Identifying Goals of Agents by Learning from Observations.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2018

Probabilistic Coalition Structure Generation.
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.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Learning Dynamics with Synchronous, Asynchronous and General Semantics.
Proceedings of the Inductive Logic Programming - 28th International Conference, 2018

Abducing Relations in Continuous Spaces.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Learning Commonsense Knowledge Through Interactive Dialogue.
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

Recoverable Team Formation: Building Teams Resilient to Change.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Multi-Objective Distributed Pseudo-Tree Optimization.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017
Special issue on inductive logic programming.
Mach. Learn., 2017

Relational Reinforcement Learning for Planning with Exogenous Effects.
J. Mach. Learn. Res., 2017

Distributed Pareto Local Search for Multi-Objective DCOPs.
IEICE Trans. Inf. Syst., 2017

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

Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences.
Proceedings of the 19th IEEE Conference on Business Informatics, 2017

Coverage-Based Clause Reduction Heuristics for CDCL Solvers.
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.
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.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Linear Algebraic Characterization of Logic Programs.
Proceedings of the Knowledge Science, Engineering and Management, 2017

Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks.
Proceedings of the Advances in Neural Networks - ISNN 2017 - 14th International Symposium, 2017

Highly parallel bitmap-based regular expression matching for text analytics.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

Inductive Learning from State Transitions over Continuous Domains.
Proceedings of the Inductive Logic Programming - 27th International Conference, 2017

Learning Logic Program Representation for Delayed Systems With Limited Training Data.
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.
Theory Pract. Log. Program., 2016

Formalization of resilience for constraint-based dynamic systems.
J. Reliab. Intell. Environ., 2016

Abduction, conversational implicature and misleading in human dialogues.
Log. J. IGPL, 2016

Meta-Level Abduction.
FLAP, 2016

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

Representative Solutions for Multi-Objective Constraint Optimization Problems.
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.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Learning from Interpretation Transition using Feed-Forward Neural Networks.
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?.
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.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Inference of Delayed Biological Regulatory Networks from Time Series Data.
Proceedings of the Computational Methods in Systems Biology, 2016

Learning Relational Dynamics of Stochastic Domains for Planning.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Inductive Logic Programming: Challenges.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Identification of biological regulatory networks from Process Hitting models.
Theor. Comput. Sci., 2015

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

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Learning Inference by Induction.
Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Completing signaling networks by abductive reasoning with perturbation experiments.
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.
Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

Logic Programming for Cellular Automata.
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.
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.
Proceedings of the ICAART 2015, 2015

Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets.
Proceedings of the Computational Methods in Systems Biology, 2015

How to Form a Task-Oriented Robust Team.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Can Machines Learn Logics?
Proceedings of the Artificial General Intelligence, 2015

Abduction and Conversational Implicature (Extended Abstract).
Proceedings of the 2015 AAAI Spring Symposia, 2015

Belief Revision Games.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Learning from interpretation transition.
Mach. Learn., 2014

A Two-Phase Complete Algorithm for Multi-Objective Distributed Constraint Optimization.
J. Adv. Comput. Intell. Intell. Informatics, 2014

A CAM-Based Information Detection Hardware System for Fast Image Matching on FPGA.
IEICE Trans. Electron., 2014

Local Search Based Approximate Algorithm for Multi-Objective DCOPs.
Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

Learning Prime Implicant Conditions from Interpretation Transition.
Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

Utilitarian and Egalitarian Solutions for Multi-objective Constraint Optimization.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Modeling and Algorithm for Dynamic Multi-objective Weighted Constraint Satisfaction Problem.
Proceedings of the ICAART 2014, 2014

Completing SBGN-AF Networks by Logic-Based Hypothesis Finding.
Proceedings of the Formal Methods in Macro-Biology - First International Conference, 2014

How Social Identity May Matter Most in Brand Crisis Management.
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.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Logical Modeling of Biological Systems.
Bioengineering and Health Science Series, iSTE / Wiley, ISBN: 978-1-84821-680-8, 2014

2013
Combining Answer Set Programs for Adaptive and Reactive Reasoning.
Theory Pract. Log. Program., 2013

Answer set programming as a modeling language for course timetabling.
Theory Pract. Log. Program., 2013

Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning.
Theory Pract. Log. Program., 2013

Completing causal networks by meta-level abduction.
Mach. Learn., 2013

Abduction, unpredictability and Garden of Eden.
Log. J. IGPL, 2013

Design a Fast CAM-Based Exact Pattern Matching System on FPGA and 0.18µm CMOS Process.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

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

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
CoRR, 2013

Model and Algorithm for Dynamic Multi-Objective Distributed Optimization.
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.
Proceedings of the IEEE 56th International Midwest Symposium on Circuits and Systems, 2013

AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2013

Characterization Theorems for Revision of Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Encoding Higher Level Extensions of Petri Nets in Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

A fast CAM-based image matching system on FPGA.
Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

A BDD-Based Algorithm for Learning from Interpretation Transition.
Proceedings of the Inductive Logic Programming - 23rd International Conference, 2013

On-the-Fly Lazy Clause Simplification Based on Binary Resolvents.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Learning revised models for planning in adaptive systems.
Proceedings of the 35th International Conference on Software Engineering, 2013

A fast CAM-based Watermarking extraction on FPGA.
Proceedings of 2013 International Conference on IC Design & Technology, 2013

Cyber security problem based on Multi-Objective Distributed Constraint Optimization technique.
Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

Filtering of Unrelated Answers in a CooperativeQuery Answering System.
Proceedings of the First International Conference on Advanced Data and Information Engineering, 2013

Systems resilience: a challenge problem for dynamic constraint-based agent systems.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012
Inverse subsumption for complete explanatory induction.
Mach. Learn., 2012

ILP turns 20 - Biography and future challenges.
Mach. Learn., 2012

An FPGA-Based Information Detection Hardware System Employing Multi-Match Content Addressable Memory.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Minimal Generalization for Conjunctive Queries.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2012

Non-monotone Dualization via Monotone Dualization.
Proceedings of the Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming, 2012

Heuristic Inverse Subsumption in Full-Clausal Theories.
Proceedings of the Inductive Logic Programming - 22nd International Conference, 2012

MicroRNAs Robustness in Genetic Regulatory Networks.
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.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Implementing Inductive Concept Learning For Cooperative Query Answering.
Proceedings of the Data Analysis, Machine Learning and Knowledge Discovery, 2012

Concretizing the Process Hitting into Biological Regulatory Networks.
Proceedings of the Computational Methods in Systems Biology, 2012

Oscillating Behavior of Logic Programs.
Proceedings of the Correct Reasoning, 2012

Finding new consequences of an observation in a system of agents.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

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

Constraint-based probabilistic modeling for statistical abduction.
Mach. Learn., 2011

Inductive equivalence in clausal logic and nonmonotonic logic programming.
Mach. Learn., 2011

Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction
CoRR, 2011

Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Comparison of Upward and Downward Generalizations in CF-Induction.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

DNF Hypotheses in Explanatory Induction.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding.
Proceedings of the Latest Advances in Inductive Logic Programming, 2011

Logic Programming for Boolean Networks.
Proceedings of the IJCAI 2011, 2011

Partition-Based Consequence Finding.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Distributed Consequence Finding: Partition-Based and Cooperative Approaches.
Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

Complete Distributed Consequence Finding with Message Passing.
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.
Proceedings of the Flexible Query Answering Systems - 9th International Conference, 2011

Probabilistic Rule Learning in Nonmonotonic Domains.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Exploring Relations between Answer Set Programs.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

Discretized Kinetic Models for Abductive Reasoning in Systems Biology.
Proceedings of the Biomedical Engineering Systems and Technologies, 2011

Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology.
Proceedings of the BIOINFORMATICS 2011, 2011

Application of Meta-level Abduction for the Treatment of Hypertension Using SOLAR.
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.
Fundam. Informaticae, 2010

SOLAR: An automated deduction system for consequence finding.
AI Commun., 2010

Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Towards Efficient Multi-agent Abduction Protocols.
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.
Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

Finding Minimal Reaction Sets in Large Metabolic Pathways.
Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010

Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation.
Proceedings of the ECAI 2010, 2010

Abduction of distributed theories through local interactions.
Proceedings of the ECAI 2010, 2010

Query-Driven Coordination of Multiple Answer Sets.
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Analyzing Pathways Using ASP-Based Approaches.
Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

Main Pathway Discovery in Metabolic Pathways.
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.
Mach. Learn., 2009

Equivalence issues in abduction and induction.
J. Appl. Log., 2009

Reconsideration of circumscriptive induction with pointwise circumscription.
J. Appl. Log., 2009

Grammatical Concept Representation for Randomised Optimisation Algorithms in Relational Learning.
Proceedings of the Ninth International Conference on Intelligent Systems Design and Applications, 2009

Discovering Rules by Meta-level Abduction.
Proceedings of the Inductive Logic Programming, 19th International Conference, 2009

Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.
Proceedings of the IJCAI 2009, 2009

Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation.
Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

Abductive Reasoning in Cancer Therapy.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Coordination in answer set programming.
ACM Trans. Comput. Log., 2008

Complete Pruning Methods and a Practical Search Strategy for SOL.
Proceedings of the LPAR 2008 Workshops, 2008

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

Comparing Abductive Theories.
Proceedings of the ECAI 2008, 2008

Estimation of Possible Reaction States in Metabolic Pathways Using Inductive Logic Programming.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007
Analysis of New Aggregation Operators: Mean 3Pi.
J. Adv. Comput. Intell. Intell. Informatics, 2007

Towards a Logical Reconstruction of CF-Induction.
Proceedings of the New Frontiers in Artificial Intelligence, 2007

Mode-Directed Inverse Entailment for Full Clausal Theories.
Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

Knowledge Based Discovery in Systems Biology Using CF-Induction.
Proceedings of the New Trends in Applied Artificial Intelligence, 2007

A Consequence Finding Approach for Full Clausal Abduction.
Proceedings of the Discovery Science, 10th International Conference, 2007

Negotiation by abduction and relaxation.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Biological Systems Analysis Using Inductive Logic Programming.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

Generality and Equivalence Relations in Default Logic.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Consequence finding and computing answers with defaults.
J. Intell. Inf. Syst., 2006

Abductive Equivalence in First-order Logic.
Log. J. IGPL, 2006

A competitive and cooperative approach to propositional satisfiability.
Discret. Appl. Math., 2006

Constructing Consensus Logic Programs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Generality Relations in Answer Set Programming.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Automated Abduction for Computer Forensics.
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006

Lemma Reusing for SAT based Planning and Scheduling.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

A web architecture for data mining in biology.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005
Prolog Cafe : A Prolog to Java Translator System.
Proceedings of the Declarative Programming for Knowledge Management, 2005

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

Inducing Causal Laws by Regular Inference.
Proceedings of the Inductive Logic Programming, 15th International Conference, 2005

Equivalence in Abductive Logic.
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.
Proceedings of the Theoretical Aspects of Computing, 2005

A Web-Based Architecture for Inductive Logic Programming in Biology.
Proceedings of the ICEIS 2005, 2005

Combining Answer Sets of Nonmonotonic Logic Programs.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004
Induction as Consequence Finding.
Mach. Learn., 2004

Speculative Computation Through Consequence-Finding in Multi-Agent Environments.
Ann. Math. Artif. Intell., 2004

The PLP System.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Equivalence of Logic Programs Under Updates.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Circumscription Policies for Induction.
Proceedings of the Inductive Logic Programming, 14th International Conference, 2004

Compiling Prioritized Circumscription into Answer Set Programming.
Proceedings of the Logic Programming, 20th International Conference, 2004

Consequence Finding in Default Theories.
Proceedings of the Flexible Query Answering Systems, 6th International Conference, 2004

Coordination Between Logical Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003
An abductive framework for computing knowledge base updates.
Theory Pract. Log. Program., 2003

SOLAR: A Consequence Finding System for Advanced Reasoning.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

Computing Preferred Answer Sets in Answer Set Programming.
Proceedings of the Logic for Programming, 2003

2002
Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments.
Electron. Notes Theor. Comput. Sci., 2002

Nonseparating Induced Cycles Consisting of Contractible Edges in k-Connected Graphs.
Electron. Notes Discret. Math., 2002

Minimal Answer Computation and SOL.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Disjunctive Explanations.
Proceedings of the Logic Programming, 18th International Conference, 2002

Automated Abduction.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Effective SAT Planning by Speculative Computation.
Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001
Induction, Abduction, and Consequence-Finding.
Proceedings of the Inductive Logic Programming, 11th International Conference, 2001

2000
Abductive logic programming and disjunctive logic programming: their relationship and transferability.
J. Log. Program., 2000

Prioritized logic programming and its application to commonsense reasoning.
Artif. Intell., 2000

Implementing an action language using a SAT solver.
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

Speculative Computation by Abduction under Incomplete Communication Environments.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

A Defeasible Reasoning System in Multi-Agent Environment.
Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

A Simple Characterization of Extended Abduction.
Proceedings of the Computational Logic, 2000

1999
Radius of (2k-1)-Connected Graphs.
Ars Comb., 1999

Computing Extended Abduction Through Transaction Programs.
Ann. Math. Artif. Intell., 1999

Updating Extended Logic Programs through Abduction.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Abducing Priorities to Derive Intended Conclusions.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
Negation as Failure in the Head.
J. Log. Program., 1998

Specifying Transactions for Extended Abduction.
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.
Proceedings of the Automated Deduction, 1998

1997
Learning Extended Logic Programs.
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.
Proceedings of the Automated Deduction, 1997

1996
A Fixpoint Characterization of Abductive Logic Programs.
J. Log. Program., 1996

Representing Priorities in Logic Programs.
Proceedings of the Logic Programming, 1996

1995
Paraconsistent Stable Semantics for Extended Disjunctive Programs.
J. Log. Comput., 1995

Embedding Circumscriptive Theories in General Disjunctive Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Abductive Framework for Nonmonotonic Theory Change.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

The Effect of Partial Deduction in Abductive Reasoning.
Proceedings of the Logic Programming, 1995

1994
Hypothetical Reasoning in Logic Programs.
J. Log. Program., 1994

An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases.
J. Autom. Reason., 1994

On Positive Occurrences of Negation as Failure.
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.
Proceedings of the Logic Programming, 1994

1993
Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning.
New Gener. Comput., 1993

Relating Disjunctive Logic Programs to Default Theories.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Bottom-up Abduction by Model Generation.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Negation in Disjunctive Logic Programs.
Proceedings of the Logic Programming, 1993

Transforming Abductive Logic Programs to Disjunctive Programs.
Proceedings of the Logic Programming, 1993

1992
Linear Resolution for Consequence Finding.
Artif. Intell., 1992

A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Embedding Negation as Failure into a Model Generation Theorem Prover.
Proceedings of the Automated Deduction, 1992

1991
Consequence-Finding Based on Ordered Linear Resolution.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Query Answering in Circumscription.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Extended Logic Programs with Default Assumptions.
Proceedings of the Logic Programming, 1991

1990
A forward-chaining multiple-context reasoner and its application to logic design.
Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

An Abductive Procedure for the CMS/ATMS.
Proceedings of the Truth Maintenance Systems, 1990

1988
Problem Solving with Hypothetical Reasoning.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988


  Loading...