Tommi Syrjänen

Researcher, Graduate Student (HeCSE)

Helsinki University of Technology
Department of Computer Science and Engineering
Laboratory for Theoretical Computer Science

Research Interests

I work with the logic group of the Laboratory for Theoretical Computer Science in Helsinki University of Technology. The main focus of my research is on applications of computational logic and in particular in the field of software configuration.

I have authored lparse, a front-end of the smodels system. I have also written a couple of handy utilities that can be found at my software page.

Teaching

I'm a teaching assistant on following courses:

Publications

2002 Brewka, Gerhard, Niemelä, Ilkka and Syrjänen, Tommi: Implementing Ordered Disjunction using Answer Set Solvers for Normal Prorams In Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), Volume 2424 of Lecture Notes in Computer Science, Springer, Berlin. ©Springer-Verlag.

2001 Tommi Syrjänen: Omega-restricted Logic Programs In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2001, Vienna, Austria, Volume 2173 of Lecture Notes in Artificial Intelligence, Springer, Berlin. ©Springer-Verlag.

2001 Tommi Syrjänen and Ilkka Niemelä: The Smodels System In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2001, Vienna, Austria, Volume 2173 of Lecture Notes in Artificial Intelligence, Springer, Berlin. ©Springer-Verlag.

2001 Tommi Syrjänen: Version Spaces and Rule-Based Configuration Management In Working Notes of the IJCAI 2001 Workshop on Configuration, Seattle, USA, August 2001.

2000 Tommi Syrjänen: Modelling the Game of Life using Logic Programs In Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala. Espoo 2000, Helsinki University of Technology.

2000 Tommi Syrjänen: Optimizing Configurations In Proceedings of the ECAI Workshop W02 on Configuration, August, 2000, Berlin, Germany

2000 Tommi Syrjänen: Including Diagnostic Information in Configuration Models In Proceedings of the First International Conference on Computational Logic, London, UK, July 2000, Volume 1861 of Lecture Notes in Artificial Intelligence, Springer, Berlin. ©Springer-Verlag.

2000 Ilkka Niemelä, Patrik Simons, Tommi Syrjänen: Smodels: A System for Answer Set Programming In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, April 9-11, 2000, Breckenridge, Colorado.

1999 Tommi Syrjänen: A Rule-Based Formal Model for Software Configuration in the Report Series of Digital Systems Laboratory, number A55.

1998 Tommi Syrjänen: Implementation of Local Grounding for Logic Programs With Stable Model Semantics in the Report Series of Digital Systems Laboratory, number B18.