Local Models Semantics, or contextual reasoning = locality + compatibility

DOI10.1016/S0004-3702(01)00064-9MaRDI QIDQ5941211zbMATH OpenWikidataFDO

Authors Chiara Ghidini, Fausto Giunchiglia

Publication date 20 August 2001

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0004-3702(01)00064-9

zbMATH Keywords

contextsknowledge representationlocal models semanticslocality and compatibility

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Knowledge representation (68T30)

Cites work

• Agents that reason and negotiate by arguing
• Belief, awareness, and limited reasoning
• Distributed first order logics
• Generality in artificial intelligence
• scientific article; zbMATH DE number 1202873 (Why is no real title available?)
• scientific article; zbMATH DE number 1523020 (Why is no real title available?)
• scientific article; zbMATH DE number 770146 (Why is no real title available?)
• scientific article; zbMATH DE number 770149 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• scientific article; zbMATH DE number 1418378 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Ideal and real belief about belief
• Model theory
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Prolegomena to a theory of mechanized formal reasoning

Cited in

(27)

• Exploring the future with resource-bounded agents
• Distributed first order logic
• Enhancing context knowledge repositories with justifiable exceptions
• Active integrity constraints for general-purpose knowledge bases
• Computing defeasible meta-logic
• FLP answer set semantics without circular justifications for general logic programs
• Context-dependent abduction and relevance
• Ontological aspects of the implementation of norms in agent-based electronic institutions
• A semantic model of confinement and locality theorem
• Formal and Conceptual Comparison of Ontology Mapping Languages
• Composing Modular Ontologies with Distributed Description Logics
• Package-Based Description Logics
• Intensional First-Order Logic for P2P Database Systems
• A modal type theory for formalizing trusted communications
• scientific article; zbMATH DE number 1552269 (Why is no real title available?)
• Finding explanations of inconsistency in multi-context systems
• A glimpse on Gerhard Brewka's contributions to artificial intelligence
• scientific article; zbMATH DE number 5589211 (Why is no real title available?)
• Norms as ascriptions of violations: an analysis in modal logic
• Embodied Context Semantics
• Situated conditional reasoning
• Abstracting situation calculus action theories
• Qiana: a first-order formalism to quantify over contexts and formulas with temporality
• Mental states as multi-context systems
• Comparing formal theories of context in AI
• Revision in networks of ontologies
• The many faces of counts-as: A formal analysis of constitutive rules

This page was built for publication: Local Models Semantics, or contextual reasoning = locality + compatibility

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5941211)