Pages that link to "Item:Q1891263"
From MaRDI portal
The following pages link to A decision method for nonmonotonic reasoning based on autoepistemic reasoning (Q1891263):
Displaying 9 items.
- A logic of knowledge and justified assumption (Q1199920) (← links)
- Operational concepts of nonmonotonic logics. II: Autoepistemic logic (Q1272349) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Autoepistemic circumscription and logic programming (Q1311407) (← links)
- Autoepistemic logic of first order and its expressive power (Q1344888) (← links)
- Computation of the semantics of autoepistemic belief theories (Q1606318) (← links)
- The Complexity of Reasoning for Fragments of Autoepistemic Logic (Q2946665) (← links)
- A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)
- The Complexity of Theorem Proving in Autoepistemic Logic (Q5326476) (← links)