The following pages link to Partial equilibrium logic (Q2457796):
Displaying 5 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- Well-Founded and Partial Stable Semantics Logical Aspects (Q3392936) (← links)
- A denotational semantics for equilibrium logic (Q4593002) (← links)
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming (Q6566627) (← links)
