Answer Set Programming: A Declarative Approach to Solving Search Problems.

Ilkka Niemel

Browse the full JELIA paper archive.