Answer set programming and plan generation
scientific article; zbMATH DE number 1767930