@inproceedings{cd9b65350f16465384f13ee233e1004a,
title = "Analytic tableau calculi for KLM rational logic R",
abstract = "In this paper we present a tableau calculus for the rational logic R of default reasoning, introduced by Kraus, Lehmann and Magidor, Our calculus is obtained by introducing suitable modalities to interpret conditional assertions, and makes use of labels to represent possible worlds. We also provide a decision procedure for R, and study its complexity.",
author = "Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Pozzato, {Gian Luca}",
year = "2006",
doi = "10.1007/11853886_17",
language = "English",
isbn = "354039625X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "190--202",
booktitle = "Logics in Artificial Intelligence - 10th European Conference, JELIA 2006, Proceedings",
address = "Germany",
note = "10th European Conference on Logics on Artificial Intelligence, JELIA 2006 ; Conference date: 13-09-2006 Through 15-09-2006",
}