Michael Gelfond, Vladimir Lifschitz  Home/Search
Context Related
| utexas.edu/users/vl/mypape...clnegdd.ps 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: utexas.edu/users/vl/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An important limitation of traditional logic programming as a knowledge representation tool, in comparison with classical logic, is that logic programming does not allow us to deal directly with incomplete information. In order to overcome this limitation, we extend the class of general logic programs by including classical negation, in addition to negation-as-failure. The semantics of such extended programs is based on the method of stable models. The concept of a disjunctive database can be... (Update)
Cited by: More
Towards a General Theory of Topological Maps - Remolina, Kuipers (2002) (Correct)
Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
circ2dlp --- Translating Circumscription into - Disjunctive Logic Programming (Correct)
Similar documents (at the sentence level):
68.9%: Classical Negation in Logic Programs and Disjunctive Databases - Gelfond, Lifschitz (1991) (Correct)
6.3%: Logic Programming and Knowledge Representation - Baral, Gelfond (1994) (Correct)
Active bibliography (related documents): More All
0.2: On Open Defaults - Lifschitz (1990) (Correct)
0.2: Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning - Niemelä (1993) (Correct)
0.2: Causal Action Theories and Satisfiability Planning - Turner (1998) (Correct)
Similar documents based on text: More All
0.1: Formalizing Narratives using Nested Circumscription - Baral, Gabaldon, Provetti (1996) (Correct)
0.1: Autoepistemic Logic and Introspective Circumscription - Gelfond, Lifschitz, al. (Correct)
0.1: Cv - Provetti (Correct)
Related documents from co-citation: More All
53: The Stable Model Semantics for Logic Programming - Gelfond - 1988
29: A Logic for Default Reasoning (context) - Reiter - 1980
28: Negation as Failure (context) - Clark - 1978
BibTeX entry: (Update)
Gelfond, M. and Lifschitz, V., Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing 9(3,4):365--385 (1991). http://citeseer.ist.psu.edu/gelfond91classical.html More
@article{ gelfond91classical,
author = "Michael Gelfond and Vladimir Lifschitz",
title = "Classical Negation in Logic Programs and Disjunctive Databases",
journal = "New Generation Computing",
volume = "9",
number = "3/4",
pages = "365-386",
year = "1991",
url = "citeseer.ist.psu.edu/gelfond91classical.html" }
Citations (may not include all citations):1838 Foundations of logic programming (context) - Lloyd - 1984
858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
850 A logic for default reasoning (context) - Reiter - 1980
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1990
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985
295 On closed world data bases (context) - Reiter - 1978
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990
185 On indefinite data bases and the closed world assumption (context) - Minker - 1982
174 A Kripke-Kleene semantics for logic programs (context) - Fitting - 1985
106 Paraconsistent logic programming (context) - Blair, Subrahmanian - 1989
98 Extended stable semantics for normal and disjunctive program.. (context) - Przymusinski - 1990
81 Logic programs with exceptions (context) - Kowalski, Sadri - 1990
79 On stratified autoepistemic theories (context) - Gelfond - 1987
48 Formalizing common sense: papers by John McCarthy (context) - McCarthy - 1990
47 Relating autoepistemic and default logic (context) - Marek, law - 1989
38 Minimalism subsumes default logic and circumscription (context) - Bidoit, Froidevaux - 1987
33 Autoepistemic logic and formalization of commonsense reasoni.. (context) - Gelfond - 1989
23 Between circumscription and autoepistemic logic (context) - Lifschitz - 1989
22 Argument systems: a uniform basis for nonmonotonic reasoning (context) - Lin, Shoham - 1989
19 Three-valued formalizations of non-monotonic reasoning and l.. (context) - Przymusinski - 1989
11 Gracefully adding negation and disjunction to Prolog (context) - Poole, Goebel - 1986
10 the relationship between logic programming and non-monotonic.. (context) - Przymusinski - 1988
7 Negation by default and nonstratifiable logic programs (context) - Bidoit, Froidevaux - 1988
7 The treatment of negation in logic programs for representing.. (context) - Kowalski - 1989
2 The two sources of nonmonotonicity in vivid logic: weak fals.. (context) - Wagner - 1989
2 defaults and truth maintenance (context) - Marek, law et al. - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.utexas.edu/users/vl/papers.html): More
Representing Action: Indeterminacy and Ramifications - Giunchiglia (1997) (Correct)
Actions with Indirect Effects - Kartha, Lifschitz (1994) (Correct)
SLDNF, Constructive Negation and Grounding - Lifschitz (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