Aalto University

Dr. Ilkka Niemelä

Deputy President, Aalto University
Professor of Computer Science, Dept. of Information and Computer Science

Postal Address: Aalto University
P.0.Box 17800, FI-00076 AALTO, Finland
Street address: Lämpömiehenkuja 2 , Otaniemi, Espoo
Email: Ilkka.Niemela@aalto.fi
Appointments: Contact
Executive Assistant
Pia Holmberg
pia.holmberg@aalto.fi, + 358 40 542 1546

[Papers] [Research] [Software] [Tutorials] [Teaching] [Conferences]




  • lp2diff, a translator mapping logic programs to SMT theories implemented by Tomi Janhunen.
  • Smodels, a system for rule-based constraint programming based on logic programs with the stable model semantics implemented in C++.
  • GnT, an implementation of disjunctive stable models on top of Smodels. Note that this can compute also, e.g., minimal models of sets of clauses.
  • BCSat - an implementation of a tableau method for Boolean circuit satisfiability checking done by Tommi Junttila.
  • Test case generation for minimal model and other propositional reasoners.
  • An Eclipse Prolog implementation of a tableau-based method for automating circumscriptive reasoning (TABLEAUX'96, ECAI'96).

Tutorials and short courses given

  • Answer Set Programming. An invited tutorial given at the 19th European Conference on Artificial Intelligence (ECAI 2010), August 16-20, Lisbon, Portugal. (Slides [pdf]).
  • The Implementation of Answer Set Solvers. An invited tutorial given at the 20th International Conference on Logic Programming (ICLP'04), September 6-10, 2004, Saint-Malo, France (Slides [ps.gz]).
  • Answer-Set Programming: a Declarative Knowledge Representation Paradigm. A tutorial given at the 13th European Summer School in Logic, Language and Information (ESSLLI-2001), Helsinki, Finland, August 13-24, 2001 together with Mirek Truszczynski. (Handout, Slides).
  • Practical Tools for Knowledge Representation and Nonmonotonic Reasoning. A tutorial given at the 17th National Conference on Artificial Intelligence, Austin, Texas, July 30-August 3, 2000 together with Mirek Truszczynski. (Handout, Slides ).
  • Stable Model Semantics: From Theory to Implementations and Applications. An invited tutorial given at the First International Conference on Computational Logic (CL2000), Imperial College, London, UK, July 24-28, 2000 (Handout, Slides ).
  • Smodels: a System for Answer Set Programming, Dresden University of Technology, Department of Computer Science, Dresden, Germany, June 5--7, 2000. (Short course)
  • Default Logic: From Theory to Applications. A course given at the 11th European Summer School in Logic, Language and Information , Utrecht University, Aug 16-20, 1999.
  • Proof Systems for Nonmonotonic Logics. A tutorial given at the 12th International Conference on Automated Deduction, Nancy, France, June 28-July 1, 1994 together with Camilla Schwind. (Lecture Notes)


Conferences involved

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 16 February 2014. Ilkka Niemelä

Valid HTML 4.0!