The following pages link to (Q2767052):
Displaying 7 items.
- Strong order equivalence (Q854968) (← links)
- Dynamic reordering of alternatives for definite logic programs (Q1749236) (← links)
- A Selective Semantics for Logic Programs with Preferences (Q2915073) (← links)
- (Q3490987) (← links)
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (Q3534658) (← links)
- (Q4925872) (← links)
- Logic Programming with Defaults and Argumentation Theories (Q5325769) (← links)