Ilkka Niemelä

Ilkka Niemelä

1 books in the database

Books

Autoepistemic logic as a unified basis for nonmonotonic reasoningIlkka Niemelä

Autoepistemic logic as a unified basis for nonmonotonic reasoning

Ilkka Niemelä · 1993

Co-authored books and collections

Books that list Ilkka Niemelä among their authors but not as the lead author: co-written works, collections and compilations.

Logic Programming and Nonmonotonic ReasoningVladimir Lifschitz

Logic Programming and Nonmonotonic Reasoning

Vladimir Lifschitz · 2003

Logics in Artificial IntelligenceTomi Janhunen

Logics in Artificial Intelligence

Tomi Janhunen · 2010

Logic ProgrammingVerónica Dahl

Logic Programming

Verónica Dahl · 2007