Abduction from logic programs: Semantics and complexity
- 1 December 1997
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 189 (1-2), 129-177
- https://doi.org/10.1016/s0304-3975(96)00179-x
Abstract
No abstract availableKeywords
This publication has 50 references indexed in Scilit:
- Effective implementation of negation in database logic query languagesPublished by Springer Nature ,2005
- Representing Incomplete Knowledge in Abductive Logic ProgrammingJournal of Logic and Computation, 1995
- Foundations of disjunctive logic programming: Jorge Lobo, Jack Minker and Arcot Rajasekar, (MIT Press, London, 1992), Price £60.75Science of Computer Programming, 1995
- The complexity of logic-based abductionJournal of the ACM, 1995
- Explaining incompatibilities in data dictionary design through abductionData & Knowledge Engineering, 1994
- Logic programming and knowledge representationThe Journal of Logic Programming, 1994
- A survey of complexity results for non-monotonic logicsThe Journal of Logic Programming, 1993
- Abduction versus closure in causal theoriesArtificial Intelligence, 1992
- Autoepistemic logicJournal of the ACM, 1991
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980