Abduction in Logic Programming
Computational Logic, 2002. [All Versions]. [Preprint]. Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer…
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
Abductive Logic Programming academic.oup.com
Journal of Logic Computation, 1992. [All Versions]. This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). The authors outline the general framework of abduction and its…
-
Abduction: A categorical characterization sciencedirect.com
Journal of Applied Logic, 2015. [All Versions].
-
An Approach to Abductive Reasoning in Equational Logic aaai.org
IJCAI'13, 2013. [All Versions]. Abduction has been extensively studied in propositional logic because of its many applications in artificial intelligence. However, its intrinsic complexity has been a limitation to the implementation of abductive reasoning tools in more…
-
Abductive Reasoning and Learning link.springer.com
Springer, 2000. [All Versions]. This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches.
-
ACLP: Abductive Constraint Logic Programming sciencedirect.com
The Journal of Logic Programming, 1999. [All Versions]. This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and…
-
Abduction plato.stanford.edu
Plato Stanford. A computational philosophy account on Abduction, one of the three thinking patterns besides Induction and Deduction, being unique for its potential to introduce new ideas into current knowledge.
AGI & CoCoSci › Papers > Abduction > Applications in AI: “Computational Logic, 2002. [All Versions]. [Preprint]. Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer…”