Pages that link to "Item:Q1342215"
From MaRDI portal
The following pages link to Minimal belief and negation as failure (Q1342215):
Displayed 14 items.
- Default logic generalized and simplified (Q1028638) (← links)
- Consistency properties and set based logic programming (Q1028650) (← links)
- Set based logic programming (Q1029592) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- On the relation between default and modal nonmonotonic reasoning (Q1274266) (← links)
- Autoepistemic logic of knowledge and beliefs (Q1389599) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- On the decidability and complexity of reasoning about only knowing (Q1978243) (← links)
- Multi-modal nonmonotonic logics of minimal knowledge (Q2642626) (← links)
- Automata and Answer Set Programming (Q3605538) (← links)
- Relating only knowing to minimal belief and negation as failure (Q4317909) (← links)
- Embedding prioritized circumscription in disjunctive logic programs (Q4421251) (← links)
- A sound and complete proof theory for the generalized logic of only knowing (Q4421274) (← links)
- Belief, provability, and logic programs (Q4835514) (← links)