Martin Gebser

• Answer Set Solving in Practice
• Logics in Artificial Intelligence
• Practical Aspects of Declarative Languages