The following pages link to (Q3624060):
Displaying 7 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)
- On dynamics in structured argumentation formalisms (Q6488791) (← links)
