Autoepistemic logic programming
autoepistemic logic programming language
scientific article; zbMATH DE number 724145