Francesco Donini  Home/Search
Context Related
| dis.uniroma1.it/pu...MNR96JELIA.ps.gz dis.uniroma1.it/PU...MNR96JELIA.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: hermes.dis.uniroma1.it/~massac... (more) From: hermes.dis.uniroma1.it/~massac... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . 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. 1 Introduction The systematic... (Update)
Similar documents based on text: More All
0.5: A Uniform Tableaux Method for Nonmonotonic Modal Logics - Donini, Massacci, Nardi.. (1996) (Correct)
0.4: EXPtime Tableaux for ALC - Donini, Massacci (1999) (Correct)
0.3: Autoepistemic Description Logics - Donini, Nardi, Rosati (1997) (Correct)
BibTeX entry: (Update)
F. Donini, F. Massacci, D. Nardi, and R. Rosati. A uniform tableaux method for nonmonotonic modal logics. In J. Alferes, L. Pereira, and E. Orlowska, editors, Proc. of the 6th European Workshop on Logics in Artificial Intelligence (JELIA-96), volume 1126 of Lecture Notes in Artificial Intelligence, pages 87103. Springer-Verlag, 1996. http://citeseer.ist.psu.edu/donini96uniform.html More
@incollection{ donini96uniform,
author = "Francesco M. Donini and Fabio Massacci and Daniele Nardi and Riccardo Rosati",
title = "A Uniform Tableaux Method for Nonmonotonic Modal Logics",
booktitle = "Logics in Artificial Intelligence: European Workshop, {Jelia}'96, Ivora, Portugal, September 30 - October 3, 1996.",
publisher = "Springer-Verlag",
address = "Berlin",
editor = "Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska",
pages = "87--103",
year = "1996",
url = "citeseer.ist.psu.edu/donini96uniform.html" }
Citations (may not include all citations):311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985
274 A catalog of complexity classes (context) - Johnson - 1990
242 Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
118 Non-monotonic logic (context) - McDermott, Doyle - 1980
89 Nonmonotonic Logics -- Context-Dependent Reasoning (context) - Marek, Truszczy'nski - 1993
62 Non-monotonic logic II: Non-monotonic modal theories (context) - McDermott - 1982
60 Adding epistemic operators to concept languages - Donini, Lenzerini et al. - 1992
53 Strongly analytic tableaux for normal modal logics - Massacci - 1994
48 Embedding defaults into terminological knowledge representat.. - Baader, Hollunder - 1995
46 Modal nonmonotonic logics: ranges (context) - Marek, Schwarz et al. - 1993
44 Nonmonotonic logics: Meaning and utility (context) - Shoham - 1987
42 Towards a theory of knowledge and ignorance: Preliminary rep.. - Halpern, Moses - 1985
33 the decidability and complexity of autoepistemic reasoning (context) - Niemela - 1992
25 Tableaux and sequent calculus for minimal entailment (context) - Olivetti - 1992
[Article contains additional citations not shown here]
Documents on the same site (http://hermes.dis.uniroma1.it/~massacci/papers/): More
Tableaux Methods for Access Control in Distributed Systems - Massacci (1997) (Correct)
Approximate Reasoning for Contextual Databases - Massacci (1996) (Correct)
Reasoning about Security: a Logic and a Decision Method for.. - Massacci (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC