José Júlio Alferes, Luís Moniz Pereira  Home/Search
Context
Related
| centria.di.fct.unl.pt/~lmp...jncl.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: . The main goal of this paper is to establish a nonmonotonic epistemic logic EB with two modalities -- provability and belief -- capable of expressing and comparing a variety of known semantics for extended logic programs, and clarify their meaning. In particular we present here, for the first time, embeddings into epistemic logic of logic programs extended with a second kind of negation under the well-- founded semantics, and contrast them to the recent embeddings into autoepistemic logics of... (Update)
Similar documents (at the sentence level):
17.1%: Reasoning with Logic Programming - Alferes, Pereira (1996) (Correct)
Active bibliography (related documents): More All
1.5: Parallel Logic Programming With Extensions - Pereira, Cunha, Damas (1995) (Correct)
1.0: Belief, Probability, and Logic Programs - Alferes, Pereira (Correct)
0.7: Logic Programming and Knowledge Representation - Baral, Gelfond (1994) (Correct)
Similar documents based on text: More All
0.7: An Argumentation Theoretic Semantics Based on Non-Refutable.. - Alferes, Pereira (Correct)
0.6: The Quest for Software Components Quality - Goulão, Abreu (2002) (Correct)
0.5: Towards a Components Quality Model - Goulão, Abreu (2002) (Correct)
BibTeX entry: (Update)
@misc{ alferes-belief,
author = "José Júlio Alferes and Luís Moniz Pereira",
title = "Belief, Provability, and Logic Programs",
url = "citeseer.ist.psu.edu/199353.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
850 A logic for default reasoning (context) - Reiter - 1980
343 Modal Logic: An introduction (context) - Chellas - 1980
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
295 On closed--world data bases (context) - Reiter - 1978
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990
185 On indefinite databases and the closed world assumption (context) - Minker - 1987
123 A companion to modal logic (context) - Hughes, Cresswell - 1984
117 Abduction compared with negation by failure (context) - Eshghi, Kowalski - 1989
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
81 Logic programs with exceptions (context) - Kowalski, Sadri - 1990
79 On stratified autoepistemic theories (context) - Gelfond - 1987
54 Diagnosis and debugging as contradiction removal - Pereira, asio et al. - 1993
54 Contradiction Removal within Well Founded Semantics (context) - Pereira, Alferes et al. - 1991
50 Classifying semantics of logic programs (context) - Dix - 1991
48 On logic program semantics with two kinds of negation - Alferes, Pereira - 1992
48 Nonmonotonic reasoning with well founded semantics - Pereira, cio et al. - 1991
46 Non--monotonic reasoning with logic programming - Pereira, cio et al. - 1993
45 Semantic issues in deductive databases and logic programs - Przymusinska, Przymusinski - 1990
43 A framework for representing and characterizing semantics of.. (context) - Dix - 1992
43 Minimal belief and negation as failure - Lifschitz - 1992
38 Semantics considerations on nonmonotonic logic (context) - Moore - 1985
38 Minimalism subsumes default logic and circumscription in str.. (context) - Bidoit, Froidevaux - 1987
37 A database needs two kinds of negation (context) - Wagner - 1991
30 Autoepistemic logic of closed beliefs and logic programming - Przymusinski - 1991
28 Contradiction: when avoidance equal removal (context) - Alferes, Pereira - 1994
28 Well founded reasoning with classical negation (context) - Dung, Ruamviboonsuk - 1991
26 Top-down query evaluation for well-founded semantics with ex.. - Alferes, asio et al. - 1994
25 Constructible falsity (context) - Nelson - 1949
25 Extended logic programs as autoepistemic theories - Lifschitz, Schwarz - 1993
20 Autoepistemic logics as a unifying framework for the semanti.. (context) - Bonatti - 1992
18 Autoepistemic logic of knowledge (context) - Schwarz - 1991
14 Default theory for well founded semantics with explicit nega.. (context) - Pereira, Alferes et al. - 1992
13 Negation as hypotheses: An abductive framework for logic pro.. (context) - Dung - 1991
12 Scenario semantics of extended logic programs - Alferes, Dung et al. - 1993
10 Semantics of Logic Programs with Explicit Negation (context) - Alferes - 1993
9 Optative reasoning with scenario semantics (context) - Pereira, Alferes - 1993
9 A semantics for disjunctive logic programs (context) - Przymusinski - 1991
8 negation as failure = only knowing (context) - Chen - 1993
8 Reflexive autoepistemic logic and logic programming (context) - Marek, Truszczynski - 1993
7 II: Extended logic programs and related nonmonotonic formali.. (context) - Pearce, constructive - 1993
4 Static semantics for normal and disjunctive programs (context) - Przymusinski - 1993
4 Belief revision in nonmonotonic reasoning and logic programm.. - Alferes, Pereira et al. - 1994
3 the semantics of conflit resolution in truth maintenance sys.. (context) - Jonker - 1991
1 Personal communication of the second author (context) - Lamarre, Shoham et al. - 1993
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