The following pages link to (Q4799292):
Displaying 14 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)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility (Q2163881) (← 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)
- (Q5020550) (← links)
- Cumulativity Tailored for Nonmonotonic Reasoning (Q5172609) (← links)
- (Q5856406) (← links)
- On dynamics in structured argumentation formalisms (Q6488791) (← links)
