Base Styles/Icons/Some/Linkedin/Default Created with Sketch. Base Styles/Icons/Menu/Burger Default Created with Sketch. Base Styles/Icons/Close/Default Created with Sketch. Base Styles/Icons/lock/open Created with Sketch.
Ilkka Niemelä
President and Vice Presidents

Ilkka Niemelä

President

Contact information

Postal address
Dipoli, Otakaari 24

Department

President and Vice Presidents

Honors and awards

Award or honor granted for academic career
Leadership and LS Support Services
Aug 2013

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%).

Award or honor granted for a specific work
Leadership and LS Support Services
Oct 2016

20 Year Test of Time Paper Award

Award or honor granted for academic career
Centre of Excellence in Computational Inference, COIN
Jan 2015

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

Award or honor granted for a specific work
Centre of Excellence in Computational Inference, COIN
Jan 1993

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.

Award or honor granted for academic career
Centre of Excellence in Computational Inference, COIN
Jan 2007

Superior of the year at Helsinki University of Technology Superior of the year at Helsinki University of Technology 2007 (Teknillisen korkeakoulun vuoden esimies 2007).

Research groups

Centre of Excellence in Computational Inference, COIN, Professor
Professorship Niemelä I., Professor
Helsinki Institute for Information Technology HIIT, Professor

Publications

Department of Computer Science, Centre of Excellence in Computational Inference, COIN, Professorship Niemelä I., Helsinki Institute for Information Technology HIIT

The Answer Set Programming Paradigm

Publishing year: 2016 AI Magazine
Helsinki Insititute for Information Technology HIIT, Department of Computer Science

Cumulativity Tailored for Non-Monotonic Reasoning

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

Introducing Real Variables and Integer Objective Functions to Answer Set Programming

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

Bounded Model Checking of an MITL Fragment for Timed Automata

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

Simulating Parity Reasoning

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

Translating Answer-Set Programs into Bit-Vector Logic

Publishing year: 2013 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011
Tietojenkäsittelytieteen laito

Solving Parity Games by a Reduction to SAT

Publishing year: 2012 JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Helsinki Insititute for Information Technology HIIT, Tietojenkäsittelytieteen laito

Applying Visible Strong Equivalence in Answer-Set Program Transformations

Publishing year: 2012 Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Helsinki Insititute for Information Technology HIIT, Tietojenkäsittelytieteen laito

Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata

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

SMT-Based Induction Methods for Timed Systems

Publishing year: 2012 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), London, UK, September 18-20, 2012