---

[Publications] [Research] [Conferences] [Journals] [Teaching at Aalto University]

---

Publications

• Here is the list of my publications many of which are available online.
• A similar list is administrated by our department.
• Other sources: DBLP bibliography server (University of Trier).

---

Research

• My research interests include
  • Knowledge representation and automated reasoning
  • Answer set programming (ASP): modularity, verification, optimization, etc.
  • Satisfiability checking and its relationship to ASP
  • Satisfiability modulo theories
  • Smart spaces
  • Distributed computation (multiprocessor architectures, computational grids, clouds)
  • Nonmonotonic logics and their expressive power
  • Computational complexity
• Research projects (after year 2000): EIT ICT Labs / Smart Spaces, MCM, ACPT, ARBCP, FMDS, CPBDR, and 007
• Experimental software and tools: GnT, lpeq, circ2dlp, lp2diff, lp2sat, sateq, and asptools
• Educational software: the Stratum system for automated home assignments

---

Conferences

I have personally reviewed 160 articles for approx 50 conferences such as AAAI, ASP, CADE, CL, ECAI, ECSQARU, ESSLLI, ICLP, IJCAI, IJCAR, JELIA, KI, KR, LASH, LPAR, LPNMR, NMR, PADL, and PLILP.

PC Co-Chair

• The 12th European Conference on Logics in Artificial Intelligence (JELIA'10), September 13—15, 2010, Helsinki, Finland.
• The session on applications at NMR'08.
• The computational aspects of NMR subworkshop of NMR'04.

PC Member

• The 13th European Conference on Logics in Artificial Intelligence (JELIA'12), September 26—28, 2012, Toulouse, France.
• The 20th European Conference on Artificial Intelligence (ECAI'12), August 27—31, 2012, Montpellier, France.
• The 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), June 10—14, 2012, Rome, Italy.
• The 19th International Conference on Applications of Declarative Programming and Knowledge Management, (INAP'11), September 28—30, 2011, Vienna, Austria.
• The 25th Workshop on (Constraint) Logic Programming (WLP'11), September 28—30, 2011, Vienna, Austria.
• The 25th AAAI Conference on Artificial Intelligence (AAAI-11), August 7—11, 2011, San Francisco, California, USA.
• The 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), July 16—22, 2011, Barcelona, Spain.
• The 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11), May 9—12, 2011, Vancouver, Canada.
• Thirty Years of Nonmonotonic Reasoning (NonMon@30), October 22—25, 2010, Lexington, Kentucky, USA.
• The 26th International Conference on Logic Programming (ICLP'10), July 16—19, 2010, Edinburgh, Scotland.
• The 3rd International Workshop on Logic and Search (LaSh'10), July 15, 2010, Edinburgh, Scotland.
• The 13th International Workshop on Non-Monotonic Reasoning (NMR'10), special session on declarative programming paradigms and systems, May 14—16, 2010, Toronto, Canada.
• The 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), September 14—18, 2009, Potsdam, Germany.
• The 21st International Joint Conference on Artificial Intelligence (IJCAI'09), July 11—17, 2009, Pasadena, California, USA.
• The 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), September 16—19, 2008, Sydney, Australia.
• The 12th International Workshop on Non-Monotonic Reasoning (NMR'08), September 13—15, 2008, Sydney, Australia.
  
• The 11th European Conference on Logics in Artificial Intelligence (JELIA'08), September 28—October 1, 2008, Dresden, Germany.
• The 23rd International Conference on Logic Programming (ICLP'07), Semptember 8—13, 2007, Porto, Portugal.
• The 22nd AAAI Conference on Artificial Intelligence (AAAI-07), July 22—26, 2007, Vancouver, British Columbia, Canada.
• The 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), May 14—16, 2007, Tempe, Arizona.
• The 22nd International Conference on Logic Programming (ICLP'06), August 17—20, 2006, Seattle, Washington, USA.
• The 17th European Conference on Artificial Intelligence (ECAI'06), August 28—September 1, 2006, Riva del Garda, Italy.
• The 10th European Conference on Logics in Artificial Intelligence (JELIA'06), September 13—15, Liverpool, UK.
• The 11th International Workshop on Non-Monotonic Reasoning (NMR'06), special session on answer set programming, May 30—June 1, 2006, Lake District, UK.
• Answer Set Programming: Advances in Theory and Implementation (ASP'05), July 27—79, 2005, Bath, UK.
• The 10th International Workshop on Non-Monotonic Reasoning (NMR'04), June 6—8, 2004, Whistler BC, Canada.
  
• The 19th National Conference on Artificial Intelligence (AAAI-04), July 25—29, 2004, San Jose, California.
• The 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7), Jan 6—8, 2004, Fort Lauderdale, Florida.

---

Journals

I have reviewed 40 articles for the Journals listed below. I am unable to accept further review requests for Spring 2011.

Artificial Intelligence Journal; ACM Transactions on Computational Logic; ACM Transactions on Knowledge and Data Engineering; AI Communications; Annals of Mathematics and Artificial Intelligence; Computational Intelligence; Computer Languages, Systems & Structures; Fundamenta Informaticae; Journal of Applied Logic; Journal of Automated Reasoning; Journal of Logic and Computation; Logical Methods in Computer Science; and Theory and Practice of Logic Programming.

---

Teaching at Aalto University

At the moment, I am the responsible teacher and lecturer of the following courses (academic year 2010-2011):

• T-79.3001 Logic in Computer Science: Foundations (4cr, spring terms, periods III and IV)
• T-79.5105 Answer Set Programming (4cr, autumn terms, periods I and II)
• Tik.Kand Bachelor's Thesis and Seminar (10cr, spring term, periods III and IV)

Other courses that I have lectured recently:

• T-0.7050 Introduction to Postgraduate Studies in Computer Science (2cr, spring term 2007, periods III and IV) together with Harri Haanpää and Nilay Oza
• T-79.5101 Advanced Course in Computational Logic
• T-79.5102 Special Course in Computational Logic
• T-79.5103 Computational Complexity Theory
• T-79.144, T-79.154, and T-79.230

Moreover, I instruct students preparing their theses by mutual consent:

• T-79.5001 Student Project in Theoretical Computer Science (5cr, any period)
• B.Sc., M.Sc., Lic.Sc., D.Sc./Ph.D. theses.
• I am affiliated with the Algorithms, Structures, and Complexity track of Helsinki Graduate School in Computer Science and Engineering HeCSE.

I have completed 15-credit pedagogical studies in 2005.

---

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]

---

Latest update: 16 December 2011. Tomi Janhunen