Riccardo Rosati  Home/Search
Context
Related
| umass.edu/aimath06/proceedin...S01c.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: umass.edu/aimath06/proceedings (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we introduce multi-modal logics of minimal knowledge. Such a family of logics constitutes the first proposal in the field of epistemic nonmonotonic logic in which the three following aspects are simultaneously addressed: (i) the possibility of formalizing multiple agents through multiple modal operators; (ii) the possibility of using first-order quantification in the modal language; (iii) the possibility of formalizing nonmonotonic reasoning abilities for the agents... (Update)
Active bibliography (related documents): More All
0.6: Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning - Niemelä (1993) (Correct)
0.6: Only-Knowing: Taking It beyond Autoepistemic Reasoning - Lakemeyer, Levesque (2005) (Correct)
0.5: Complexity of Only Knowing: The Propositional Case - Rosati (1997) (Correct)
Similar documents based on text:
6.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ rosati-multimodal,
author = "Riccardo Rosati",
title = "Multi-Modal Nonmonotonic Logics of Minimal Knowledge",
url = "citeseer.ist.psu.edu/rosati06multimodal.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
374 Classical negation in logic programs and disjunctive databas.. - Gelfond, Lifschitz - 1991
343 Modal Logic: An introduction (context) - Chellas - 1980
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
119 All I know: a study in autoepistemic logic (context) - Levesque - 1990
119 Data integration: A theoretical perspective (context) - Lenzerini - 2002
118 Non-monotonic logic (context) - McDermott, Doyle - 1980
100 Epistemic Logic for AI and Computer Science (context) - Meyer, van der Hoek - 1985
99 Data management for peer-to-peer computing: A vision - Bernstein, Giunchiglia et al. - 2002
89 Nonmonotonic Logics: Context-Dependent Reasoning (context) - Marek, Truszczy - 1993
77 Schema mediation in peer data management systems - Halevy, Ives et al. - 2003
77 Answer sets in general nonmonotonic reasoning (context) - Lifschitz, Woo - 1992
62 Non-monotonic logic II: Nonmonotonic modal theories (context) - McDermott - 1982
44 Nonmonotonic logics: Meaning and utility (context) - Shoham - 1987
43 Minimal belief and negation as failure - Lifschitz - 1994
42 Towards a theory of knowledge and ignorance: Preliminary rep.. - Halpern, Moses - 1985
35 Nonmonotonic databases and epistemic queries (context) - Lifschitz - 1991
28 What should a database know (context) - Reiter - 1990
27 On positive occurrences of negation as failure - Inoue, Sakama - 1994
25 Extended logic programs as autoepistemic theories - Schwarz, Lifschitz - 1993
24 Minimal knowledge problem: a new approach (context) - Schwarz, Truszczy - 1994
24 Minimal model semantics for nonmonotonic modal logics (context) - Schwarz - 1992
19 Nonmonotonic default modal logics (context) - Tiomkin, Kaminski - 1990
18 A logic of knowledge and justified assumptions (context) - Lin, Shoham - 1992
18 A note on non-monotonic modal logic (context) - Stalnaker - 1993
17 The Logic of Knowledge Bases (context) - Levesque, Lakemeyer - 2001
13 A robust logical and computational characterisation of peer-.. - Franconi, Kuper et al. - 2003
12 Bounding introspection in nonmonotonic logics (context) - Schwarz - 1992
9 Ground nonmonotonic modal logics - Donini, Nardi et al. - 1997
6 Semantic data integration PP system (context) - De Giacomo, Rosati et al. - 2003
5 Logical foundations of peer-to-peer data integration (context) - Calvanese, De Giacomo et al. - 2004
4 Modal nonmonotonic logic with restricted application of the .. (context) - nski - 1991
2 Reasoning about minimal belief and negation as failure - Rosati - 1999
1 Inconsistency tolerance in p2p data integration: an epistemi.. (context) - Calvanese, De Giacomo et al. - 2005
Documents on the same site (http://anytime.cs.umass.edu/aimath06/proceedings.html): More
Finding Small Unsatisfiable Cores to Prove.. - Interian, Corvera.. (Correct)
Scalable Inference in Hierarchical Generative Models - Dean (Correct)
Approximate Linear Programming for Solving Hybrid Factored MDPs - Hauskrecht, Kveton (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