Xuegang Wang, Peter Mott  Home/Search
Context Related
| scs.leeds.ac.uk/isrg/p...wang_mott99.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: csis1.leeds.ac.uk/pmottpub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we argue that both the stable model semantics and its three-valued version are conceptually flawed. 1 Introduction The semantics of logic programming and deductive databases has been extensively studied in the past two decades. A whole spectrum of semantic theories for logic programs have been proposed, ranging from those that infer very little information from a logic program ("skeptical") to those that infer a great deal ("credulous"). The most skeptical semantics is the... (Update)
Context of citations to this paper: More
...aims to model an essentially nonmonotonic negation. The critical argument on the stable model semantics has been previously reported in [113]. Chapter 6: Quasi stable Semantics. Based on the study of some main existing semantic theories, we proposed a novel semantics for logic...
Cited by: More
Negation in Logic and Deductive Databases - Wang (1999) (Correct)
Similar documents (at the sentence level):
9.8%: Quasi-Stable Semantics of Logic Programs - Wang, Mott (1998) (Correct)
Active bibliography (related documents): More All
0.0: Argumentation-Theoretic Proof Procedures for Default Reasoning - Dung, Kowalski, Toni (1998) (Correct)
0.0: An Abductive Semantics for Disjunctive Logic Programs and its.. - Jia-Huai You (1997) (Correct)
0.0: Disjunctive Logic Programming as Constrained Inferences - Jia-Huai You (1997) (Correct)
Similar documents based on text: More All
0.2: Skeptical Query-Answering in Constrained Default Logic - Schaub, Thielscher (1995) (Correct)
0.2: Credulous Nonmonotonic Inference - Bochman (Correct)
0.2: Defeasible Logics - Geerts, Laenens, Vermeir (1998) (Correct)
Related documents from co-citation: More All
2: A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Propert.. - Dix - 1995
BibTeX entry: (Update)
X. G. Wang and P. Mott. A critical note on stable model semantics. Submitted for publication, available from http://csis1.leeds.ac.uk/pmottpub.htm, 1999. http://citeseer.ist.psu.edu/wang99critical.html More
@misc{ wang99critical,
author = "X. Wang and P. Mott",
title = "A critical note on stable model semantics",
text = "X. G. Wang and P. Mott. A critical note on stable model semantics. Submitted
for publication, available from http://csis1.leeds.ac.uk/pmottpub.htm, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/wang99critical.html" }
Citations (may not include all citations):775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
312 The well-founded semantics for general logic programs - van Gelder, Ross - 1991
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
125 Well-founded semantics coincides with three-valued stable se.. - Przymusinski - 1990
79 On stratified autoepistemic theories (context) - Gelfond - 1987
68 Stable models and non-determinism in logic program with nega.. - Sacca, Zaniolo - 1990
38 The stable model semantics for logic programs (context) - Gelfond, Lifschitz - 1988
28 An argumentation-theoretic foundation for logic programming (context) - Dung - 1995
2 Quasi-stable semantics for logic programs - Wang, Mott - 1998
Documents on the same site (http://csis1.leeds.ac.uk/pmottpub.htm):
A Multi-Broker Architecture For Sharing Information Amongst.. - Mott, Roberts (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