Modeling Paraconsistent Reasoning by Classical Logic-Reference-Cited by-同舟云学术

Modeling Paraconsistent Reasoning by Classical Logic

Published:2002 Issue: Volume: Page:1-14
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Arieli Ofer,Denecker Marc

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45758-5_1

Reference24 articles.

1. O. Arieli, A. Avron. The logical role of the four-valued bilattice. Proc. LICS’98, pp.218–226, IEEE Press, 1998.

2. O. Arieli, A. Avron. The value of the four values. Artificial Intelligence 102(1), pp.97–141, 1998.

3. O. Arieli, A. Avron. Bilattices and paraconsistency. Frontiers of Paraconsistent Logic (D. Batens, C. Mortensen, G. Priest, J. Van Bendegem, editors), pp.11–27, Studies in Logic and Computation 8, Research Studies Press, 2000.

4. O. Arieli, M. Denecker. Circumscriptive approaches to paraconsistent reasoning. Technical Report CW-304, Department of Computer Science, University of Leuven, 2001.

5. N.D. Belnap. A useful four-valued logic. Modern Uses of Multiple-Valued Logic (G. Epstein, J.M. Dunn, editors), pp.7–37, Reidel Publishing Company, 1977.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Restricted semantics for default reasoning;Annals of Mathematics and Artificial Intelligence;2018-06-18

2. Restricted Four-Valued Logic for Default Reasoning;Knowledge Science, Engineering and Management;2015

3. Computational methods for database repair by signed formulae*;Annals of Mathematics and Artificial Intelligence;2006-02

4. Four-Valued Semantics for Default Logic;Advances in Artificial Intelligence;2006

5. Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach;Current Trends in Database Technology – EDBT 2006;2006