Pages that link to "Item:Q3533116"
From MaRDI portal
The following pages link to Answer Set Programming: A Declarative Approach to Solving Search Problems (Q3533116):
Displaying 14 items.
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (Q2133436) (← links)
- <tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming (Q2931265) (← links)
- Shift Design with Answer Set Programming (Q3449188) (← links)
- Answer Set Programming with Resources (Q3553920) (← links)
- First-order Answer Set Programming as Constructive Proof Search (Q4559822) (← links)
- Achievements in answer set programming (Q4592719) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- (Q4708959) (← links)
- The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
- Finding similar/diverse solutions in answer set programming (Q5298797) (← links)
- Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach (Q5870535) (← links)
- An Introduction to Answer Set Programming and Some of Its Extensions (Q6488098) (← links)