The following pages link to Partial equilibrium logic (Q2457796):
Displaying 9 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Logic with equality: Partisan corroboration and shifted pairing (Q1854299) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- Well-Founded and Partial Stable Semantics Logical Aspects (Q3392936) (← links)
- On the Logic and Computation of Partial Equilibrium Models (Q3533123) (← links)
- A denotational semantics for equilibrium logic (Q4593002) (← links)
- Logics in Artificial Intelligence (Q5394164) (← links)
- (Q5413342) (← links)
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming (Q6566627) (← links)