Local Models Semantics, or contextual reasoning = locality + compatibility
From MaRDI portal
Publication:5941211
DOI10.1016/S0004-3702(01)00064-9zbMath0969.68141WikidataQ57302209 ScholiaQ57302209MaRDI QIDQ5941211
Fausto Giunchiglia, Chiara Ghidini
Publication date: 20 August 2001
Published in: Artificial Intelligence (Search for Journal in Brave)
Related Items
Distributed first order logic, Revision in networks of ontologies, Situated conditional reasoning, A modal type theory for formalizing trusted communications, Finding explanations of inconsistency in multi-context systems, FLP answer set semantics without circular justifications for general logic programs, The many faces of counts-as: A formal analysis of constitutive rules, Enhancing context knowledge repositories with justifiable exceptions, A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence, Norms as ascriptions of violations: an analysis in modal logic, Context-dependent abduction and relevance, Active integrity constraints for general-purpose knowledge bases, Ontological aspects of the implementation of norms in agent-based electronic institutions, Mental states as multi-context systems, Exploring the future with resource-bounded agents, Formal and Conceptual Comparison of Ontology Mapping Languages, Composing Modular Ontologies with Distributed Description Logics, Package-Based Description Logics, Computing defeasible meta-logic, Intensional First-Order Logic for P2P Database Systems, Embodied Context Semantics, Comparing formal theories of context in AI
Cites Work
- Belief, awareness, and limited reasoning
- Prolegomena to a theory of mechanized formal reasoning
- Multilanguage hierarchical logics, or: How we can do without modal logics
- Model theory
- Ideal and Real Belief about Belief
- Generality in artificial intelligence
- Agents that reason and negotiate by arguing
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item