Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati.
In Proceedings of the Fifth European Workshop on Logics in Artificial Intelligence (JELIA'96), Lecture Notes in Artificial Intelligence, volume 1126, pages 87-103, Springer, 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.
@String{JELIA-96 = "Proceedings of the Fifth European Workshop on Logics in Artificial Intelligence (JELIA'96)"}
@String{LNAI = "Lecture Notes in Artificial Intelligence"}
@String{SV = "Springer"}
@Inproceedings{DMNR96,
author = "Francesco M. Donini and Fabio Massacci and Daniele Nardi and Riccardo Rosati",
title = "A Uniform Tableaux Method for Nonmonotonic Modal Logics",
booktitle = JELIA-96,
editor = "Alferes, J. J. and Pereira, L. M. and Orlowska, E.",
pages = "87--103",
publisher = SV,
series = LNAI,
volume = 1126,
year = 1996,
}