The following pages link to Equilibrium logic (Q854969):
Displaying 14 items.
- (Q5020566) (← links)
- Default Negation as Explicit Negation plus Update (Q5059691) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
- Cumulativity Tailored for Nonmonotonic Reasoning (Q5172609) (← links)
- Stability, Supportedness, Minimality and Kleene Answer Set Programs (Q5172611) (← links)
- Logics in Artificial Intelligence (Q5394121) (← links)
- Logics in Artificial Intelligence (Q5394164) (← links)
- Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)
- Answer set programming made easy (Q6175107) (← links)
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming (Q6566627) (← links)
- Refining the semantics of epistemic specifications (Q6647309) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)