The following pages link to (Q4799292):
Displayed 9 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Ordering default theories and nonmonotonic logic programs (Q557790) (← links)
- Equilibrium logic (Q854969) (← links)
- General default logic (Q987485) (← links)
- Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach (Q2642629) (← links)
- Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
- Rule Calculus: Semantics, Axioms and Applications (Q3532483) (← links)
- Cumulativity Tailored for Nonmonotonic Reasoning (Q5172609) (← links)