Lu'is Moniz Pereira Jos'e J. Alferes Joaquim N. Apar'icio AI Centre, Uninova...  Home/Search
Context
Related
| centria.di.fct.unl.pt/~lmp/...tcs.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: centria.di.fct.unl.pt/~l...Biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Given a program P we specify an enlargement of its Well Founded Model which gives meaning to the adding of Closed World Assumptions. We do so by proposing the desirable principles of a Closed World Assumption (CWA), and proceed to formally define and apply them to Well Founded Semantics (WFS), in order to obtain a WFS added with CWA, the O-semantics. After an introduction and motivating examples, there follow the presentation of the concepts required to formalize the model structure, the... (Update)
Similar documents (at the sentence level):
54.0%: Adding Closed World Assumptions to Well Founded Semantics - Pereira, Alferes.. (1994) (Correct)
Active bibliography (related documents): More All
0.2: Non-monotonic Reasoning with Logic Programming - Pereira, Aparício.. (1993) (Correct)
0.2: Contradiction Removal Semantics with Explicit Negation - Pereira, Alferes.. (1992) (Correct)
0.2: The Extended Stable Models of Contradiction Removal Semantics - Lu'is Moniz (Correct)
Similar documents based on text: More All
0.5: Contradiction Removal within Well Founded Semantics - Lu'is Moniz (Correct)
0.3: Belief, Provability, and Logic Programs - Alferes, Pereira (Correct)
0.3: An Argumentation Theoretic Semantics Based on Non-Refutable.. - Alferes, Pereira (Correct)
BibTeX entry: (Update)
@article{ pereira94adding,
author = "Lu{\'\i}s Moniz Pereira and Jos{\'e} J. Alferes and Joaquim N. Apar{\'\i}cio",
title = "Adding closed world assumptions to well-founded semantics",
journal = "Theoretical Computer Science",
volume = "122",
number = "1--2",
pages = "49--68",
year = "1994",
url = "citeseer.ist.psu.edu/205568.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
185 On indefinite databases and the closed world assumption (context) - Minker - 1987
98 Extended stable semantics for normal and disjunctive program.. (context) - Przymusinski - 1990
54 Contradiction Removal within Well Founded Semantics (context) - Pereira, Alferes et al. - 1991
50 Classifying semantics of logic programs (context) - Dix - 1991
48 Nonmonotonic reasoning with well founded semantics - Pereira, Apar'icio et al. - 1991
45 Semantic issues in deductive databases and logic programs - Przymusinska, Przymusinski - 1990
30 Hypothetical reasoning with well founded semantics (context) - Pereira, Apar'icio et al. - 1991
27 Stable theories for logic programs (context) - Kakas, Mancarella - 1991
24 Counterfactual reasoning based on revising assumptions - Pereira, Apar'icio et al. - 1991
8 The extended stable models of contradiction removal semantic.. (context) - Pereira, Alferes et al. - 1991
5 Negation as stable hypothesis (context) - Kakas, Mancarella - 1991
1 Department of Computer Science-Univerdade Nova de Lisboa (context) - Monteiro, the et al. - 1992
Documents on the same site (http://centria.di.fct.unl.pt/~lmp/publications/Biblio.html): More
Belief Revision in Non-Monotonic Reasoning and Logic Programming - Alferes, Pereira (1996) (Correct)
Updating Temporal Knowledge Bases with the Possible Causes.. - Li, Pereira (1996) (Correct)
LUPS - a language for updating logic programs - Alferes, Pereira.. (1999) (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