Applications of Logic Programming to Planning: Computational Experiments

This report summarizes experiments with the systems smodels and dlv applied to some planning problems. The planning problems are presented to smodels and dlv as logic programs. Plans correspond to answer sets for these programs, in the spirit of answer set programming.