Declarative Problem Solving Using Answer Set Semantics.

Martin Brain

Browse the full ICLP paper archive.