Circumscribing inconsistency

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1997, Pages 150-155

  Besnard, Philippe ^a   Schaub, Torsten H ^b  

^a CAMPUS DE BEAULIEU   (France)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INCONSISTENT INFORMATION; LOGICAL APPROACHES; MONOTONICITY; PROOF SYSTEM; THREE-VALUED MODELS; TRUTH VALUES;

SEMANTICS;

ARTIFICIAL INTELLIGENCE;

EID: 0346861579     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. A. Anderson and N. Belnap. Entailment: The Logic of Relevance and Necessity. Princeton University Press, 1975.
2. O. Arieli and A. Avron. Logical bilattices and inconsistent data. In Logic in Computer Science Conf, pp 468-476,1994.
3. O. Arieli and A. Avron. Automatic diagnoses for properly stratified knowledge-bases. In Int. Conf. on Tools with Artificial Intelligence, pp 392-399. IEEE Press, 1996.
4. N. Belnap. A useful four-valued logic. In J. Dunn and G. Epstein, eds, Modern Uses of Multiple-Valued Logic. Reidel, 1977.
5. S. Benferhat, D. Dubois, & H. Prade. Argumentative inference in uncertain and inconsistent knowledge bases. In Int. Conf on Uncertainty in Artificial Intelligence, pp 411-419,1993.
6. P. Besnard and T. Schaub. A simple signed system for paraconsistent reasoning. In European Workshop on Logics in Artificial Intelligence, pp 404-416. Springer Verlag, 1996.
7. P. Besnard. Paraconsistent logic approach to knowledge representation. In World Conf on Fundamentals of Artificial Intelligence, 1991.
8. H. Blair and V.S. Subrahmanian. Paraconsistent foundations of logic programming." Journal of Non-Classical Logics, 5(2):45-73,1988.
9. H. Blair and V.S. Subrahmanian. Paraconsistent logic programming. Theoretical Computer Science, 68(2):135-154,1989. (Pubitemid 20675597)
10. W. Carnielli, L. Fariftas del Cerro, and M. Lima Marques. Contextual negations and reasoning with contradictions. In Int. Joint Conf on Artificial Intelligence, pp 532-537. Morgan Kaufmann, 1991.
11. M. Elvang and A. Hunter. Argumentative logics: reasoning with classically inconsistent information. Journal of Knowledge and Data Engineering, 16:125-145,1995.
12. D. Gabbay and A. Hunter. Restricted access logics for inconsistent information. In European Conf on Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Springer Verlag, 1993.
13. J. Grant and V.S. Subrahmanian. Reasoning in inconsistent knowledge bases. IEEE Transactions on Knowledge and Data Engineering, 7(1):177-189,1995.
14. M, Kifer and E. Lozinskii. RI: A logic for reasoning with inconsistency. In Logic in Computer Science, pp 253-262,1989.
15. F. Lin. Reasoning in the presence of inconsistency. In AAAI Nat. Conf on Artificial Intelligence, pp 139-143. AAAI/MIT Press, 1987.
16. J. Lin. A semantics for reasoning consistently in the presence of inconsistency. Artificial Intelligence, 86(1-2):75-95, 1996. (Pubitemid 126364349)
17. J. McCarthy. Circumscription - a form of nonmonotonic reasoning. Artificial Intelligence, 13(1-2):27-39,1980.
18. G. Priest, R. Routley, and J. Norman, editors. Paraconsistent Logics. Philosophica Verlag, 1989.
19. G. Priest. Logic of paradox. Journal of Philosophical Logic, 8:219-241,1979.
20. G. Priest. Reasoning about truth. Artificial Intelligence, 39:231-244,1989.
21. N.Roos. A logic for reasoning with inconsistent knowledge. Artificial Intelligence, 57:69-103,1992.
22. E. Sandewall. A functional approach to non-monotonic logic. Computational Intelligence, 1:80-87,1985.
23. R. Tbrner. Truth and Modality for Knowledge Representation. Pitman, 1990.
24. G. Wagner. Ex contradictione nihil sequitur. In Int. Joint Conf on Artificial Intelligence, pp 538-543. Morgan Kaufmann, 1991.