Ilkka Niemelä

• Logic Programming and Nonmonotonic Reasoning
• Autoepistemic logic as a unified basis for nonmonotonic reasoning
• Logic Programming
• Logics in Artificial Intelligence