A tableau method for inconsistency-adaptive logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1847 LNAI, Issue , 2000, Pages 127-142

  Batens, Diderik ^a   Meheus, Joke ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE LOGIC; COMPLEX STRUCTURE; TABLEAU METHOD;

ARTIFICIAL INTELLIGENCE; COMPUTERS;

COMPUTER SCIENCE; ARTIFICIAL INTELLIGENCE;

EID: 84886081282     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722086_13     Document Type: Conference Paper

References (20)

1. D. Batens. Dynamic dialectical logics as a tool to deal with and partly eliminate unexpected inconsistencies. In J. Hintikka and F. Vandamme, editors, The Logic of Discovery and the Logic of Discourse, pages 263-271. Plenum Press, New York, 1985.
2. D. Batens. Dialectical dynamics within formal logics. Logique et Analyse, 114:161-173, 1986.
3. D. Batens. Dynamic dialectical logics. In G. Priest, R. Routley, and J. Norman, editors, Paraconsistent Logic. Essays on the Inconsistent, pages 187-217. Philosophia Verlag, München, 1989.
4. D. Batens. Inconsistency-adaptive logics and the foundation of non-monotonic logics. Logique et Analyse, 145:57-94, 1994. Appeared 1996.
5. D. Batens. Blocks. The clue to dynamic aspects of logic. Logique et Analyse, 150-152:285-328, 1995. Appeared 1997.
6. D. Batens. Inconsistency-adaptive logics. In Orł;owska [17], pages 445-472.
7. D. Batens. Minimally abnormal models in some adaptive logics. Synthese, In print.
8. D. Batens. A survey of inconsistency-adaptive logics. In Batens et al. [10], pages 59-83.
9. D. Batens. Towards the unification of inconsistency handling mechanisms. Logic and Logical Philosophy, in print.
10. D. Batens, C. Mortensen, G. Priest, and J. P. Van Bendegem, editors. Frontiers of Paraconsistent Logic. King's College Publications, Research Studies Press, Baldock, UK, in print.
11. S. Benferhat, D. Dubois, and H. Prade. Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 1: The flat case. Studia Logica, 58:17-45, 1997.
12. S. Benferhat, D. Dubois, and H. Prade. Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 2: The prioritized case. In Orłowska [17], pages 473-511.
13. K. De Clercq. Two new strategies for inconsistency-adaptive logics. Logic and Logical Philosophy, in print.
14. S. Kraus, D. Lehman, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990.
15. J. Meheus. Adaptive logic in scientific discovery: the case of Clausius. Logique et Analyse, 143-144:359-389, 1993. Appeared 1996.
16. J. Meheus. An extremely rich paraconsistent logic and the adaptive logic based on it. In Batens et al. [10], pages 197-209.
17. E. Orłowska, editor. Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Physica Verlag (Springer), Heidelberg, New York, 1999.
18. G. Priest. Minimally inconsistent LP. Studia Logica, 50:321-331, 1991.
19. R. M. Smullyan. First Order Logic. Dover, New York, 1995. Original edition: Springer, 1968.
20. G. Vanackere. Ambiguity-adaptive logic. Logique et Analyse, 159:261-280, 1997. Appeared 1999.