The following pages link to (Q3826524):
Displaying 12 items.
- Stabilizing mobile philosophers (Q1041771) (← links)
- On the relation between default and autoepistemic logic (Q1104771) (← links)
- Stable and extension class theory for logic programs and default logics (Q1197387) (← links)
- The relationship between stable, supported, default and autoepistemic semantics for general logic programs (Q1199545) (← links)
- Dualities between alternative semantics for logic programming and nonmonotonic reasoning (Q1311405) (← links)
- Modal logic for default reasoning (Q1356222) (← links)
- Multi-valued autoepistemic logic (Q1380408) (← links)
- Autoepistemic logic of knowledge and beliefs (Q1389599) (← links)
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning (Q1891263) (← links)
- Algebraic considerations of autoepistemic logic (Q3989950) (← links)
- On consistency and completeness of autoepistemic theories (Q3993678) (← links)
- Stable inference as intuitionistic validity (Q4223455) (← links)