Pages that link to "Item:Q4815030"
From MaRDI portal
The following pages link to Computing preferred answer sets by meta-interpretation in Answer Set Programming (Q4815030):
Displaying 7 items.
- Computing weighted solutions in ASP: representation-based method vs. search-based method (Q421455) (← links)
- Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study (Q518622) (← links)
- Computing defeasible meta-logic (Q2055782) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530) (← links)
- Complex optimization in answer set programming (Q3087462) (← links)
- Logic Programming with Defaults and Argumentation Theories (Q5325769) (← links)
