Kewen Wang  Home/Search
Context Related
| cs.unipotsdam.de/wv/pdff...wang01a.pdf 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.unipotsdam.de/wv/publ...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reached about which semantics is the most intended. In this paper we look at disjunctive well-founded reasoning from different angles. We show that there is an intuitive form of the well-founded reasoning in disjunctive logic programming which can be equivalently characterized by several different approaches including... (Update)
Context of citations to this paper: More
...logic programs. The situation becomes much more dicult when discussing extensions of the logic programming paradigm like disjunctive [22], quantitative [23] or dynamic [24] logic programming. For many of these extensions it is as yet to be determined what the best ways of...
Cited by: More
Level Mapping Characterizations of Selector Generated Models .. - Hitzler, Schwarz (2005) (Correct)
Towards a Systematic Account of Different Semantics for Logic.. - Hitzler (2003) (Correct)
Towards a Systematic Account of Different Logic Programming.. - Hitzler (2003) (Correct)
Similar documents (at the sentence level):
51.8%: A Comparative Study of Well-founded Semantics for Disjunctive.. - Wang (2001) (Correct)
Active bibliography (related documents): More All
1.3: A Top-down Procedure for Disjunctive Well-founded Semantics - Wang (2001) (Correct)
0.3: Disjunctive Logic Programming: A Survey And Assessment - Minker, Seipel (Correct)
0.3: Argumentation-Based Abduction in Disjunctive Logic Programming - Wang (2000) (Correct)
Similar documents based on text: More All
0.4: Preferred Well-Founded Semantics for Logic Programming By.. - Schaub, Wang (Correct)
0.4: A Comparative Study of Logic Programs with Preference - Schaub, Wang (2001) (Correct)
0.2: NoMoRe: Non-Monotonic Reasoning with Logic Programs - Anger, Konczak, Linke (2002) (Correct)
Related documents from co-citation: More All
4: The Stable Model Semantics for Logic Programming - Gelfond - 1988
4: the Declarative Semantics of Deductive Databases and Logic Programs (context) - Przymusinski - 1988
4: Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. - 1988
BibTeX entry: (Update)
Wang, K.: A comparative study of well-founded semantics for disjunctive logic programs. In Eiter, T., Faber, W., Truszczynski, M., eds.: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Volume 2173 of Lecture Notes in Arti cial Intelligence., Springer (2001) 133-146 http://citeseer.ist.psu.edu/article/wang01comparative.html More
@article{ wang01comparative,
author = "Kewen Wang",
title = "A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs",
journal = "Lecture Notes in Computer Science",
volume = "2173",
pages = "133--??",
year = "2001",
url = "citeseer.ist.psu.edu/article/wang01comparative.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
234 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
189 Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992
185 On indefinite databases and the closed world assumption (context) - Minker - 1982
61 Disjunctive stable models: unfounded sets (context) - Leone, Rullo et al. - 1997
55 A procedural semantics for well-founded negation in logic pr.. - Ross - 1992
13 Characterizations of the Disjunctive Well-founded Semantics:.. - Brass, Dix - 1998
11 Negation in logic programming: A formalization in constructi.. (context) - Bry - 1990
11 the partial semantics for disjunctive deductive databases - Eiter, Leone et al. - 1997
7 Semantics of disjunctive logic programs based on partial eva.. - Brass, Dix - 1999
6 An abductive approach to disjunctive logic programming - You, Yuan et al. - 2000
5 the equivalence of the Static and Disjunctive Well-founded S.. - Brass, Dix et al. - 2001
3 Argumentation-based abduction in disjunctive logic programmi.. - Wang - 2000
3 Static semantics of logic programs (context) - Przymusinski - 1995
2 A top-down procedure for disjunctive well-founded semantics - Wang - 2001
Documents on the same site (http://www.cs.uni-potsdam.de/wv/publications/index.html): More
Significant Inferences: Preliminary Report - Besnard, Schaub (2000) (Correct)
A Top-down Procedure for Disjunctive Well-founded Semantics - Wang (2001) (Correct)
Graphs and Colorings for Answer Set Programming with.. - Konczak, Schaub, Linke (2003) (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