Abstract | ||
---|---|---|
In this paper we study a form of abductive logic programming which combinesdefault and non-default abducibles and employs retractibles in integrityconstraints. We also present a transformation from abductive to normal logicprograms, which is correct and complete with respect to many semantics.These are all the semantics that can be formulated in an argumentationframework. A simplified form of the event calculus is used as an illustration.1 IntroductionAbductive logic programming (ALP)... |
Year | Venue | Keywords |
---|---|---|
1995 | ICLP | event calculus,abductive logic programming |
Field | DocType | Citations |
Default logic,Computational logic,Programming language,Computer science,Abductive logic programming,Theoretical computer science,Non-monotonic logic,Philosophy of logic,Logic programming,Dynamic logic (modal logic),Higher-order logic | Conference | 12 |
PageRank | References | Authors |
1.22 | 4 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francesca Toni | 1 | 1844 | 123.95 |
Robert A. Kowalski | 2 | 4187 | 1066.36 |