The following pages link to (Q4808808):
Displayed 12 items.
- Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
- Strong order equivalence (Q854968) (← links)
- Equilibrium logic (Q854969) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- Safe beliefs for propositional theories (Q1779312) (← links)
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (Q2133436) (← links)
- An extension of the stable semantics via Lukasiewicz logic (Q2133458) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- A logical approach to A-Prolog (Q4916215) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- (Q5020550) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)