@inproceedings{94929c71b7054ab2bd0f1d6cc855137f,
title = "Tableau calculi for preference-based conditional logics",
abstract = "In this paper we develop labelled and uniform tableau methods for some fundamental system of propositional conditional logics. We consider the well-known system CE (that can be seen as a generalization of preferential nonmonotonic logic), and some related systems. Our tableau proof procedures are based on a possible-worlds structures endowedwitha family of preference relations. The tableau procedure gives the first practical decision procedure for CE.",
author = "Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Camilla Schwind",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2003.; International Conference on Analytic Tableaux and Related Methods, TABLEAUX 2003 ; Conference date: 09-09-2003 Through 12-09-2003",
year = "2003",
doi = "10.1007/978-3-540-45206-5_9",
language = "English",
isbn = "9783540407874",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "81--101",
editor = "Mayer, {Marta Cialdea} and Fiora Pirri",
booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings",
address = "Germany",
}