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}
}
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
430 Citations
Abduction in logic programming: A new definition and an abductive procedure based on rewriting
  • 48
  • PDF
Integrating Induction and Abduction in Logic Programming
  • 29
  • PDF
Abductive Logic Programming with CIFF
  • 3
  • PDF
ACLP: Abductive Constraint Logic Programming
  • 124
Integrating Abduction and Induction
  • 8
  • PDF
An Abductive Framework for Negation in Disjunctive Logic Programming
  • 42
Learning with Abduction
  • 38
  • PDF
Abductive Logic Programming with Tabled Abduction
  • 15
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 163 REFERENCES
A Knowledge-Level Account of Abduction
  • 205
  • PDF
Logic Programming and Knowledge Representation
  • 479
  • PDF
Representing Incomplete Knowledge in Abductive Logic Programming
  • 98
  • PDF
Abduction Compared with Negation by Failure
  • 404
  • PDF
An Abductive Framework for General Logic Programs and other Nonmonotonic Systems
  • 18
  • PDF
Hypothetical Reasoning in Logic Programs
  • K. Inoue
  • Mathematics, Computer Science
  • J. Log. Program.
  • 1994
  • 30
On the Relationship between Abduction and Deduction
  • 306
...
1
2
3
4
5
...