Tomi Janhunen

Vanhempi yliopistonlehtori

Tutkimustuotokset

  1. 2018
  2. Julkaistu

    Variable Elimination for DLP-Functions

    Goncalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 30 lokakuuta 2018, s. 643-644. 2 Sivumäärä.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  3. Julkaistu

    Answer Set Programming: Related with Other Solving Paradigms

    Janhunen, T., 9 kesäkuuta 2018, julkaisussa : KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 125-131 7 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  4. Julkaistu

    Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

    Janhunen, T., 14 toukokuuta 2018, julkaisussa : KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 183-184 2 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  5. Julkaistu

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

    Bomanson, J., Janhunen, T. & Weinzierl, A., 2018, s. 625-626. 2 Sivumäärä.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  6. 2017
  7. Julkaistu

    Clingo goes linear constraints over reals and integers

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  8. Julkaistu

    Clingo goes linear constraints over reals and integers

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  9. Julkaistu

    Learning discrete decomposable graphical models via constraint optimization

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  10. Julkaistu

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

    Balduccini, M. & Janhunen, T., 2017, 359 Sivumäärä (Lecture Notes in Artificial Intelligence; painos 10377)

    Tutkimustuotos: Kirjavertaisarvioitu

  11. 2016
  12. Julkaistu

    Rewriting optimization statements in answer-set programs

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  13. Julkaistu

    Stable-unstable semantics: Beyond NP with normal logic programs

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 1 syyskuuta 2016, julkaisussa : Theory and Practice of Logic Programming. 16, 5-6, s. 570-586 17 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  14. Julkaistu

    Answer Set Programming Modulo Acyclicity

    Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2016, julkaisussa : Fundamenta Informaticae. 147, 1, s. 63-91 29 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  15. Julkaistu

    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. (toim.). s. 74-83

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  16. Julkaistu

    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). s. 978-984

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  17. Julkaistu

    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, s. 63-70 8 Sivumäärä (CEUR Workshop Proceedings).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  18. Julkaistu

    Solving QBF Instances With Nested SAT Solvers

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  19. Julkaistu

    The Answer Set Programming Paradigm

    Janhunen, T. & Niemelä, I., 2016, julkaisussa : AI Magazine. 37, 3, s. 13-24 12 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  20. Julkaistu

    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, Vuosikerta 10021 LNAI. s. 256-271 16 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 10021 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  21. 2015
  22. Julkaistu

    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. (toim.). CEUR-WS.org, s. 65-71

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  23. Julkaistu

    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. s. 143-150

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  24. Julkaistu

    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. s. 354-367

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  25. Julkaistu

    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. (toim.). Switzerland, s. 96-111 (Lecture Notes in Computer Science; painos 9060).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  26. Julkaistu

    Declarative encodings of acyclicity properties

    Gebser, M., Janhunen, T. & Rintanen, J., 2015, julkaisussa : Journal of Logic and Computation. 30 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  27. Julkaistu

    Optimizing phylogenetic supertrees using answer set programming

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  28. 2014
  29. Julkaistu

    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. s. 351-356

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  30. Julkaistu

    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. s. 634-637

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  31. Julkaistu

    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. (toim.). s. 166-180

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  32. Julkaistu

    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. (toim.). s. 118-135 18 Sivumäärä (Lecture Notes in Computer Science; painos 8439 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  33. Julkaistu

    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. s. 137-151

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  34. 2013
  35. Julkaistu

    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. (toim.). Neural Information Processing Systems Foundation, s. 1349--1357

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  36. Julkaistu

    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. (toim.). Berlin, s. 187-199

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  37. Julkaistu

    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. (toim.). Berlin Heidelberg, s. 95-113 19 Sivumäärä (Lecture Notes in Computer Science; painos 7773 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  38. 2012
  39. Julkaistu

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  40. Julkaistu

    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. (toim.). Berlin, s. 363-379 (Lecture Notes in Computer Science; painos 7265).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  41. Julkaistu

    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. (toim.). Vienna, s. 106-121

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  42. 2011
  43. Julkaistu

    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. (toim.). Lexington, s. 111-130 (Lecture Notes in Computer Science; painos 6565).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  44. Julkaistu

    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. (toim.). St. Petersburg, s. 87-98

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  45. Julkaistu

    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. (toim.). s. 242-247 6 Sivumäärä (Lecture Notes in Computer Science; painos 6645).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  46. Julkaistu

    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. (toim.). s. 161-173 (Lecture Notes in Computer Science; painos 6645).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  47. 2010
  48. Julkaistu

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

    Janhunen, T. (toim.) & Niemelä, I. (toim.), 2010, Berlin. 374 Sivumäärä (Lecture Notes in Artificial Intelligence; painos LNCS 6341)

    Tutkimustuotos: Kirjavertaisarvioitu

  49. Julkaistu

    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. (toim.). s. 951-956 (Frontiers in Artificial Intelligence and Applications; painos 215).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  50. Julkaistu

    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. Vuosikerta 7. s. 94-103 10 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  51. Julkaistu

    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. (toim.). Dagstuhl: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 94-103

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  52. 2009
  53. Julkaistu

    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. (toim.). s. 155-168 (Lecture Notes in Computer Science ; painos 5753).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  54. Julkaistu

    A Translation-based Approach to the Verification of Modular Equivalence

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  55. Julkaistu

    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. (toim.). s. 142-154 (Lecture Notes in Computer Science ; painos 5753).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  56. Julkaistu

    Modularity Aspects of Disjunctive Stable Models

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  57. Julkaistu

    Translating Logic Programs into Difference Logic

    Janhunen, T., 2009

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu

  58. 2008
  59. Julkaistu

    Achieving compositionality of the stable model semantics for Smodels programs

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  60. Julkaistu

    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. (toim.). Sydney, Australia: University of New South Wales, s. 150-159 (Technical Report; nro UNSW-CSE-TR-0819).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  61. Julkaistu

    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. (toim.). s. 16-30

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Edellinen 1 2 3 Seuraava

ID: 103027