Marc Denecker  Home/Search
Context
Related
| cs.kuleuven.ac.be/~marcd/pap...nmr95.ps cs.kuleuven.ac.be/~dtai/p...16181.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/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The logic program formalism is commonly viewed as a modal or default logic. In this paper, we propose an alternative interpretation of the formalism as a terminological logic. A terminological logic is designed to represent two different forms of knowledge. A TBox represents definitions for a set of concepts. An ABox represents the assertional knowledge of the expert. In our interpretation, a logic program is a TBox providing definitions for all predicates; this interpretation is present... (Update)
Active bibliography (related documents): More All
0.9: A declarative perspective on Abductive Logic Programming - Denecker (Correct)
0.3: 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)
Similar documents based on text: More All
0.3: Open Logic Based on Total-Ordered Partition Model - Dongmo, Wei (1998) (Correct)
0.3: RACE User's Guide and Reference Manual Version 1.1 - Haarslev, Möller, Turhan (1999) (Correct)
0.3: Reasoning with Individuals for the Description Logic SHIQ - Horrocks, Sattler, Tobies (2000) (Correct)
BibTeX entry: (Update)
@misc{ denecker-terminological,
author = "Marc Denecker",
title = "A terminological interpretation of (Abductive) Logic Programming",
url = "citeseer.ist.psu.edu/89464.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
850 A logic for default reasoning (context) - Reiter - 1980
759 Negation as failure (context) - Clark - 1978
451 Circumscription - a form of nonmonotonic reasoning (context) - McCarthy - 1980
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986
295 On Closed World Data bases (context) - Reiter - 1978
270 Logic Programs with Classical Negation (context) - Gelfond, Lifschitz - 1990
256 Representing Action and Change by Logic Programs - Gelfond, Lifschitz - 1993
253 A Logical Framework for Default Reasoning (context) - Poole - 1988
212 Abductive Logic Programming - Kakas, Kowalski et al. - 1993
186 Negation in Logic Programming (context) - Kunen - 1989
181 Mathematical Logic (context) - Shoenfield - 1967
117 the relationship between abduction and deduction - Console, Dupre et al. - 1991
88 Abductive planning with Event Calculus (context) - Eshghi - 1988
77 Representing Incomplete Knowledge in Abductive Logic Program.. - Denecker, De Schreye - 1994
69 Temporal Reasoning in Logic Programming: A Case for the Situ.. - Pinto, Reiter - 1993
56 Temporal reasoning with abductive event calculus - Denecker, Missiaen et al. - 1992
32 The Situation Calculus and Event Calculus Compared (context) - Kowalski, Sadri - 1994
30 Localized abductive planning with the event calculus (context) - Missiaen - 1991
30 Formalizing Database Evolution in the Situation Calculus - Reiter - 1992
30 Hypothetical Reasoning with Well Founded Semantics (context) - Pereira, Aparicio et al. - 1991
26 Generalised stable models: a semantics for abduction (context) - Kakas, Mancarella - 1990
26 Knowledge Representation and Reasoning in Incomplete Logic P.. (context) - Denecker - 1993
26 A terminological interpretation (context) - Denecker, De Schreye - 1994
25 On integrity constraints (context) - Reiter - 1988
25 Extended Logic Programs as Autoepistemic Theories - Lifschitz, Schwarz - 1993
19 Justification semantics: a unifying framework for the semant.. (context) - Denecker, De Schreye - 1993
17 Competence in Knowledge Representation (context) - Brachman, Levesque - 1982
8 Reasoning in Open Domains - Gelfond, Przymusinska - 1993
2 Representing Null Values in Logic Programming (context) - Traylor, Gelfond - 1993
Documents on the same site (http://www.cs.kuleuven.ac.be/~marcd/publications.html): More
The Well-founded Semantics Is the Principle of Inductive Definition - Denecker (1998) (Correct)
Fixpoint 3-Valued Semantics for Autoepistemic Logic - Denecker, Marek, Truszczy'nski (1998) (Correct)
A Strong Correspondence between Description Logics.. - Van Belleghem.. (1997) (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