Marc Denecker, Lode Missiaen, Maurice Bruynooghe  Home/Search
Context Related
Links: ACM DBLP | cs.kuleuven.ac.be/~dtai/p...27841.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kuleuven.ac.be/...1992E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We present the SLDNFA procedure, which integrates two important nonmonotonic paradigms, negation as failure and abduction. The main difference between SLDNFA and existing approaches is the improved treatment of non-ground abductive goals. We present an extension for temporal reasoning based on Abductive Event Calculus. We show the power of the approach by applying it to planning and solving wellknown temporal reasoning problems. Interestingly, the procedure generates partial plans; the order ... (Update)
Context of citations to this paper: More
...events a plan that entails the planning goal. This approach was further explored by Shanahan [97] Missiaen et al. 62, 61] Denecker [16], Jung [41] and recently in [51, 52] Kakas and Mancarella showed the application of abduction in logic programming for deductive database...
...numerical extension ourself. The first example of an integration of abduction and a constraint solver for a specific domain was proposed in [2], where SLDNFA was integrated with a solver for the theory of total order; the resulting system provided a correct partial order...
Cited by: More
Temporal Representation and Reasoning in Artificial.. - Chittaro, Montanari (2002) (Correct)
Abduction in Logic Programming - Denecker, Kakas (Correct)
Temporal Reasoning with i-Abduction - Denecker, Van Belleghem (Correct)
Similar documents (at the sentence level):
10.2%: SLDNFA: an abductive procedure for normal abductive programs - Denecker, De Schreye (1992) (Correct)
Active bibliography (related documents): More All
0.2: SLDNFA: an abductive procedure for abductive logic programs - Denecker, De Schreye (1997) (Correct)
0.2: Representing Incomplete Knowledge in Abductive Logic.. - Denecker, De Schreye (1993) (Correct)
0.2: On the Duality of Abduction and Model Generation in a.. - Denecker, De Schreye (1994) (Correct)
Similar documents based on text: More All
0.4: Repairing Inconsistent Databases: A.. - Arieli, Denecker, .. (Correct)
0.4: Coherent Composition of Distributed.. - Arieli, Van.. (2001) (Correct)
0.3: Experiments for integration CLP and abduction - Denecker, Van Nuffelen (1999) (Correct)
Related documents from co-citation: More All
38: Abductive Planning with Event Calculus (context) - Eshghi - 1988
38: A Logic-Based Calculus of Events (context) - Kowalski, Sergot - 1986
33: Prediction is deduction but explanation is abduction - Shanahan - 1989
BibTeX entry: (Update)
M. Denecker, L. Missiaen, and M. Bruynooghe. Temporal reasoning with abductive event calculus. In Proceedings of ECAI 92, Vienna, 1992. http://citeseer.ist.psu.edu/denecker92temporal.html More
@inproceedings{ denecker92temporal,
author = "Marc Denecker and Lode Missiaen and Maurice Bruynooghe",
title = "Temporal Reasoning with Abductive Event Calculus",
booktitle = "European Conference on Artificial Intelligence",
pages = "384-388",
year = "1992",
url = "citeseer.ist.psu.edu/denecker92temporal.html" }
Citations (may not include all citations):324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986 ACM DBLP
109 Database updates through abduction (context) - Kakas, Mancarella - 1990 ACM DBLP
103 Prediction is deduction but explanation is abduction - Shanahan - 1989 DBLP
88 Abductive planning with Event Calculus (context) - Eshghi - 1988 DBLP
78 Acyclic programs (context) - Apt, Bezem - 1990 ACM DBLP
66 and the frame problem (context) - Hanks, McDermott et al. - 1986
52 Abduction compared with negation as failure (context) - Eshghi, Kowalski - 1989
33 Negation as failure as an approach to the Hanks and McDermot.. (context) - Evans - 1989
30 Localized abductive planning with the event calculus (context) - Missiaen - 1991
27 Technical Report LiTH-IDA-R (context) - Sandewall, Fluents - 1991
7 Abductive planning with event calculus (context) - Missiaen, Bruynooghe et al. - 1992 DBLP
5 A family of abductive procedures for normal abductive progra.. (context) - Denecker, De Schreye - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/1992-E.shtml):
SLDNFA: an abductive procedure for normal abductive programs - Denecker, De Schreye (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC