Pages that link to "Item:Q5941211"

The following pages link to Local Models Semantics, or contextual reasoning = locality + compatibility (Q5941211):

Displaying 22 items.

• A modal type theory for formalizing trusted communications (Q420842) (← links)
• Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
• Norms as ascriptions of violations: an analysis in modal logic (Q545168) (← links)
• Mental states as multi-context systems (Q735237) (← links)
• Comparing formal theories of context in AI (Q814585) (← links)
• Revision in networks of ontologies (Q896437) (← links)
• The many faces of counts-as: A formal analysis of constitutive rules (Q931777) (← links)
• Exploring the future with resource-bounded agents (Q1006514) (← links)
• Distributed first order logic (Q1686336) (← links)
• Enhancing context knowledge repositories with justifiable exceptions (Q1749389) (← links)
• Active integrity constraints for general-purpose knowledge bases (Q1783734) (← links)
• Computing defeasible meta-logic (Q2055782) (← links)
• FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
• Context-dependent abduction and relevance (Q2499286) (← links)
• Ontological aspects of the implementation of norms in agent-based electronic institutions (Q2509084) (← links)
• Formal and Conceptual Comparison of Ontology Mapping Languages (Q3631362) (← links)
• Composing Modular Ontologies with Distributed Description Logics (Q3631365) (← links)
• Package-Based Description Logics (Q3631366) (← links)
• Intensional First-Order Logic for P2P Database Systems (Q3638228) (← links)
• A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence (Q5172603) (← links)
• Embodied Context Semantics (Q5504582) (← links)
• Situated conditional reasoning (Q6161506) (← links)