@inproceedings{05aba4eaa56e4b39b61754f16fd08796,
title = "A uniform tableaux method for nonmonotonic modal logics",
abstract = "{\textcopyright} Springer-Verlag Berlin Heidelberg 1996.We present a semantic tableaux calculus for propositional nonmonotonic modal logics, based on possible-worlds characterisations for nonmonotonic modal logics. This method is parametric with respect to both the modal logic and the preference semantics, since it handles in a uniform way the entailment problem for a wide class of nonmonotonic modal logics: McDermott and Doyle's logics and ground logics. It also achieves the computational complexity lower bounds.",
author = "F.M. Donini and F. Massacci and D. Nardi and R. Rosati",
year = "1996",
language = "English",
isbn = "9783540616306",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "87--103",
editor = "J.J. Alferes and L.M. Pereira and E. Orlowska",
booktitle = "Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings",
note = "6th European Workshop on Logics in Artificial Intelligence, JELIA 1996 ; Conference date: 30-09-1996 Through 03-10-1996",
}