The following pages link to (Q4867026):
Displaying 6 items.
- An epistemic operator for description logics (Q1128772) (← links)
- A model of reasoning about knowledge (Q1286688) (← links)
- Limited reasoning in first-order knowledge bases (Q1343837) (← links)
- Terminological reasoning is inherently intractable (Q2638816) (← links)
- Reasoning about Knowledge and Belief: A Syntactical Treatment (Q4408526) (← links)
- Conceptual Structures at Work (Q5313126) (← links)