The Blocks World

The domain description bw and the problems P0--P4: (for more information on these formalisms and an experimental evaluation of ccalc, dlv and smodels, see Chapter 3 of "Theory and applications of answer set programming," E. Erdem, Ph.D. Thesis, Technical Report CS-TR-02-69, Department of Computer Sciences, University of Texas at Austin, 2002.)