Marc Denecker, Danny De Schreye  Home/Search
Context Related
| cs.kuleuven.ac.be/~dtai/p...17920.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/...1993E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recently, Gelfond and Lifschitz presented a formal language for representing incomplete knowledge on actions and states, and a sound translation from this language to extended logic programming. We present an alternative translation to abductive logic programming with integrity constraints and prove the soundness and completeness. In addition, we show how an abductive procedure can be used, not only for explanation, but also for deduction and proving satisfiability under uncertainty. From a... (Update)
Context of citations to this paper: More
.... to reason about actions and change comparable to various other approaches which were also related to this language recently, such as [8, 19, 7]. A problem arises when the SLDENF approach of Section 5 is used to pose queries as e.g. the negative part of (26) The problem is a...
Cited by: More
Project Report on: - Lp Second Generation (Correct)
Representing Concurrent Actions and Solving Conflicts - Bornscheuer, Thielscher (1994) (Correct)
Representing Actions in Equational Logic Programming - Thielscher (1994) (Correct)
Similar documents (at the sentence level):
67.6%: Representing Incomplete Knowledge in Abductive Logic Programming - Denecker (1993) (Correct)
Active bibliography (related documents): More All
0.5: SLDNFA: an abductive procedure for abductive logic programs - Denecker, De Schreye (1997) (Correct)
0.3: A declarative perspective on Abductive Logic Programming - Denecker (Correct)
0.3: On the Duality of Abduction and Model Generation in a.. - Denecker, De Schreye (1994) (Correct)
Similar documents based on text: More All
0.7: SLDNFA: an abductive procedure for normal abductive programs - Denecker, De Schreye (1992) (Correct)
0.1: Actions with Indirect Effects - Kartha, Lifschitz (1994) (Correct)
0.1: Constraint Logic Programming: Applications and Implementation - Vandecasteele (1999) (Correct)
Related documents from co-citation: More All
45: Negation as Failure (context) - Clark - 1978
36: Representing Action and Change by Logic Programs - Gelfond, Lifschitz - 1993
33: Representing Actions in Logic Programming and its Applications in Database Updat.. (context) - Dung - 1993
BibTeX entry: (Update)
M. Denecker and D. de Schreye. Representing Incomplete Knowledge in Abductive Logic Programming. In D. Miller, ed., Proc. of the ILPS, 147--163, Vancouver, 1993. MIT Press. http://citeseer.ist.psu.edu/article/denecker93representing.html More
@inproceedings{ denecker93representing,
author = "Marc Denecker and Danny De Schreye",
title = "Representing Incomplete Knowledge in Abductive Logic Programming",
booktitle = "International Logic Programming Symposium",
pages = "147-163",
year = "1993",
url = "citeseer.ist.psu.edu/article/denecker93representing.html" }
Citations (may not include all citations):759 Negation as failure (context) - Clark - 1978
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986
270 Logic Programs with Classical Negation (context) - Gelfond, Lifschitz - 1990
117 the relationship between abduction and deduction - Console, Dupre et al. - 1991
105 Making prolog more expressive (context) - Lloyd, Topor - 1984
103 Prediction is deduction but explanation is abduction - Shanahan - 1989
88 Abductive planning with Event Calculus (context) - Eshghi - 1988
78 Acyclic programs (context) - Apt, Bezem - 1990
56 Temporal reasoning with abductive event calculus - Denecker, Missiaen et al. - 1992
51 Representing continuous change in the event calculus - Shanahan - 1990
43 Representing Actions in Logic Programming and its Applicatio.. (context) - Dung - 1993
31 Dealing with Time Granularity in the Event Calculus (context) - Montanari, Maim et al. - 1992
30 Hypothetical Reasoning with Well Founded Semantics (context) - Pereira, Aparicio et al. - 1991
30 Formalizing Database Evolution in the Situation Calculus - Reiter - 1992
30 Localized abductive planning with the event calculus (context) - Missiaen - 1991
26 Knowledge Representation and Reasoning in Incomplete Logic P.. (context) - Denecker - 1993
26 Generalised stable models: a semantics for abduction (context) - Kakas, Mancarella - 1990
24 an abductive procedure for normal abductive programs (context) - Denecker, De Schreye - 1992
19 Justification semantics: a unifying framework for the semant.. (context) - Denecker, De Schreye - 1993
18 The Macro-Event Calculus: Representing Temporal Granularity (context) - Evans - 1990
13 Describing Action and Change by Logic Programs (context) - Gelfond, Lifschitz - 1992
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/1993-E.shtml):
Freeness Analysis in the Presence of Numerical.. - Dumortier, Janssens.. (1993) (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