An Approach to Abductive Reasoning in Equational Logic
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…
- 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…
-
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.
-
Abduction in Logic Programming link.springer.com
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…
-
A Probabilistic Theory of Abductive Reasoning scitepress.org
ICAART, 2021. [All Versions]. A probabilistic perspective for interpreting Abductive Reasoning.
-
Bridging Machine Learning and Logical Reasoning by Abductive Learning. papers.neurips.cc
NeurIPS'19, 2019. [All Versions]. [Slides]. [Code]. The original paper on Abductive Learning, a derivative-free approach for neuro-symbolic learning.
-
UNcommonsense Reasoning: Abductive Reasoning about Uncommon Situations aclanthology.org
NAACL'24, 2024. [All Versions]. This paper explores the task of uncommonsense abductive reasoning. Given a piece of context with an unexpected outcome, this task requires reasoning abductively to generate an explanation that makes the unexpected outcome more likely in the…
AGI & CoCoSci › Papers > Abduction > Applications in AI: “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…”