- 2013
- Kiyoshi Akama, Ekawit Nantajeewarawat:
Correctness of Solving Query-Answering Problems Using Satisfiability Solvers. ACIIDS (1) 2013: 404-413 - Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri:
Answer Set Programming and Declarative Problem Solving in Game AIs. PAI@AI*IA 2013: 81-88 - Kiyoshi Akama, Ekawit Nantajeewarawat:
Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation. KEOD 2013: 253-260 - Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise:
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. CoRR abs/1312.6113 (2013) - 2012
- Bernhard Bliem, Michael Morak, Stefan Woltran:
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming. Theory Pract. Log. Program. 12(4-5): 445-464 (2012) - Bernhard Bliem, Michael Morak, Stefan Woltran:
D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming. CoRR abs/1210.1931 (2012) - 2011
- Ilkka Niemelä:
Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems. ISMVL 2011: 139-141 - 2006
- Martin Brain:
Declarative Problem Solving Using Answer Set Semantics. ICLP 2006: 459-460 - Ilkka Niemelä:
Answer Set Programming: A Declarative Approach to Solving Search Problems. JELIA 2006: 15-18