Honors and awards
EurAI Fellow
The EurAI (European Association for Artificial Intelligence) Fellows Program honors only a very small percentage of the total membership of all EurAI member societies (up to a maximum of 3%).
20 Year Test of Time Paper Award
20 Year Test of Time Paper Award, International Conference on Logic Programming, for the article “Efficient Implementation of the Well-founded and Stable Model Semantics”
Knight, First Class, of the Order of the White Rose of Finland
Knight, First Class, of the Order of the White Rose of Finland, 2015
The annual dissertation award of the Finnish Society for Computer Science for a distinguished doctoral dissertation in Computer Science
The annual dissertation award of the Finnish Society for Computer Science for a<br/>distinguished doctoral dissertation in Computer Science in 1993.
Superior of the year at Helsinki University of Technology
Superior of the year at Helsinki University of Technology 2007 (Teknillisen korkeakoulun vuoden esimies 2007).
Publications
Department of Computer Science, Centre of Excellence in Computational Inference, COIN, Professorship Niemelä I., Helsinki Institute for Information Technology HIIT
Publishing year: 2016
AI Magazine
Helsinki Insititute for Information Technology HIIT, Department of Computer Science
Publishing year: 2015
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Leipzig, Germany, February 4, 2015
Helsinki Insititute for Information Technology HIIT, Tietojenkäsittelytieteen laito
Publishing year: 2014
International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013
Helsinki Insititute for Information Technology HIIT, Tietojenkäsittelytieteen laito
Publishing year: 2013
13th International Conference on Application of Concurrency to System Design (ACSD), July 8-10, Barcelona, Spain
Helsinki Insititute for Information Technology HIIT, Tietojenkäsittelytieteen laito
Publishing year: 2013
19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013
Helsinki Insititute for Information Technology HIIT, Tietojenkäsittelytieteen laito
Publishing year: 2013
19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011
Tietojenkäsittelytieteen laito
Publishing year: 2012
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Helsinki Insititute for Information Technology HIIT, Tietojenkäsittelytieteen laito
Publishing year: 2012
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Helsinki Insititute for Information Technology HIIT, Tietojenkäsittelytieteen laito
Publishing year: 2012
FMOODS FORTE IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2012) FMOODS FORTE, Stockholm, Sweden, June 13-16, 2012
Helsinki Insititute for Information Technology HIIT, Tietojenkäsittelytieteen laito
Publishing year: 2012
10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), London, UK, September 18-20, 2012