Tomi Janhunen

Senior University Lecturer

Research outputs

  1. 2018
  2. Published

    Variable Elimination for DLP-Functions

    Goncalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 30 Oct 2018, p. 643-644. 2 p.

    Research output: Contribution to conferenceAbstractScientificpeer-review

  3. Published

    Answer Set Programming: Related with Other Solving Paradigms

    Janhunen, T., 9 Jun 2018, In : KUENSTLICHE INTELLIGENZ. 32, 2-3, p. 125-131 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

    Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

    Janhunen, T., 14 May 2018, In : KUENSTLICHE INTELLIGENZ. 32, 2-3, p. 183-184 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming (Extended Abstract)

    Bomanson, J., Janhunen, T. & Weinzierl, A., 2018, p. 625-626. 2 p.

    Research output: Contribution to conferenceAbstractScientificpeer-review

  6. 2017
  7. Published

    Clingo goes linear constraints over reals and integers

    Janhunen, T., Kaminski, R., Ostrowski, M., Schaub, T., Schellhorn, S. & Wanko, P., 1 Jan 2017, Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms . RWTH Aachen, Vol. 1868. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  8. Published

    Clingo goes linear constraints over reals and integers

    Janhunen, T., Kaminski, R., Ostrowski, M., Schellhorn, S., Wanko, P. & Schaub, T., 2017, In : Theory and Practice of Logic Programming. 17, 5-6, p. 872-888

    Research output: Contribution to journalArticleScientificpeer-review

  9. Published

    Learning discrete decomposable graphical models via constraint optimization

    Janhunen, T., Gebser, M., Rintanen, J., Nyman, H., Pensar, J. & Corander, J., 2017, In : STATISTICS AND COMPUTING. 27, 1, p. 115-130

    Research output: Contribution to journalArticleScientificpeer-review

  10. Published

    Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

    Balduccini, M. & Janhunen, T., 2017, 359 p. (Lecture Notes in Artificial Intelligence; vol. 10377)

    Research output: Book/ReportAnthologyScientificpeer-review

  11. 2016
  12. Published

    Rewriting optimization statements in answer-set programs

    Bomanson, J., Gebser, M. & Janhunen, T., 1 Nov 2016, Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016. Carro, M., King, A., Saeedloei, N. & De Vos, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 52. 15 p. 5

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  13. Published

    Stable-unstable semantics: Beyond NP with normal logic programs

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 1 Sep 2016, In : Theory and Practice of Logic Programming. 16, 5-6, p. 570-586 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  14. Published

    Answer Set Programming Modulo Acyclicity

    Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2016, In : Fundamenta Informaticae. 147, 1, p. 63-91 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  15. Published

    Declarative Solver Development: Case Studies

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016.. Baral, C., Delgrande, J. & Wolter, F. (eds.). p. 74-83

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  16. Published

    SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators

    Janhunen, T., Tasharrofi, S. & Ternovska, E., 2016, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). p. 978-984

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  17. Published

    SAT-To-SAT in QBFEval 2016

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Proceedings of the 4th International Workshop on Quantified Boolean Formulas. CEUR-WS, p. 63-70 8 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  18. Published

    Solving QBF Instances With Nested SAT Solvers

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Proceedings of the AAAI-16 Workshop on Beyond NP. AAAI, p. 307-313

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  19. Published

    The Answer Set Programming Paradigm

    Janhunen, T. & Niemelä, I., 2016, In : AI Magazine. 37, 3, p. 13-24 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  20. Published

    Writing declarative specifications for clauses

    Gebser, M., Janhunen, T., Kaminski, R., Schaub, T. & Tasharrofi, S., 2016, Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Proceedings. Springer-Verlag, Vol. 10021 LNAI. p. 256-271 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10021 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  21. 2015
  22. Published

    Accessibility by Public Transport Predicts Residential Real Estate Prices: A Case Study in Helsinki Region

    Zliobaite, I., Mathioudakis, M., Lehtiniemi, T., Parviainen, P. & Janhunen, T., 2015, The 2nd International Workshop on Mining Urban Data co-located with 32nd International Conference on Machine Learning (ICML 2015), Lille, France, July 11th, 2015. Katakis, I., Schnitzler, F., Liebig, T., Gunopulos, D., Morik, K., L. Andrienko, G. & Mannor, S. (eds.). CEUR-WS.org, p. 65-71

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  23. Published

    Answer Set Programming Modulo Acyclicity

    Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2015, 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Lexington, KY, USA, September 27-30, 2015. p. 143-150

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  24. Published

    ASP Solving for Expanding Universes

    Gebser, M., Janhunen, T., Jost, H., Kaminski, R. & Schaub, T., 2015, 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Lexington, KY, USA, September 27-30, 2015. p. 354-367

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  25. Published

    Cumulativity Tailored for Non-Monotonic Reasoning

    Janhunen, T. & Niemelä, I., 2015, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Leipzig, Germany, February 4, 2015. Eiter, T., Strass, H., Truszczynski, M. & Woltran, S. (eds.). Switzerland, p. 96-111 (Lecture Notes in Computer Science; vol. 9060).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  26. Published

    Declarative encodings of acyclicity properties

    Gebser, M., Janhunen, T. & Rintanen, J., 2015, In : Journal of Logic and Computation. 30 p.

    Research output: Contribution to journalArticleScientificpeer-review

  27. Published

    Optimizing phylogenetic supertrees using answer set programming

    Koponen, L., Oikarinen, E., Janhunen, T. & Säilä, L., 2015, In : Theory and Practice of Logic Programming. 15, 4-5, p. 604-619

    Research output: Contribution to journalArticleScientificpeer-review

  28. 2014
  29. Published

    Answer Set Programming as SAT modulo Acyclicity

    Gebser, M., Janhunen, T. & Rintanen, J., 2014, European Conference on Artificial Intelligence, ECAI 2014, 18-22 August, Prague, Czech Republic. p. 351-356

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  30. Published

    ASP Encodings of Acyclicity Properties

    Gebser, M., Janhunen, T. & Rintanen, J., 2014, International Conference on Knowledge Representation and Reasoning, KR 2014, 20-24 July, Vienna, Austria. p. 634-637

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  31. Published

    Improving the Normalization of Weight Rules in Answer Set Programs

    Bomanson, J., Gebser, M. & Janhunen, T., 2014, European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal. Fermé, E. & Leite, J. (eds.). p. 166-180

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  32. Published

    Introducing Real Variables and Integer Objective Functions to Answer Set Programming

    Liu, G., Janhunen, T. & Niemelä, I., 2014, International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013. Hanus, M. & Rocha, R. (eds.). p. 118-135 18 p. (Lecture Notes in Computer Science; vol. 8439 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  33. Published

    SAT modulo Graphs: Acyclicity

    Gebser, M., Janhunen, T. & Rintanen, J., 2014, European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal. p. 137-151

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  34. 2013
  35. Published

    Learning Chordal Markov Networks by Constraint Satisfaction

    Corander, J., Janhunen, T., Rintanen, J., Nyman, H. & Pensar, J., 2013, 26th International Conference on Neural Information Processing Systems (NIPS 2013), Lake Tahoe, 5-8 December, 2013. Burges, C., Bottou, L., Welling, M., Ghahramani, Z. & Weinberger, K. (eds.). Neural Information Processing Systems Foundation, p. 1349--1357

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  36. Published

    Normalizing Cardinality Rules Using Merging and Sorting Constructions

    Bomanson, J. & Janhunen, T., 2013, 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, 15-19 September, 2013. Cabalar, P. & Son, T. C. (eds.). Berlin, p. 187-199

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  37. Published

    Translating Answer-Set Programs into Bit-Vector Logic

    Nguyen, M., Janhunen, T. & Niemelä, I., 2013, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011: Applications of Declarative Programming and Knowledge Management . Tompits, H., Abreu, S., Oetsch, J., Pührer, J., Seipel, D., Umeda, M. & Wolf, A. (eds.). Berlin Heidelberg, p. 95-113 19 p. (Lecture Notes in Computer Science; vol. 7773 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  38. 2012
  39. Published

    Answer Set Programming via Mixed Integer Programming

    Liu, G., Janhunen, T. & Niemelä, I., 2012, 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, June 10-14, 2012. p. 32-42

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  40. Published

    Applying Visible Strong Equivalence in Answer-Set Program Transformations

    Janhunen, T. & Niemelä, I., 2012, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Erdem, E., Lee, J., Lierler, Y. & Pearce, D. (eds.). Berlin, p. 363-379 (Lecture Notes in Computer Science; vol. 7265).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  41. Published

    Meta Programming with Answer Sets for Smart Spaces

    Janhunen, T. & Luukkala, V., 2012, RR 6th International Conference on Web Reasoning and Rule Systems (RR 2012) RR, Vienna, Austria, September 10-12, 2012. Krötzsch, M. & Straccia, U. (eds.). Vienna, p. 106-121

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  42. 2011
  43. Published

    Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses

    Janhunen, T. & Niemelä, I., 2011, The Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary. Balduccini, M. & Son, T. C. (eds.). Lexington, p. 111-130 (Lecture Notes in Computer Science; vol. 6565).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  44. Published

    Distributed Deadlock Handling for Resource Allocation in Smart Spaces

    Aziz, R. A., Janhunen, T. & Luukkala, V., 2011, NEW2AN RuSMART 4th Conference on Smart Spaces (NEW2AN/RuSMART 2011) NEW2AN RuSMART. Balandin, S., Koucheryavy, Y. & Hu, H. (eds.). St. Petersburg, p. 87-98

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  45. Published

    Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison

    Janhunen, T., Niemelä, I., Oetsch, J., Puehrer, J. & Tompits, H., 2011, International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011. Delgrande, J. & Faber, W. (eds.). p. 242-247 6 p. (Lecture Notes in Computer Science; vol. 6645).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  46. Published

    Strong Equivalence of Logic Programs with Abstract Constraint Atoms

    Liu, G., Goebel, R., Janhunen, T., Niemelä, I. & You, J-H., 2011, Logic Programming and Nonmonotonic Reasoning. LPNMR 2011. Delgrande, J. & Faber, W. (eds.). p. 161-173 (Lecture Notes in Computer Science; vol. 6645).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  47. 2010
  48. Published

    Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

    Janhunen, T. (ed.) & Niemelä, I. (ed.), 2010, Berlin. 374 p. (Lecture Notes in Artificial Intelligence; vol. LNCS 6341)

    Research output: Book/ReportAnthologyScientificpeer-review

  49. Published

    On Testing Answer-Set Programs

    Janhunen, T., Niemelä, I., Oetsch, J., Pührer, J. & Tompits, H., 2010, 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010. Coelho, H., Studer, R. & Wooldridge, M. (eds.). p. 951-956 (Frontiers in Artificial Intelligence and Applications; vol. 215).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  50. Published

    Sampler programs: The stable model semantics of abstract constraint programs revisited

    Janhunen, T., 2010, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010. Vol. 7. p. 94-103 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  51. Published

    Sampler Programs: The Semantics of Abstract Constraint Programs Revisited

    Janhunen, T., 2010, Technical Communications of the 26th International Conference on Logic Programming. Hermenegildo, M. & Schaub, T. (eds.). Dagstuhl: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 94-103

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  52. 2009
  53. Published

    A Module-Based Framework for Multi-Language Constraint Modeling

    Järvisalo, M., Oikarinen, E., Janhunen, T. & Niemelä, I., 2009, Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Erdem, E., Lin, F. & Schaub, T. (eds.). p. 155-168 (Lecture Notes in Computer Science ; vol. 5753).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  54. Published

    A Translation-based Approach to the Verification of Modular Equivalence

    Oikarinen, E. & Janhunen, T., 2009, In : Journal of Logic and Computation. 19, 4, p. 591-613

    Research output: Contribution to journalArticleScientificpeer-review

  55. Published

    Computing Stable Models via Reductions to Difference Logic

    Janhunen, T., Niemelä, I. & Sevalnev, M., 2009, Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Erdem, E., Lin, F. & Schaub, T. (eds.). p. 142-154 (Lecture Notes in Computer Science ; vol. 5753).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  56. Published

    Modularity Aspects of Disjunctive Stable Models

    Janhunen, T., Oikarinen, E., Tompits, H. & Woltran, S., 2009, In : Journal of Artificial Intelligence Research. 35, p. 813-857

    Research output: Contribution to journalArticleScientificpeer-review

  57. Published

    Translating Logic Programs into Difference Logic

    Janhunen, T., 2009

    Research output: Artistic and non-textual formSoftwareScientific

  58. 2008
  59. Published

    Achieving compositionality of the stable model semantics for Smodels programs

    Oikarinen, E. & Janhunen, T., 2008, In : Theory and Practice of Logic Programming. 8, 5-6, p. 717-761

    Research output: Contribution to journalArticleScientificpeer-review

  60. Published

    A Versatile Intermediate Language for Answer Set Programming

    Gebser, M., Janhunen, T., Ostrowski, M., Schaub, T. & Thiele, S., 2008, The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008. Pagnucco, M. & Thielscher, M. (eds.). Sydney, Australia: University of New South Wales, p. 150-159 (Technical Report; no. UNSW-CSE-TR-0819).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  61. Published

    Computing stable models via reductions to boolean circuits and difference logic

    Janhunen, T., Niemelä, I. & Sevalnev, M., 2008, Computation of Structures from Declarative Descriptions: 2nd International Workshop on Logic and Search (LaSh 2008). KU Leuven, Belgium, November 2008. Proceedings. Denecker, M. (ed.). p. 16-30

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Previous 1 2 3 Next

ID: 103027