• DOI:10.1093/oso/9780198537922.003.0007
Corpus ID: 1572948

The role of abduction in logic programming

@inproceedings{Kakas1995TheRO,
  title={The role of abduction in logic programming},
  author={A. Kakas and R. Kowalski and Francesca Toni},
  year={1995}
}

• A. Kakas, R. Kowalski, Francesca Toni
• Published 1995
• Computer Science

This paper is a survey and critical overview of recent work on the extension of Logic Programming to perform Abductive Reasoning (Abductive Logic Programming). It updates the earlier paper \Abductive Logic Programming" 88]. We outline the general framework of Abduction and its applications to Knowledge Assimilation and Default Reasoning; we describe the argumentation-theoretic approach to the use of abduction as an interpretation for Negation as Failure, introduced in the earlier version 88] of… Expand

View via Publisher

Save to Library

Create Alert

Cite

Launch Research Feed