Michael Morak

• Logics in Artificial Intelligence