Pages that link to "Item:Q1343837"
From MaRDI portal
The following pages link to Limited reasoning in first-order knowledge bases (Q1343837):
Displaying 7 items.
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Relevance from an epistemic perspective (Q1127353) (← links)
- Limited reasoning in first-order knowledge bases (Q1343837) (← links)
- A computational model of belief (Q1575433) (← links)
- Limited reasoning in first-order knowledge bases with full introspection (Q2171268) (← links)
- Approximate coherence-based reasoning (Q4453903) (← links)
- Substructural epistemic logics (Q4586145) (← links)
