The following pages link to (Q3624060):
Displaying 13 items.
- Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs (Q420790) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- Characterizing causal action theories and their implementations in answer set programming (Q2407453) (← links)
- Solving logic program conflict through strong and weak forgettings (Q2457621) (← links)
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs (Q2900518) (← links)
- Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs (Q4649728) (← links)
- (Q5020544) (← links)
- (Q5020550) (← links)
- On Uniform Equivalence of Epistemic Logic Programs (Q5108505) (← links)
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (Q5504650) (← links)
- (Q5856406) (← links)
- On dynamics in structured argumentation formalisms (Q6488791) (← links)
