Marc Denecker, Danny De Schreye  Home/Search
Context Related
Links: ACM DBLP | cs.kuleuven.ac.be/~dtai/pu...1903.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/...1995E.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.... (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):
32.9%: Representing Incomplete Knowledge in Abductive Logic.. - Denecker, De Schreye (1993) (Correct)
Active bibliography (related documents): More All
0.5: The Abductive Event Calculus as a General Framework .. - Van Belleghem.. (1994) (Correct)
0.5: SLDNFA: an abductive procedure for normal abductive programs - Denecker, De Schreye (1992) (Correct)
0.4: SLDNFA: an abductive procedure for abductive logic programs - Denecker, De Schreye (1997) (Correct)
Similar documents based on text: More All
0.3: Coherent Composition of Distributed.. - Arieli, Van.. (2001) (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/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/denecker93representing.html" }
Citations (may not include all citations):759 Negation as failure (context) - Clark - 1978 ACM DBLP
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986 ACM DBLP
270 Logic Programs with Classical Negation (context) - Gelfond, Lifschitz - 1990 ACM DBLP
117 the relationship between abduction and deduction - Console, Dupre et al. - 1991
105 Making prolog more expressive (context) - Lloyd, Topor - 1984 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
77 Representing incomplete knowledge in abductive logic program.. - Denecker, De Schreye - 1993 ACM DBLP
66 and the frame problem (context) - Hanks, McDermott et al. - 1986
56 Temporal reasoning with abductive event calculus - Denecker, Missiaen et al. - 1992 ACM DBLP
55 Analysis of meta-programs (context) - Hill, Lloyd - 1989 ACM DBLP
51 Representing continuous change in the event calculus - Shanahan - 1990 DBLP
43 Representing Actions in Logic Programming and its Applicatio.. (context) - Dung - 1993 ACM DBLP
33 Negation as failure as an approach to the Hanks and McDermot.. (context) - Evans - 1989
31 Dealing with Time Granularity in the Event Calculus (context) - Montanari, Maim et al. - 1992
30 Formalizing Database Evolution in the Situation Calculus - Reiter - 1992 DBLP
30 Reasoning about Action in First-Order Logic - Elkan - 1992
30 Hypothetical Reasoning with Well Founded Semantics (context) - Pereira, Aparicio et al. - 1991 DBLP
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
17 The role of logic in knowledge representation and commonsens.. (context) - Moore - 1982 DBLP
14 the duality of abduction and model generation (context) - Denecker, De Schreye - 1992
13 Describing Action and Change by Logic Programs (context) - Gelfond, Lifschitz - 1992
9 the Duality of Abduction and Model Generation in a Framework.. - Denecker, De Schreye - 1994
8 A perfect Herbrand semantics for untyped vanilla meta-progra.. (context) - Martens, De Schreye - 1992 DBLP
5 Elsevier Science Publisher (context) - Kowalski, problem - 1976
2 Philosophical Writings of Pierce (context) - Pierce - 1955
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/1995-E.shtml): More
Automated Design of Deductive Databases (Extended Abstract) - Blockeel, De Raedt (Correct)
CHICA, an abductive planning system based on Event Calculus - Missiaen, Bruynooghe.. (1994) (Correct)
A terminological interpretation of (Abductive) Logic Programming - Denecker (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