Saturation, nonmonotonic reasoning and the closed-world assumption
Artificial Intelligence
Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Artificial Intelligence
Causes for events: their computation and applications
Proc. of the 8th international conference on Automated deduction
Exploiting constraints in design synthesis
Exploiting constraints in design synthesis
A logical framework for default reasoning
Artificial Intelligence
An algorithm to compute circumscription
Artificial Intelligence
On the relationship between circumscription and negation as failure
Artificial Intelligence
A circumscriptive theorem prover
Artificial Intelligence
Explanation and prediction: an architecture for default and abductive reasoning
Computational Intelligence
On theorem provers for circumscription
Proceedings of the eighth biennial conference of the Canadian Society for Computational Studies of Intelligence on CSCSI-90
Compiling a default reasoning system into Prolog
New Generation Computing
The computational complexity of abduction
Artificial Intelligence - Special issue on knowledge representation
Abduction versus closure in causal theories
Artificial Intelligence
Linear resolution for consequence finding
Artificial Intelligence
Incorporating top-down information into bottom-up hypothetical reasoning
Selected papers of international conference on Fifth generation computer systems 92
A kind of logical compilation for knowledge bases
Theoretical Computer Science
The complexity of logic-based abduction
Journal of the ACM (JACM)
Artificial Intelligence
Support set selection for abductive and default reasoning
Artificial Intelligence
Semantics and complexity of abduction from default theories
Artificial Intelligence
Abductive consequence relations
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Abductive theories in artificial intelligence
Principles of knowledge representation
A new method for consequence finding and compilation in restricted languages
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Jumping to explanations versus jumping to conclusions
Artificial Intelligence
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
On some tractable classes in deduction and abduction
Artificial Intelligence
Abductive reasoning through filtering
Artificial Intelligence
Handbook of defeasible reasoning and uncertainty management systems
Reasoning with Incomplete Information
Reasoning with Incomplete Information
Logic for Problem Solving
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence
An Abductive Procedure for the CMS/ATMS
ECAI '90 Workshop on Truth Maintenance Systems
A Query Answering Algorithm for Lukaszewicz' General Open Default Theory
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Induction, Abduction, and Consequence-Finding
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Rationale and Methods for Abductice Reasoning in Natural-Language Interpretation
Proceedings of the International Symposium on Natural Language and Logic
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
A completeness theorem and a computer program for finding theorems derivable from given axioms
A completeness theorem and a computer program for finding theorems derivable from given axioms
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A knowledge-level account of abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A tractable class of abduction problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Bottom-up abduction by model generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Abducing priorities to derive intended conclusions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Completeness theorems for semantic resolution in consequence-finding
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
On the mechanization of abductive logic
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
An inference rule for hypothesis generation
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Query answering in circumscription
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Approximate knowledge compilation: the first order case
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Induction as Consequence Finding
Machine Learning
Speculative Computation Through Consequence-Finding in Multi-Agent Environments
Annals of Mathematics and Artificial Intelligence
Consequence finding and computing answers with defaults
Journal of Intelligent Information Systems
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
SOLAR: An automated deduction system for consequence finding
AI Communications - Practical Aspects of Automated Reasoning
A rough set approach to multiple dataset analysis
Applied Soft Computing
Upside-down transformation in SOL/connection tableaux and its application
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |
In this article, I review Peirce's abduction in the context of Artificial Intelligence. First, I connect abduction from first-order theories with nonmonotonic reasoning. In particular, I consider relationships between abduction, default logic, and circumscription. Then, based on a first-order characterization of abduction, I show a design of abductive procedures that utilize automated deduction. With abductive procedures, proof procedures for nonmonotonic reasoning are also obtained from the relationship between abduction and nonmonotonic reasoning.