2009
- AUTHORS:
- Järvisalo Matti,
- Oikarinen Emilia,
- Janhunen Tomi,
- Niemelä Ilkka
- BOOKTITLE:
- Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5753
- PAGES:
- 155--169
![[URL]](http://research.ics.aalto.fi/publications/bibdb2012/url_icon.png){kind=icon}
![[PUBURL]](http://research.ics.aalto.fi/publications/bibdb2012/info_icon.png){kind=icon}
- AUTHORS:
- Järvisalo Matti,
- Oikarinen Emilia,
- Janhunen Tomi,
- Niemelä Ilkka
- BOOKTITLE:
- Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2009)
- AUTHORS:
- Järvisalo Matti,
- Junttila Tommi
- JOURNAL:
- Constraints
- VOLUME:
- 14
- PAGES:
- 325-356
- AUTHORS:
- Oikarinen Emilia,
- Järvisalo Matti
- BOOKTITLE:
- Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5753
- PAGES:
- 236--249
- AUTHORS:
- Järvisalo Matti
- JOURNAL:
- AI Communications
- VOLUME:
- 22
- PAGES:
- 117--119
2008
- AUTHORS:
- Järvisalo Matti,
- Oikarinen Emilia
- JOURNAL:
- Theory and Practice of Logic Programming
- VOLUME:
- 8
- PAGES:
- 691--716
- AUTHORS:
- Järvisalo Matti,
- Junttila Tommi,
- Niemelä Ilkka
- BOOKTITLE:
- Proceedings of the 2nd International Workshop on Logic and Search: Computation of structures from declarative descriptions (LaSh'08)
- PAGES:
- 111--125
- AUTHORS:
- Järvisalo Matti,
- Junttila Tommi,
- Niemelä Ilkka
- BOOKTITLE:
- Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'08)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5330
- PAGES:
- 31--46
- AUTHORS:
- Järvisalo Matti,
- Junttila Tommi,
- Niemelä Ilkka
- BOOKTITLE:
- Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)
- SERIES:
- Frontiers in Artificial Intelligence and Applications
- VOLUME:
- 178
- PAGES:
- 535--539
- AUTHORS:
- Järvisalo Matti,
- Junttila Tommi
- BOOKTITLE:
- Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08)
- PAGES:
- 304--309
- AUTHORS:
- Järvisalo Matti
- AUTHORS:
- Järvisalo Matti,
- Niemelä Ilkka
- JOURNAL:
- Journal of Algorithms
- VOLUME:
- 63
- PAGES:
- 90--113
2007
- AUTHORS:
- Järvisalo Matti
![[PDF]](http://research.ics.aalto.fi/publications/bibdb2012/pdf_icon.gif){kind=icon}
- AUTHORS:
- Järvisalo Matti,
- Oikarinen Emilia
- BOOKTITLE:
- Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 4670
- PAGES:
- 134--148
- AUTHORS:
- Järvisalo Matti
- AUTHORS:
- Järvisalo Matti
- AUTHORS:
- Järvisalo Matti
- BOOKTITLE:
- Summer School on Algorithmic Data Analysis (SADA 2007) and Annual Hecse Poster Session. Abstract proceedings
- SERIES:
- Series of Publications B, Report B-2007-4
- PAGES:
- 39
- AUTHORS:
- Järvisalo Matti,
- Junttila Tommi
- BOOKTITLE:
- Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP 2007)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 4741
- PAGES:
- 348--363
- AUTHORS:
- Järvisalo Matti
- BOOKTITLE:
- Proceedings of the CP 2007 Doctoral Program
- PAGES:
- 55--60
- AUTHORS:
- Järvisalo Matti
- BOOKTITLE:
- 14th RCRA Workshop: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2006
- AUTHORS:
- Järvisalo Matti
- BOOKTITLE:
- Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI-06)
- PAGES:
- 1873--1874
- AUTHORS:
- Haanpää Harri,
- Järvisalo Matti,
- Kaski Petteri,
- Niemelä Ilkka
- JOURNAL:
- Journal on Satisfiability, Boolean Modeling and Computation
- VOLUME:
- 2
- PAGES:
- 27--46
- AUTHORS:
- Järvisalo Matti
- BOOKTITLE:
- Koli Calling 2005 -- Proceedings of the Fifth Finnish / Baltic Sea Conference on Computer Science Education
- SERIES:
- TUCS General Publications
- VOLUME:
- 41
- PAGES:
- 157--161
- AUTHORS:
- Järvisalo Matti
2005
- AUTHORS:
- Haanpää Harri,
- Järvisalo Matti,
- Kaski Petteri,
- Niemelä Ilkka
- AUTHORS:
- Järvisalo Matti,
- Junttila Tommi,
- Niemelä Ilkka
- JOURNAL:
- Annals of Mathematics and Artificial Intelligence
- VOLUME:
- 44
- PAGES:
- 373--399
- AUTHORS:
- Järvisalo Matti
2004
- AUTHORS:
- Järvisalo Matti,
- Niemelä Ilkka
- BOOKTITLE:
- Proceedings of the 3rd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems: Towards Systemisation and Automation
- PAGES:
- 111--124
- AUTHORS:
- Järvisalo Matti
- JOURNAL:
- Tietojenkäsittelytiede
- VOLUME:
- 22
- PAGES:
- 47--63
- AUTHORS:
- Järvisalo Matti
- AUTHORS:
- Järvisalo Matti
- AUTHORS:
- Janhunen Tomi,
- Jussila Toni,
- Järvisalo Matti,
- Oikarinen Emilia
- BOOKTITLE:
- Kolin Kolistelut -- Koli Calling. Proceedings of the Fourth Finnish / Baltic Sea Conference on Computer Science Education
- SERIES:
- Research Report Series of Laboratory of Information Processing Science, Helsinki University of Technology
- VOLUME:
- TKO-42/04
- PAGES:
- 85--94
- AUTHORS:
- Järvisalo Matti
- BOOKTITLE:
- Tietojenkäsittelytieteen päivät 2004
- SERIES:
- International Proceedings Series of Department of Computer Science, University of Joensuu
- VOLUME:
- 5
- PAGES:
- 49--53
- AUTHORS:
- Järvisalo Matti,
- Junttila Tommi,
- Niemelä Ilkka
- BOOKTITLE:
- 8th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, USA, January 4--6