Pages that link to "Item:Q2642629"
From MaRDI portal
The following pages link to Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach (Q2642629):
Displaying 11 items.
- Characterizing strong equivalence for argumentation frameworks (Q420788) (← links)
- Equilibrium logic (Q854969) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← 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)
- Algebraic semantics for modal and superintuitionistic non-monotonic logics (Q4583313) (← links)
- Open Problems in Abstract Argumentation (Q5172624) (← links)
- Static and dynamic orderings on Dungean argumentation frameworks -- an overview (Q6064253) (← links)
