Tomi Janhunen

Senior University Lecturer

Research outputs

  1. 2017
  2. 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: Scientific - peer-reviewArticle

  3. 2016
  4. 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.). Vol. 52, 15 p. 5

    Research output: Scientific - peer-reviewConference contribution

  5. 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: Scientific - peer-reviewArticle

  6. 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: Scientific - peer-reviewArticle

  7. 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: Scientific - peer-reviewConference contribution

  8. 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: Scientific - peer-reviewConference contribution

  9. 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: Scientific - peer-reviewConference contribution

  10. 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: Scientific - peer-reviewConference contribution

  11. Published

    The Answer Set Programming Paradigm

    Janhunen, T. & Niemelä, I. 2016 In : AI MAGAZINE. 37, 3, p. 13-+ 11 p.

    Research output: Scientific - peer-reviewArticle

  12. 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: Scientific - peer-reviewConference contribution

  13. 2015
  14. E-pub ahead of print

    Declarative encodings of acyclicity properties

    Gebser, M., Janhunen, T. & Rintanen, J. 10 Sep 2015 In : JOURNAL OF LOGIC AND COMPUTATION.

    Research output: Scientific - peer-reviewArticle

  15. 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: Scientific - peer-reviewConference contribution

  16. 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: Scientific - peer-reviewConference contribution

  17. 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: Scientific - peer-reviewConference contribution

  18. 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

    Research output: Scientific - peer-reviewConference contribution

  19. 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: Scientific - peer-reviewArticle

  20. 2014
  21. 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: Scientific - peer-reviewConference contribution

  22. 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: Scientific - peer-reviewConference contribution

  23. 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: Scientific - peer-reviewConference contribution

  24. 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

    Research output: Scientific - peer-reviewConference contribution

  25. 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: Scientific - peer-reviewConference contribution

  26. 2013
  27. 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: Scientific - peer-reviewConference contribution

  28. 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: Scientific - peer-reviewConference contribution

  29. Published

    Translating Answer-Set Programs into Bit-Vector Logic

    Nguyen, M., Janhunen, T. & Niemelä, I. 2013 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Vienna, 28-30 September, 2011. Tompits, H., Abreu, S., Oetsch, J., Pührer, J., Seipel, D., Umeda, M. & Wolf, A. (eds.). Berlin Heidelberg, p. 95-113

    Research output: Scientific - peer-reviewConference contribution

  30. 2012
  31. 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, Rome, Italy, June 10-14, 2012. p. 32-42

    Research output: Scientific - peer-reviewConference contribution

  32. 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

    Research output: Scientific - peer-reviewChapter

  33. 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: Scientific - peer-reviewConference contribution

  34. 2011
  35. 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

    Research output: Scientific - peer-reviewConference contribution

  36. 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: Scientific - peer-reviewConference contribution

  37. Published

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

    Janhunen, T., Niemelä, I., Oetsch, J., Puehrer, J. & Tompits, H. 2011 LOGIC PROGRAMMING AND NONMONOTONIC REASONING. Delgrande, J. & Faber, W. (eds.). Springer-verlag Berlin, p. 242-247 6 p. (Lecture Notes in Artificial Intelligence; vol. 6645)

    Research output: Scientific - peer-reviewConference contribution

  38. 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. Delgrande, J. & Faber, W. (eds.). Springer-verlag Berlin, p. 161-173 (Lecture Notes in Artificial Intelligence; vol. 6645)

    Research output: Scientific - peer-reviewConference contribution

  39. 2010
  40. Published
  41. Published

    On Testing Answer-Set Programs

    Janhunen, T., Niemelä, I., Oetsch, J., Pührer, J. & Tompits, H. 2010 ECAI 2010 - 19th European Conference on Artificial Intelligence (ECAI), 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: Scientific - peer-reviewConference contribution

  42. 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: Scientific - peer-reviewConference contribution

  43. 2009
  44. 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-169 (Lecture Notes in Computer Science ; vol. 5753)

    Research output: Scientific - peer-reviewConference contribution

  45. Published

    A Module-Based Framework for Multi-Language Constraint Modeling

    Järvisalo, M., Oikarinen, E., Janhunen, T. & Niemelä, I. 2009 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2009).

    Research output: Scientific - peer-reviewConference contribution

  46. 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: Scientific - peer-reviewArticle

  47. 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: Scientific - peer-reviewConference contribution

  48. 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: Scientific - peer-reviewArticle

  49. Published

    Translating Logic Programs into Difference Logic

    Janhunen, T. 2009

    Research output: ScientificSoftware

  50. 2008
  51. 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: Scientific - peer-reviewArticle

  52. 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 School of Computer Science and Engineering Technical Report, UNSW-CSE-TR-0819, p. 150-159

    Research output: Scientific - peer-reviewConference contribution

  53. Published

    Implementing Prioritized Circumscription by Computing Disjunctive Stable Models

    Oikarinen, E. & Janhunen, T. 2008 Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 2008 Proceedings. Dochev, D., Pistore, M. & Traverso, P. (eds.). p. 167-180

    Research output: Scientific - peer-reviewConference contribution

  54. Published

    Modular Equivalence in General

    Janhunen, T. 2008 The 18th European Conference on Artificial Intelligence Patras, Greece, July 21-25, 2008. Ghallab, M., Spyropoulos, C., Fakotakis, N. & Avouris, N. (eds.). p. 75-79

    Research output: Scientific - peer-reviewConference contribution

  55. Published

    Removing Redundancy from Answer Set Programs

    Janhunen, T. 2008 The 24th International Conference on Logic Programming (ICLP 2008). Gardia de la Banda, M. & Pontelli, E. (eds.). Berlin Heidelberg, p. 729-733

    Research output: Scientific - peer-reviewConference contribution

  56. 2007
  57. Published

    A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

    Oikarinen, E. & Janhunen, T. 2007 p. 440-441 (23rd International Conference on Logic Programming (ICLP), Porto, Portugal, September 8-13, 2007)

    Research output: ProfessionalWorking paper

  58. Published
  59. Published

    A Translation-based Approach to the Verification of Modular Equivalence

    Oikarinen, E. & Janhunen, T. 2007 4th Workshop on Answer Set Programming (ASP), Porto, Portugal, September 8 and 13, 2007. Costantini, S. & Watson, R. (eds.). p. 255-269

    Research output: Scientific - peer-reviewConference contribution

  60. Published

    Automated Verification of Weak Equivalence within the Smodels System

    Janhunen, T. & Oikarinen, E. 2007 In : Theory and Practice of Logic Programming. 7, 6, p. 697-744

    Research output: Scientific - peer-reviewArticle

  61. Published

    Intermediate Languages of ASP Systems and Tools

    Janhunen, T. 2007 The 1st International Workshop on Software Engineering for Answer Set Programming. Vos, M. D. & Schaub, T. (eds.). Tempe, p. 12-25

    Research output: Scientific - peer-reviewConference contribution

Previous 1 2 Next

ID: 103027