Local Models Semantics, or contextual reasoning=locality+compatibility
Top Cited Papers
- 30 April 2001
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 127 (2), 221-259
- https://doi.org/10.1016/s0004-3702(01)00064-9
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- A Foundation for Metareasoning Part II: The Model TheoryJournal of Logic and Computation, 2002
- A Foundation for Metareasoning Part I: The Proof TheoryJournal of Logic and Computation, 2002
- Model checking multiagent systemsJournal of Logic and Computation, 1998
- Agents that reason and negotiate by arguingJournal of Logic and Computation, 1998
- Model theoretic semantics for information integrationPublished by Springer Nature ,1998
- Formalizing belief reports — The approach and a case studyPublished by Springer Nature ,1998
- Towards layered dialogical agentsPublished by Springer Nature ,1997
- Generality in artificial intelligenceCommunications of the ACM, 1987
- Mental Spaces: Aspects of Meaning Construction in Natural LanguageLanguage, 1987
- Prolegomena to a theory of mechanized formal reasoningArtificial Intelligence, 1980