Luís Moniz Pereira, José J. Alferes, Joaquim N. Aparício  Home/Search
Context Related
| centria.di.fct.unl.pt/~lm...aploc.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: . Well Founded Semantics for logic programs extended with eXplicit negation (WFSX) is characterized by that, in any model, whenever :a (the explicit negation of a) holds, then ¸a (the negation by default of a) also holds. When explicit negation is used contradiction may be present (e.g. a and :a both hold for some a) and thus no semantics is given to the program. We introduce here the notion of removing some contradictions, through identifying the set of models obtained by revising closed... (Update)
Context of citations to this paper: More
...the first issue to consider is which default literals true by CWA are allowed to change their truth values. We simplify the approach of [17] along the lines of [16] taking as candidates for change default literals true by CWA in the WFSXp model. By making this...
.... 13, 14, 15, 24] Different semantics for logic programs extended with : negation (extended logic programs) have appeared [1, 4, 6, 9, 11, 12, 17, 19, 24] but, contrary to what happens with semantics for normal logic programs, there is no general comparison among them,...
Cited by: More
Logic Aided Lamarckian Evolution - Lamma, Pereira (2000) (Correct)
Model-based Diagnosis Preferences and Strategies.. - Damásio.. (1995) (Correct)
Scenario Semantics of Extended Logic Programs - Alferes, Dung, Pereira (Correct)
Similar documents (at the sentence level): More
25.6%: Non-monotonic Reasoning with Logic Programming - Pereira, Aparício.. (1993) (Correct)
7.6%: Default theory for Well Founded Semantics with Explicit Negation - Lu'is Moniz (Correct)
6.6%: Logic Programming for Non--monotonic Reasoning - Lu'is Moniz (Correct)
Active bibliography (related documents): More All
0.4: On Logic Program Semantics with Two Kinds of Negation - Alferes, Pereira (1992) (Correct)
0.4: Parallel Logic Programming With Extensions - Pereira, Cunha, Damas (1995) (Correct)
0.3: Belief, Provability, and Logic Programs - Alferes, Pereira (Correct)
Similar documents based on text: More All
0.4: Contradiction: when avoidance equals removal - Part II - Pereira, Alferes (1994) (Correct)
0.4: A Logic Programming System for Non-monotonic Reasoning - Alferes, Damásio, Pereira (1995) (Correct)
0.4: REVISE: An Extended Logic Programming System for Revising.. - Damasio, Nejdl, al. (1994) (Correct)
Related documents from co-citation: More All
14: Well--founded semantics for logic programs with explicit negation (context) - Pereira, Alferes
12: Diagnosis and debugging as contradiction removal - Pereira, asio et al. - 1993
12: Contradiction removal within well founded semantics (context) - Pereira, Alferes et al. - 1991
BibTeX entry: (Update)
Pereira, L.M., Alferes, J.J., Aparicio, J.N., Contradiction removal semantics with explicit negation Proc. Applied Logic Conference, Amsterdam (1992) http://citeseer.ist.psu.edu/pereira92contradiction.html More
@inproceedings{ pereira92contradiction,
author = "Luiz Moniz Pereira and Jose Julio Alferes and Joaquim Nunes Aparicio",
title = "Contradiction Removal Semantics with Explicit Negation",
booktitle = "Logic at Work",
pages = "91-105",
year = "1992",
url = "citeseer.ist.psu.edu/pereira92contradiction.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984
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. - 1991
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990
110 Well founded semantics for logic programs with explicit nega.. (context) - Pereira, Alferes - 1992
98 Extended stable semantics for normal and disjunctive program.. (context) - Przymusinski - 1990
98 Extended stable semantics for normal and disjunctive program.. (context) - Przymusinski - 1990
81 Logic programs with exceptions (context) - Kowalski, Sadri - 1990
54 Contradiction Removal within Well Founded Semantics (context) - Pereira, Alferes et al. - 1991
48 Nonmonotonic reasoning with well founded semantics - Pereira, Apar'icio et al. - 1991
48 On logic program semantics with two kinds of negation - Alferes, Pereira - 1992
46 Non--monotonic reasoning with logic programming - Pereira, Apar'icio et al. - 1993
45 Semantic issues in deductive databases and logic programs - Przymusinska, Przymusinski - 1990
42 Problems and promises of computational logic (context) - Kowalski - 1990
37 A database needs two kinds of negation (context) - Wagner - 1991
30 Hypothetical reasoning with well founded semantics (context) - Pereira, Apar'icio et al. - 1991
28 Well founded reasoning with classical negation (context) - Dung, Ruamviboonsuk - 1991
24 Extended logic programs with default assumptions (context) - Inoue - 1991
24 Counterfactual reasoning based on revising assumptions - Pereira, Apar'icio et al. - 1991
14 Default theory for well founded semantics with explicit nega.. (context) - Pereira, Alferes et al. - 1992
9 A semantics for disjunctive logic programs (context) - Przymusinski - 1991
8 The extended stable models of contradiction removal semantic.. (context) - Pereira, Alferes et al. - 1991
8 Well founded semantics with explicit negation and default th.. (context) - Pereira, Alferes et al. - 1992
The graph only includes citing articles where the year of publication is known.
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