Lu'is Moniz Pereira Jos'e J'ulio Alferes Joaquim Nunes Apar'icio CRIA Uninova ...  Home/Search
Context
Related
| centria.di.fct.unl.pt/~...lpnmr91.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: Our purpose is to define a semantics that extends Well Founded Semantics for programs with classical negation, and which avoids the absence of models caused by contradictions brought about by closed world assumptions. This extension relies on allowing to take back such closed world assumptions, through making their truth value become undefined, and thus permiting noncontradictory models to appear. We take back such assumptions in a minimal way for all alternative ways of removing... (Update)
Similar documents (at the sentence level):
18.5%: The Extended Stable Models of Contradiction Removal Semantics - Lu'is Moniz (Correct)
Active bibliography (related documents): More All
0.2: Hierarchical Constraint Logic Programming - Wilson, Borning (1993) (Correct)
0.2: On Tests for Hypothetical Reasoning - McIlraith, Reiter (1992) (Correct)
0.2: Inductive Logic Programming: Theory And Methods - Muggleton, De Raedt (1994) (Correct)
Similar documents based on text: More All
0.7: An Argumentation Theoretic Semantics Based on Non-Refutable.. - Alferes, Pereira (Correct)
0.3: Contradiction Removal Semantics with Explicit Negation - Pereira, Alferes.. (1992) (Correct)
0.3: Default theory for Well Founded Semantics with Explicit Negation - Lu'is Moniz (Correct)
BibTeX entry: (Update)
@inproceedings{ pereira91contradiction,
author = "Luis Moniz Pereira and Jose Julio Alferes and Joaquim Nunes Aparicio",
title = "Contradiction Removal within Well Founded Semantics",
booktitle = "Logic Programming and Non-monotonic Reasoning",
pages = "105-119",
year = "1991",
url = "citeseer.ist.psu.edu/206663.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1990
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990
98 Extended stable semantics for normal and disjunctive program.. (context) - Przymusinski - 1990
88 Every logic program has a natural stratification and an iter.. - Przymusinski - 1989
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
32 A derivation procedure for extended stable models - Pereira, Apar'icio et al. - 1991
30 Hypothetical reasoning with well founded semantics (context) - Pereira, Apar'icio et al. - 1991
24 Counterfactual reasoning based on revising assumptions - Pereira, Apar'icio et al. - 1991
12 A framework for Prolog debugging (context) - Pereira, Calejo - 1988
4 An algorithm for finding a query which discriminates competi.. (context) - Seki, Takeuchi - 1985
4 Refining knowledge base updates (context) - Calejo, Pereira et al. - 1990
2 The XWAM: A machine that integrats prolog and deductive data.. (context) - Warren - 1989
2 Top-Down procedures for well founded semantics (context) - Pereira, Apar'icio et al. - 1990
1 Using crucial literals to select better thoeries (context) - Sattar, Goebel - 1990
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