Ilkka Niemelä
4 known books
newest first
No author bio imported yet.
Books
OpenLibrary works by this author.
Autoepistemic logic as a unified ...
Autoepistemic logic as a unified basis for nonmonotonic reasoning
Year unknown
Logic Programming
Logic Programming
Year unknown
Verónica Dahl and Ilkka Niemelä
Logic Programming and Nonmonotonic Reasoning
Year unknown
Vladimir Lifschitz and Ilkka Niemelä
Logics in Artificial Intelligence
Logics in Artificial Intelligence
Year unknown
Tomi Janhunen and Ilkka Niemelä
Fetched from OpenLibrary. Some translations may appear as separate works.