Pages that link to "Item:Q5019604"
From MaRDI portal
The following pages link to A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction (Q5019604):
Displaying 7 items.
- Ordered model trees: A normal form for disjunctive deductive databases (Q1344891) (← links)
- Choice logics and their computational properties (Q2082503) (← links)
- (Q3063987) (← links)
- Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective (Q5038473) (← links)
- Default Logics with Preference Order: Principles and Characterisations (Q5505570) (← links)
- A general framework for preferences in answer set programming (Q6067052) (← links)
- Sequent calculi for choice logics (Q6552502) (← links)