Pages that link to "Item:Q1313954"
From MaRDI portal
The following pages link to Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954):
Displaying 31 items.
- Preferential multi-context systems (Q289006) (← links)
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- Reasoning about norms under uncertainty in dynamic environments (Q465604) (← links)
- From description-logic programs to multi-context systems (Q516031) (← links)
- A graded BDI agent model to represent and reason about preferences (Q646556) (← links)
- Where logic and agents meet (Q657584) (← links)
- Mental states as multi-context systems (Q735237) (← links)
- Comparing formal theories of context in AI (Q814585) (← links)
- Distributed first order logic (Q1686336) (← links)
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments (Q1748467) (← links)
- Enhancing context knowledge repositories with justifiable exceptions (Q1749389) (← links)
- Active integrity constraints for general-purpose knowledge bases (Q1783734) (← links)
- Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). (Q1854375) (← links)
- Multi-context systems in dynamic environments (Q2317972) (← links)
- A metatheory of a mechanized object theory (Q2676562) (← links)
- On dynamically generated ontology translators in agent communication (Q2739004) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- Linking Open-World Knowledge Bases Using Nonmonotonic Rules (Q3449214) (← links)
- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages (Q3601786) (← links)
- Combining Nonmonotonic Knowledge Bases with External Sources (Q3655190) (← links)
- (Q4253662) (← links)
- Ideal and real belief about belief (Q4632302) (← links)
- Mechanizing multi-agent reasoning with belief contexts (Q4632330) (← links)
- Building decision procedures for modal logics from propositional decision procedures — The case study of modal K (Q4647549) (← links)
- Contextual reasoning distilled (Q4784279) (← links)
- Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Q5019600) (← links)
- A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence (Q5172603) (← links)
- Expressiveness of communication in answer set programming (Q5298798) (← links)
- Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents (Q5385618) (← links)
- Embodied Context Semantics (Q5504582) (← links)
- Local Models Semantics, or contextual reasoning = locality + compatibility (Q5941211) (← links)
