Chiaki Sakama ASTEM Research Institute of Kyoto 17 Chudoji Minami-machi...  Home/Search
Context Related
| sys.wakayamau.ac.jp/~s...lpnmr93.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: sys.wakayamau.ac.jp/~s...lpnmr93 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents the relationship between disjunctive logic programs and default theories. We first show that Bidoit and Froidevaux's positivist default theory causes a problem in the presence of disjunctive information in a program. Then we present a correct transformation of disjunctive logic programs into default theories and show a one-to-one correspondence between the stable models of a program and the extensions of its associated default theory. We also extend the results to extended... (Update)
Context of citations to this paper: More
...f :c ( c : c 2 g : This lemma too is easily veri ed. It is similar to an embedding of disjunctive programs into default logic due to Sakama and Inoue [ 1993 ] 2 complete. Proof We rst establish 2 membership. Let T be a causal theory. If we know that I j= T , then it is...
Cited by: More
Interpolation Theorems for Nonmonotonic Reasoning Systems - Amir (2002) (Correct)
Nonmonotonic Causal Theories - Giunchiglia, Lee, Lifschitz, McCain, .. (2004) (Correct)
Disjunctive Datalog - Eiter, Gottlob, Mannila (1997) (Correct)
Active bibliography (related documents): More All
0.6: Logical Formalization of Concurrent Actions for.. - Soutchanski, Ternovskaia (Correct)
0.2: An Overview of Nonmonotonic Reasoning and Logic Programming - Minker (1993) (Correct)
0.2: Logic Programming and Knowledge Representation - Baral, Gelfond (1994) (Correct)
Similar documents based on text: More All
1.2: On Positive Occurrences of Negation as Failure - Inoue, Sakama (1994) (Correct)
1.2: Negation in Disjunctive Logic Programs - Sakama, Inoue (1993) (Correct)
1.2: On the Equivalence between Disjunctive and Abductive Logic.. - Sakama, Inoue (1994) (Correct)
Related documents from co-citation: More All
12: Classical Negation in Logic Programs and Disjunctive Databases - Gelfond, Lifschitz - 1991
12: A Logic for Default Reasoning (context) - Reiter - 1980
10: Stable semantics for disjunctive programs - Przymusinski - 1991
BibTeX entry: (Update)
C. Sakama and K. Inoue. Relating Disjunctive Logic Programs to Default Theories. In L.- M. Pereira and A. Nerode, editors, Proc. Second Intl Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR '93), pp. 266--282, Lisbon, July 1993. MIT Press. http://citeseer.ist.psu.edu/sakama93relating.html More
@inproceedings{ sakama93relating,
author = "Chiaki Sakama and Katsumi Inoue",
title = "Relating Disjunctive Logic Programs to Default Theories",
booktitle = "Logic Programming and Non-monotonic Reasoning",
pages = "266-282",
year = "1993",
url = "citeseer.ist.psu.edu/sakama93relating.html" }
Citations (may not include all citations):858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988
850 A Logic for Default Reasoning (context) - Reiter - 1980
451 Circumscription - a form of nonmonotonic reasoning (context) - McCarthy - 1980
374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991
311 Semantical Considerations on Nonmonotonic Logic (context) - Moore - 1985
98 Extended Stable Semantics for Normal and Disjunctive Program.. (context) - Przymusinski - 1990
35 Nonmonotonic Databases and Epistemic Queries (context) - Lifschitz - 1991
34 Default and Autoepistemic Semantics for General Logic Progra.. (context) - Marek, Subrahmanian - 1992
33 What the Lottery Paradox Tells us about Default Reasoning - Poole - 1989
33 Negation by Default and Unstratifiable Logic Programs (context) - Bidoit, Froidevaux - 1991
31 Stable Semantics for Logic Programs and Default Theories (context) - Marek, Truszczynski - 1989
18 A Logic of Knowledge and Justified Assumptions (context) - Lin, Shoham - 1992
16 Modal Interpretations of Default Logic (context) - Truszczynski - 1991
16 Minimalism in Deductive Databases (context) - Bidoit, Hull - 1986
15 Autoepistemic Circumscription and Logic Programming - Yuan - 1992
10 General Logic Databases and Programs: Default Logic Semantic.. (context) - Bidoit, Froidevaux - 1991
7 Making Default Inference from Logic Programs (context) - Li - 1991
5 Relating Minimal Models and Pre-Requisite-Free Normal Defaul.. - Lobo, Subrahmanian - 1992
3 on Principles of Knowledge Representation and Reasoning (context) - Gelfond, Lifschitz et al. - 1991
3 on Principles of Knowledge Representation and Reasoning (context) - Lifschitz - 1989
1 on Principles of Knowledge Representation and Reasoning (context) - Marek, Truszczynski - 1989
1 the Relationship between Nonmonotonic Reasoning and Logic Pr.. (context) - Przymusinski - 1988
The graph only includes citing articles where the year of publication is known.
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