Pages that link to "Item:Q1343837"
From MaRDI portal
The following pages link to Limited reasoning in first-order knowledge bases (Q1343837):
Displaying 10 items.
- First-order logical filtering (Q543591) (← links)
- 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)
- Using abstract resources to control reasoning (Q1384004) (← links)
- A computational model of belief (Q1575433) (← links)
- Limited reasoning in first-order knowledge bases with full introspection (Q2171268) (← links)
- Reasoning about truth in first-order logic (Q2255212) (← links)
- Approximate coherence-based reasoning (Q4453903) (← links)
- Substructural epistemic logics (Q4586145) (← links)