Aalto University

Dr. Ilkka Niemelä

Professor of Computer Science, Dept. of Computer Science, School of Science, Aalto University
Currently serving as Provost of Aalto University

Contact info for the Provost position:
Postal Address: Aalto University
P.0.Box 17800, FI-00076 AALTO, Finland
Street address: Lämpömiehenkuja 2, Aalto Otaniemi campus, Espoo
Email: provost@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

Valid HTML 4.0!