Ofer Arieli  Home/Search
Context Related
Links: ACM DBLP | cs.kuleuven.ac.be/~dtai/p...36809.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: cs.kuleuven.ac.be/...2002E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce a fixpoint semantics for logic programs with two kinds of negation:... (Update)
Context of citations to this paper: More
...well founded semantics, the latter approximating the former. The other line of research was pursued mainly by Avron and Arieli [AA94, AA98, Ari02], who use bilattices for paraconsistent reasoning in logic programming. The above outline of the historical development of...
Cited by: More
Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
Any-World Assumptions in Logic Programming - Loyer, Straccia (2005) (Correct)
Epistemic Foundation of the Well-Founded Semantics over.. - Loyer, Straccia (Correct)
Active bibliography (related documents): More All
1.2: Repairing Inconsistent Databases: A.. - Arieli, Denecker, .. (Correct)
0.6: Circumscriptive Approaches to Paraconsistent Reasoning - Arieli, Denecker (2001) (Correct)
0.6: A Survey of Paraconsistent Semantics for Logic Programs - Damásio, Pereira (1998) (Correct)
Similar documents based on text: More All
0.3: Modeling Paraconsistent Reasoning by Classical Logic - Arieli, Denecker (Correct)
0.2: Coherent Integration of Databases by Abductive Logic.. - Arieli, Denecker, al. (2004) (Correct)
0.2: A Model-Theoretic Approach for Recovering Consistent Data from .. - Arieli, Avron (1999) (Correct)
Related documents from co-citation: More All
5: The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross et al. - 1991
5: Fixpoint semantics for logic programming -- a survey - Fitting - 1999
5: The family of stable models - Fitting - 1993
BibTeX entry: (Update)
Ofer Arieli. Paraconsistent declarative semantics for extended logic programs. Annals of Mathematics and Arti cial Intelligence, 36(4):381-417, 2002. http://citeseer.ist.psu.edu/arieli02paraconsistent.html More
@article{ arieli02paraconsistent,
author = "O. Arieli",
title = "Paraconsistent declarative semantics for extended logic programs",
journal = "Annals of Mathematics and Artificial Intelligence", volume = "36",
number = "4",
pages = "381--417",
year = "2002",
url = "citeseer.ist.psu.edu/arieli02paraconsistent.html" }
Citations (may not include all citations):1838 Foundations of logic programming (context) - Lloyd - 1987 ACM
858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988 DBLP
759 Negation as failure (context) - Clark - 1978 ACM DBLP
343 Introduction to metamathematics (context) - Kleene - 1950
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990 ACM DBLP
234 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991 ACM DBLP
183 A useful four-valued logic (context) - Belnap - 1977
174 Kripke-Kleene semantics for logic programs (context) - Fitting - 1985
162 The semantics of predicate logic as a programming language (context) - van-Emden, Kowalski - 1976 ACM DBLP
149 Logic programming and knowledge representation - Baral, Gelfond - 1994 ACM DBLP
120 Bilattices and the semantics of logic programming - Fitting - 1991 ACM DBLP
110 Well-founded semantics for logic programs with explicit nega.. (context) - Pereira, Alferes - 1992
99 Multi-valued logics: A uniform approach to reasoning in arti.. (context) - Ginsberg - 1988
98 Extended stable semantics for normal and disjunctive program.. (context) - Przymusinski - 1990 ACM DBLP
95 Possibilistic logic - Dubios, Lang et al. - 1994 ACM
94 General patterns in nonmonotonic reasoning (context) - Makinson - 1994 ACM
81 Logic programs with exceptions (context) - Kowalski, Sadri - 1990 ACM DBLP
79 Simple consequence relations - Avron - 1991 ACM DBLP
64 Dynamic updates of non-monotonic knowledge base - Alferes, Leite et al. - 2000
48 Nonmonotonic reasoning with well founded semantics - Pereira, Apar et al. - 1991 DBLP
45 Semantic issues in deductive databases and logic programs - Przymusinska, Przymusinski - 1990
38 Weakly perfect model semantics for logic programs (context) - Przymusinska, Przymusinski - 1988 DBLP
38 The family of stable models - Fitting - 1993 DBLP
36 Reasoning with logical bilattices - Arieli, Avron - 1996 DBLP
33 Minimally Inconsistent LP (context) - Priest - 1991
30 How computer should think (context) - Belnap - 1977
26 Multi-valued logics (context) - Ginsberg - 1987 ACM DBLP
24 How to infer from inconsistent beliefs without revising - Benferhat, Dubois et al. - 1995
24 Bilattices in logic programming - Fitting - 1990
23 Kleene's three-valued logics and their children (context) - Fitting - 1994
18 Arti cial Intelligence (context) - Kraus, Lehmann et al. - 1990
9 On closed word data bases (context) - Reiter - 1978
9 Lattice-theoretic xpoint theorem and its applications (context) - Tarski - 1955
6 An argumentative framework for reasoning with inconsistent a.. (context) - Garc, Simari et al. - 1998
6 Mathematical Structures in Computer Science (context) - Avron, of et al. - 1996
5 Arti cial Intelligence (context) - Arieli, Avron et al. - 1998
5 Evidential bilattice logic and lexical inferences - Schoter - 1996
5 Logic and Computation (context) - Fitting, logic - 1990 ACM
4 Partial models of extended generalized logic programs - Alferes, Herre et al. - 2000 ACM DBLP
4 The well-founded semantics is the principle of inductive de .. (context) - Denecker - 1998
4 Bilattices and the semantics of natural language questions - Nelken, Francez - 1998
4 Combining knowledge with many-valued logics (context) - Messing - 1997 ACM DBLP
3 the theory of inconsistent formal systems (context) - da-Costa - 1974
3 Four-valued logics for reasoning with uncertainty in priorit.. - Arieli - 1999
2 A model theory for paraconsistent logic programming (context) - Dam, Pereira - 1995 ACM DBLP
2 Coherent composition of distributed knowledge-bases through .. - Arieli, Van Nu et al. - 2001 ACM DBLP
1 An algorithmic approach to recover inconsistent knowledge-ba.. - Arieli - 1919 ACM DBLP
1 Lecture Notes in Arti cial intelligence (context) - Wagner - 1994
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2002-E.shtml): More
Web Mining - Kosala, al. (Correct)
Trailing Analysis for HAL - Schrijvers, Banda, Demoen (2002) (Correct)
Reuse of Results in Termination Analysis of Typed.. - Bruynooghe, Codish.. (2002) (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