programs Carlos Viegas Dam'asio, Lu'is Moniz Pereira CRIA, Uninova and DCS,...  Home/Search
Context
Related
| centria.di.fct.unl.pt/~...lpnmr95.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/~cd...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, provides a representational expressivity that captures a wide variety of logical reasoning forms [6, 16, 22] (Update)
Similar documents (at the sentence level):
11.5%: A Logic Programming System for Non-monotonic Reasoning - Alferes, Damásio, Pereira (1995) (Correct)
Active bibliography (related documents): More All
1.0: Abduction Over 3-Valued Extended Logic Programs - Damásio, Pereira (Correct)
0.5: SLX -- A top-down derivation procedure for programs with.. - Jos'e Ulio (Correct)
0.4: Top-Down Query Evaluation for Well-Founded Semantics .. - Alferes.. (1994) (Correct)
Similar documents based on text: More All
0.8: REVISE: An Extended Logic Programming System for Revising.. - Damasio, Nejdl, al. (1994) (Correct)
0.7: Nonmonotonic Reasoning with Well Founded Semantics - Pereira, Aparício (1991) (Correct)
0.6: Default Negated Conclusions: Why Not? - Damásio, Pereira (Correct)
BibTeX entry: (Update)
@misc{ viegas-abduction,
author = "Programs Carlos Viegas",
title = "Abduction Over 3-Valued Extended Logic",
url = "citeseer.ist.psu.edu/693638.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz
759 Negation as failure (context) - Clark - 1978
312 The well-founded semantics for general logic programs - Gelder, Ross et al. - 1991
295 On closed--world data bases (context) - Reiter - 1978
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990
212 Abductive logic programming - Kakas, Kowalski et al. - 1993
199 Reasoning about action using a possible model approach (context) - Winslett - 1988
149 Logic programming and knowledge representation - Baral, Gelfond - 1994
132 Towards a logical reconstruction of relational database theo.. (context) - Reiter - 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
106 Paraconsistent logic programming (context) - Blair, Subrahmanian - 1989
98 Extended stable semantics for normal and disjunctive program.. (context) - Przymusinski - 1990
88 Generalized stable models: A semantics for abduction (context) - Kakas, Mancarella - 1990
70 A logic programming system for non-monotonic reasoning - Alferes, Dam'asio et al. - 1995
54 Contradiction Removal within Well Founded Semantics (context) - Pereira, Alferes et al. - 1991
54 Diagnosis and debugging as contradiction removal - Pereira, Dam'asio et al. - 1993
50 An assumption--based framework for nonmonotonic reasoning - Bondarenko, Toni et al. - 1993
48 On logic program semantics with two kinds of negation - Alferes, Pereira - 1992
48 A basis for deductive database systems (context) - Lloyd, Topor - 1985
46 Non--monotonic reasoning with logic programming - Pereira, Apar'icio et al. - 1993
46 Representing actions in extended logic programs (context) - Gelfond, Lifschitz - 1992
40 SLDNFA: an abductive procedure for normal abductive programs - Denecker, Schreye
28 Contradiction: when avoidance equal removal (context) - Alferes, Pereira - 1994
14 Extended well--founded semantics for paraconsistent logic pr.. - Sakama - 1992
13 Negation as hypotheses: An abductive framework for logic pro.. (context) - Dung - 1991
11 A top-down derivation procedure for programs with explicit n.. (context) - Alferes, Dam'asio et al. - 1994
11 A proof procedure for extended logic programs - Teusink - 1993
10 Semantics of Logic Programs with Explicit Negation (context) - Alferes - 1993
6 Neutralization and preeemption in extended logic programs (context) - Wagner - 1993
6 Logic programming with strong negation and innexact predicat.. (context) - Wagner - 1991
Documents on the same site (http://centria.di.fct.unl.pt/~cd/publicacoes/index.html): More
Diagnosis and Debugging as Contradiction Removal - Pereira, Damásio.. (1993) (Correct)
A Frame-based Characterisation of the Paraconsistent.. - Alcantara, Damasio.. (Correct)
Query Answering in Rough Knowledge Bases - Vitória, Damásio.. (2003) (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