Tomi Janhunen

• Logic Programming and Nonmonotonic Reasoning
• Logics in Artificial Intelligence