Autoepistemic answer set programming
scientific article; zbMATH DE number 7382225
scientific article