Alcant ara, J., Dam asio, C. V., and Pereira, L. M. 2002. Paraconsistent logic programs. In Proc. of the 8th European Conference on Logics in Artificial Intelligence (JELIA-02). Number 2424 in Lecture Notes in Computer Science. Springer-Verlag, Cosenza, Italy, 345--356. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Negation and Negative Information in the W3C.. - Analyti, Antoniou, .. (2004) Self-citation (Asio) (Correct)
No context found.
J. ao Alc antara, C. V. Dam asio, and L. M. Pereira. Paraconsistent logic programs. In S. Flesca and G. Ianni, editors, Logics In Artificial Intelligence, 8th European Conference, JELIA2002.
An Encompassing Framework for Paraconsistent Logic Programs - Alcantara, Damasio, Pereira (2003) Self-citation (Alc Dam Pereira) (Correct)
No context found.
J. Alc^antara, C. V. Damasio, and L. M. Pereira. Paraconsistent logic programs. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, 8th European Conf. on Logics in Arti cial Intelligence, pages 345-356. Springer-Verlag, LNAI 2424, 2002.
On Contradictions and their Propagation in.. - Alcântara.. Self-citation (Alc Dam Pereira) (Correct)
.... The Logic Programming community is not apathetic about the importance of paraconsistency in enlarging our understanding of the common sense reasoning (see [7] for a survey) Aiming at the characterisation of a general framework for logic programs, we have introduced Paraconsistent Logic Programs [1, 2], interpreted by the Paraconsistent Well Founded Model (WFM ) Such programs generalise Antitonic Logic Programs [8] by ushering in concepts to cope with explicit negation and default negation, and certifying that default negation complies with the Coherence Principle, stating that explicit ....
....explicit negation and default negation, and certifying that default negation complies with the Coherence Principle, stating that explicit negation entails default negation. Paraconsistent Logic Programs are general enough to capture many forms of uncertain reasoning studied in Logic Programming [1]. Following results unearthed in the semantics WFSX p [6] we claim that besides reasoning paraconsistently when facing inconsistencies, we should keep track of which information depends on them. Irrespectively of how we view inconsistencies, to be aware that a conclusion whether or not depends ....
[Article contains additional citation context not shown here]
J. Alc^antara, C. V. Damasio, and L. M. Pereira. Paraconsistent logic programs. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, 8th European Conference on Logics in Arti cial Intelligence, pages 345-356. Springer-Verlag, LNAI 2424, 2002.
Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
No context found.
Alcant ara, J., Dam asio, C. V., and Pereira, L. M. 2002. Paraconsistent logic programs. In Proc. of the 8th European Conference on Logics in Artificial Intelligence (JELIA-02). Number 2424 in Lecture Notes in Computer Science. Springer-Verlag, Cosenza, Italy, 345--356.
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