Local Models Semantics, or contextual reasoning=locality+compatibility☆☆This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical [Book Review]

&
Artificial Intelligence 127 (2):221-259 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(01)00064-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings.Jacques Calmet - 1998 - Boom Koninklijke Uitgevers.
Exploiting symmetries within constraint satisfaction search☆☆This paper is an extended and updated version of [16], presented at the IJCAI-99 conference. [REVIEW]Pedro Meseguer & Carme Torras - 2001 - Artificial Intelligence 129 (1-2):133-163.
Logical Aspects of Computational Linguistics Third International Conference, Lalc '98, Grenoble, France, December 14-16, 1998 : Selected Papers'.Michael Moortgat - 2001 - Springer Verlag.
Counterfactual reasoning.Roberta Ferrario - 2001 - In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer. pp. 170--183.
Papers published between 1996 and 2000.Vladimir Lifschitz - manuscript
KR'16: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning.Chitta Baral, James Delgrande & Frank Wolter (eds.) - 2016
Argumentative Approaches to Reasoning with Maximal Consistency.Ofer Arieli & Christian Straßer - 2016 - In Chitta Baral, James Delgrande & Frank Wolter (eds.), KR'16: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning. pp. 509--512.
A general possible worlds framework for reasoning about knowledge and belief.Heinrich Wansing - 1990 - Studia Logica 49 (4):523 - 539.
Case-based Reasoning and the Deep Structure Approach to Knowledge Representation, in Proceedings of the Third International Conference on.Andrej Kowalski - forthcoming - Artificial Intelligence and Law.
Logics in Artificial Intelligence: European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings.Sergio Flesca - 2002 - Springer Verlag.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,562,182)

6 months
3 (#1,045,901)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Distributed First Order Logic.Chiara Ghidini & Luciano Serafini - 2017 - Artificial Intelligence 253 (C):1-39.

View all 12 citations / Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.
Indexical expressions.Yehoshua Bar-Hillel - 1954 - Mind 63 (251):359-379.
Prolegomena to a theory of mechanized formal reasoning.Richard W. Weyhrauch - 1980 - Artificial Intelligence 13 (1-2):133-170.
Formalizing context (expanded notes).John McCarthy & Sasa Buvac - 1998 - CSLI Lecture Notes 81:13-50.

View all 7 references / Add more references