Pages that link to "Item:Q4452601"
From MaRDI portal
The following pages link to A framework for compiling preferences in logic programs (Q4452601):
Displayed 13 items.
- Strong order equivalence (Q854968) (← links)
- An axiomatic analysis of structured argumentation with priorities (Q899441) (← links)
- Fundamental properties of attack relations in structured argumentation with priorities (Q1693566) (← links)
- Revealed preference in argumentation: algorithms and applications (Q2237149) (← links)
- Complex optimization in answer set programming (Q3087462) (← links)
- Justifications for logic programs under answer set semantics (Q3612602) (← links)
- Translating LPOD and CR-Prolog<sub>2</sub>into standard answer set programs (Q4559816) (← links)
- Argumentation for Practical Reasoning: An Axiomatic Approach (Q4571138) (← links)
- A Logic Framework for P2P Deductive Databases (Q5108527) (← links)
- Preferred First-Order Answer Set Programs (Q5169967) (← links)
- An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. (Q5240213) (← links)
- Logic Programming with Defaults and Argumentation Theories (Q5325769) (← links)
- Integrated preference argumentation and applications in consumer behaviour analyses (Q6116529) (← links)