Pages that link to "Item:Q1104771"

The following pages link to On the relation between default and autoepistemic logic (Q1104771):

Displaying 31 items.

• t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
• All I know: A study in autoepistemic logic (Q2276949) (← links)
• Consistency defaults (Q2454638) (← links)
• A rational reconstruction of nonmonotonic truth maintenance systems (Q2638808) (← links)
• In search of a ``true'' logic of knowledge: the nonmonotonic perspective (Q2673908) (← links)
• Autoepistemic logic revisited (Q2675267) (← links)
• On embedding default logic into Moore's autoepistemic logic (Q2676564) (← links)
• Translating multi-agent autoepistemic logic into logic program (Q2844920) (← links)
• The Truth about Defaults (Q2900537) (← links)
• Expressing Default Logic Variants in Default Logic (Q3374095) (← links)
• The Complexity of Reasoning for Fragments of Default Logic (Q3637157) (← links)
• Seminormalizing a default theory (Q3647232) (← links)
• A survey of non-monotonic reasoning (Q3839542) (← links)
• (Q4009138) (← links)
• (Q4246971) (← links)
• Modal logic based theory for non-monotonic reasoning (Q4275697) (← links)
• On the impact of stratification on the complexity of nonmonotonic reasoning (Q4317728) (← links)
• Relating only knowing to minimal belief and negation as failure (Q4317909) (← links)
• A sound and complete proof theory for the generalized logic of only knowing (Q4421274) (← links)
• A sequent calculus for skeptical Default Logic (Q4610318) (← links)
• On the semantics of the unknown (Q4632325) (← links)
• A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (Q4988944) (← links)
• (Q5020574) (← links)
• Strongly analytic tableaux for normal modal logics (Q5210808) (← links)
• A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)
• On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)
• A New Perspective on Nonmonotonic Logics (Q5298367) (← links)
• Nonmonotonic reasoning by inhibition nets (Q5941136) (← links)
• Thirty years of Epistemic Specifications (Q6085582) (← links)
• Strong backdoors for default logic (Q6570091) (← links)
• Strong backdoors for default logic (Q6610193) (← links)