The following pages link to (Q4511287):
Displaying 8 items.
- Towards a general theory of topological maps (Q814534) (← links)
- Comparing formal theories of context in AI (Q814585) (← links)
- A decidable multi-modal logic of context (Q1414576) (← links)
- Distributed first order logic (Q1686336) (← links)
- The well-designed child (Q2389693) (← links)
- Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
- Bridges from Language to Logic: Concepts, Contexts and Ontologies (Q5179013) (← links)
- Local Models Semantics, or contextual reasoning = locality + compatibility (Q5941211) (← links)
