The following pages link to (Q4273952):
Displaying 24 items.
- Some Rough Consequence Logics and their Interrelations (Q3600297) (← links)
- Automata and Answer Set Programming (Q3605538) (← links)
- The Complexity of Reasoning for Fragments of Default Logic (Q3637157) (← links)
- Combining Nonmonotonic Knowledge Bases with External Sources (Q3655190) (← links)
- A survey of non-monotonic reasoning (Q3839542) (← links)
- Algebraic semantics for modal and superintuitionistic non-monotonic logics (Q4583313) (← links)
- Knowledge means ‘<i>all</i>’, belief means ‘<i>most</i>’ (Q4586161) (← links)
- Random logic programs: Linear model (Q4593016) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Specification of nonmonotonic reasoning (Q4632292) (← links)
- Nonmonotonic reasoning with multiple belief sets (Q4632309) (← links)
- A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (Q4988944) (← links)
- A sphere world semantics for default reasoning (Q5101449) (← links)
- Skeptical rational extensions (Q5101455) (← links)
- Reasoning with stratified default theories (Q5101456) (← links)
- Trans-epistemic semantics for logic programs (Q5101464) (← links)
- A Logic Framework for P2P Deductive Databases (Q5108527) (← links)
- Cumulativity Tailored for Nonmonotonic Reasoning (Q5172609) (← links)
- A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)
- Semi-representability of default theories in rational default logic (Q5236433) (← links)
- Infinitary default logic for specification of nonmonotonic reasoning (Q5236436) (← links)
- Revising and updating using a back-up semantics (Q5236447) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)
