Tomi Janhunen

Senior University Lecturer, Adjunct Professor

Research outputs

  1. 2008
  2. 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

  3. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  4. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  6. 2007
  7. 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: Working paperProfessional

  8. Published

    asptools 1.0 - A tool collection for answer set programming

    Janhunen, T., 2007

    Research output: Artistic and non-textual formSoftwareScientific

  9. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. 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: Contribution to journalArticleScientificpeer-review

  11. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  12. Published

    lpeq 1.19 - A tool for testing the modular equivalence of logic programs

    Janhunen, T., 2007

    Research output: Artistic and non-textual formSoftwareScientific

  13. Published

    Modularity Aspects of Disjunctive Stable Models

    Janhunen, T., Oikarinen, E., Tompits, H. & Woltran, S., 2007, Logic Programming and Nonmonotonic Reasoning, 9th International Conference, Tempe, Arizona, May 15-16, 2007. Baral, C., Brewka, G. & Schlipf, J. (eds.). p. 175-187

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

  14. 2006
  15. Published

    Lp2sat -- translations from normal logic programs into SAT

    Janhunen, T., 2006

    Research output: Artistic and non-textual formSoftwareScientific

  16. Published

    Modular Equivalence for Normal Logic Programs

    Oikarinen, E. & Janhunen, T., 2006, The 11th International Workshop on Nonmonotonic Reasoning, Low Wood hotel, Lake District, England, UK, 30 May - 1 June, 2006. Dix, J. & Hunter, A. (eds.). Clausthal, Germany, p. 10-18 (Clausthal University of Technology, Department of Informatics, Technical Report; no. IfI-06-04).

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

  17. Published

    Modular Equivalence for Normal Logic Programs

    Oikarinen, E. & Janhunen, T., 2006, The 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 28 August - 1 September, 2006. Brewka, G., Coradeschi, S., Perini, A. & Traverso, P. (eds.). p. 412-416

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

  18. Published

    On Probing and Multi-Threading in Platypus

    Gressman, J., Janhunen, T., Mercer, R., Schaub, T., Thiele, S. & Tichy, R., 2006, The 11th International Workshop on Nonmonotonic Reasoning, Low Wood hotel, Lake District, England, UK, 30 May-1 June, 2006. Dix, J. & Hunter, A. (eds.). Clausthal, Germany, p. 30-38 (Clausthal University of Technology, Department of Informatics, Technical Report; no. IfI-06-04).

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

  19. Published

    On Probing and Multi-Threading in Platypus

    Gressman, J., Janhunen, T., Mercer, R., Schaub, T., Thiele, S. & Tichy, R., 2006, The 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, August 29-September 1, 2006. Brewka, G., Coradeschi, S., Perini, A. & Traverso, P. (eds.). Netherlands, p. 392-396

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

  20. Published

    Some (in)translatability results for normal logic programs and propositional theories

    Janhunen, T., 2006, In : Journal of Applied Non-Classical Logics. 16, 1-2, p. 35-86

    Research output: Contribution to journalArticleScientificpeer-review

  21. Published

    Unfolding Partiality and Disjunctions in Stable Model Semantics

    Janhunen, T., Niemelä, I., Seipel, D., Simons, P. & You, J-H., 2006, In : ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 7, 1, p. 1-37

    Research output: Contribution to journalArticleScientificpeer-review

  22. Published

    What's a Head without a Body?

    Anger, C., Gebser, M., Janhunen, T. & Schaub, T., 2006, Netherlands, p. 769-770, (The 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, August 29 - September 1, 2006).

    Research output: Working paperProfessional

  23. 2005
  24. Published

    CIRC2DLP - Translating Circumsciption into Disjunctive Logic Programming

    Oikarinen, E. & Janhunen, T., 2005, 8th International Conference on Logic Programming and Nonmonotonic Reasoning, Diamante, Italy, September 5-8, 2005. Baral, C., Greco, G., Leone, N. & Terracina, G. (eds.). p. 405-409

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

  25. Published

    Platypus: A Platform for Distributed Answer Set Solving

    Gressmann, J., Janhunen, T., Mercer, R., Schaub, T., Thiele, S. & Tichy, R., 2005, Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Baral, C., Greco, G., Leone, N. & Terracina, G. (eds.). p. 227-239

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

  26. 2004
  27. Published

    Capturing Parallel Circumscription with Disjunctive Logic Programs

    Janhunen, T. & Oikarinen, E., 2004, The 9th European Conference on Logics in Artificial Intelligence (JELIA'04), Lissabon, Portugali, 27-30.9.2004. Alferes, J. J. & Leite, J. (eds.). Lissabon, Portugali, p. 134-146

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

  28. Published

    GnT 2.1 - Computing Disjunctive Stable Models

    Janhunen, T., 2004

    Research output: Artistic and non-textual formSoftwareScientific

  29. Published

    GNT - A Solver for Disjunctive Logic Programs

    Janhunen, T. & Niemelä, I., 2004, 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004. Proceedings. Lifschitz, V. & Niemelä, I. (eds.). p. 331-335 (Lecture Notes in Computer Science ; vol. 2923).

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

  30. Published

    LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs

    Janhunen, T. & Oikarinen, E., 2004, 7th International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, Florida, USA, January 6-8, 2004. Lifschitz, V. & Niemelä, I. (eds.). p. 336-340

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

  31. Published

    PROD 3.4.00 -saavutettavuusanalyysiohjelmisto

    Anderson, L., Helander, J., Heljanko, K., Janhunen, T., Jürgens, R., Kangas, I., Nurmela, K., Oksanen, K., Pesonen, O., Rauhamaa, M. & 5 othersReilly, J., Suonsivu, H., Valkealahti, K., Varpaaniemi, K. & Väisänen, P., 2004

    Research output: Artistic and non-textual formSoftwareScientific

  32. Published

    Representing Normal Programs with Clauses

    Janhunen, T., 2004, The 16th European Conference on Artificial Intelligence, Valencia, Espanja, 22-27.8.2004. de Mantaras, R. L. & Saitta, L. (eds.). Valencia, Espanja, p. 358-362

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

  33. Published

    Teaching Smullyan's Analytic Tableaux in a Scalable Learning Environment

    Janhunen, T., Jussila, T., Järvisalo, M. & Oikarinen, E., 2004, Kolin Kolistelut - Koli Calling 2004, 4th Annual Finnish / Baltic Sea Conference on Computer Science Education, Koli, Suomi, 1-3.10. 2004. Korhonen, A. & Malmi, L. (eds.). Espoo: Otamedia, p. 85-94

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

  34. Published

    Verifying the Equivalence of Logic Programs in the Disjunctive Case

    Oikarinen, E. & Janhunen, T., 2004, 7th International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, Florida, USA, January 6-8 2004. Lifschitz, V. & Niemelä, I. (eds.). p. 180-193

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

  35. 2003
  36. Published

    A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses

    Janhunen, T., 2003, Answer Set Programming, Messina, Sisilia, Italia, 26.-28.9.2003. de Vos, M. & Provetti, A. (eds.). Sun SITE Central Europe (CEUR), p. 166-180

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

  37. Published

    Evaluating the Effect of Semi-Normality on the Expressiveness of Defaults

    Janhunen, T., 2003, In : Artificial Intelligence. 144, 1-2, p. 233-250

    Research output: Contribution to journalArticleScientificpeer-review

  38. Published

    GnT - Computing Disjunctive Stable Models, Version 2

    Simons, P. & Janhunen, T., 2003

    Research output: Artistic and non-textual formSoftwareScientific

  39. Published

    Translatability and intranslatability results for certain classes of logic programs

    Janhunen, T., 2003, Espoo, (Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports; no. A82).

    Research output: Working paperProfessional

  40. 2002
  41. Published

    Ipeq - equivalence testing of logic programs

    Janhunen, T., 2002

    Research output: Artistic and non-textual formSoftwareScientific

  42. Published

    Testing the Equivalence of Logic Programs under Stable Model Semantics

    Janhunen, T. & Oikarinen, E., 2002, 8th European Conference on Logics in Artificial Intelligence, JELIA 2002, Cosenza, Italia, syyskuu 23-26, 2002. Flesca, S., Greco, S. & Leone, N. (eds.). Springer Verlag, LNAI 2424, p. 493-504

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

  43. 2001
  44. Published

    On the Effect of Default Negation on the Expressiveness of Disjunctive Rules

    Janhunen, T., 2001, 6th International Conference on Logic Programming and Nonmonotonic Reasoning, Vienna, Austria, September 17-19, 2001. Eiter, T., Faber, W. & Truszczynski, M. (eds.). Berlin, p. 93-106

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

  45. Published

    PROD 3.3.09 -saavutettavuusanalyysiohjelmisto

    Anderson, L., Helander, J., Heljanko, K., Janhunen, T., Jürgens, R., Kangas, I., Nurmela, K., Oksanen, K., Pesonen, O., Rauhamaa, M. & 5 othersReilly, J., Suonsivu, H., Valkealahti, K., Varpaaniemi, K. & Väisänen, P., 2001

    Research output: Artistic and non-textual formSoftwareScientific

  46. 2000
  47. Published

    Capturing Stationary and Regular Extensions with Reiter's Extensions

    Janhunen, T., 2000, The 7th European Workshop on Logic in Artificial Intelligence, JELIA 2000, Málaga, Spain, September/October 2000. Ojeda-Aciego, M., Guzman, I., Brewka, G. & Moniz Pereira, L. (eds.). Berlin, Germany, p. 102-117

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

  48. Published

    Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs

    Janhunen, T., 2000, The 1st International Conference on Computational Logic, CL 2000, London, UK, July 2000. Lloyd, J., Dahl, V., Furbach, U., Kerber, M., Lau, K., Palamidessi, C., Pereira, L. & Sagiv, Y. (eds.). Berlin, Germany, p. 852-866

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

  49. Published

    Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala

    Husberg, N. (ed.), Janhunen, T. (ed.) & Niemelä, I. (ed.), 2000, Espoo: Helsinki University of Technology. 140 p. (Helsinki University of Technology, Laboratory for Theoretical Computer Science. A, Research Reports; no. HUT-TCS-A63)

    Research output: Book/ReportCommissioned reportProfessional

  50. Published

    PROD 3.3.08 -saavutettavuusanalyysiohjelmisto

    Anderson, L., Helander, J., Heljanko, K., Janhunen, T., Jürgens, R., Kangas, I., Nurmela, K. J., Oksanen, K., Pesonen, O., Rauhamaa, M. & 5 othersReilly, J., Suonsivu, H., Valkealahti, K., Varpaaniemi, K. & Väisänen, P., 2000

    Research output: Artistic and non-textual formSoftwareScientific

  51. Published

    Specifying Agent-Based Systems with Nets and Logic Programs

    Janhunen, T., 2000, Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala. Husberg, N., Janhunen, T. & Niemelä, I. (eds.). Espoo: Helsinki University of Technology, p. 33-46

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

  52. Published

    Unfolding Partiality and Disjunctions in Stable Model Semantics

    Janhunen, T., Niemelä, I., Simons, P. & You, J., 2000, The 7th International Conference on Principles of Knowledge Representation and Reasoning, Breckenridge, Colorado, USA, April 2000. Cohn, A., Giunchiglia, F. & Selman, B. (eds.). San Francisco CA, USA, p. 411-419

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

  53. 1999
  54. Published

    Classifying Semi-Normal Default Logic on the Basis of its Expressive Power

    Janhunen, T., 1999, The 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999. Gelfond, M., Leone, N. & Pfeifer, G. (eds.). p. 19-33

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

  55. Published

    On the Intertranslability of Non-monotonic logics

    Janhunen, T., 1999, In : Annals of Mathematics and Artificial Intelligence. 27, 1-4, p. 79-128

    Research output: Contribution to journalArticleScientificpeer-review

  56. 1998
  57. Published

    Non-monotonic Systems: a Framework for analyzing semantics and structural properties of non-monotonic reasoning

    Janhunen, T., 1998, Espoo, p. 211, (Helsinki University of Technology, Digital Systems Laboratory, Series A: Research Reports; no. A49).

    Research output: Working paperProfessional

  58. Published

    On the Intertranslability of Autoepistemic, Default and Priority Logics and Parallel Circumscription

    Janhunen, T., 1998, European Workshop on Logics in Artificial Intelligence, JELIA '98. Jürgen Dix, L. F. D. C. (ed.). Dagstuhl, Germany: Springer Verlag, LNAI 1489, p. 216-232

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

  59. 1997
  60. Published

    Separating Disbeliefs from Beliefs in Autoepistemic Reasoning

    Janhunen, T., 1997, 4th International conference on Logic Programming and Non-Monotonic Reasoning, Dagstuhl, Germany. Germany: Springer Verlag, p. 132-151

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

  61. 1996
  62. Published

    On Abstracting Decision Procedures for Non-Monotonic Reasoning

    Janhunen, T., 1996, Proceedings of the ECAI-96 Workshop on Integrating Nonmonotonicity in Automated Reasoning Systems, Budabest, Hungary, August 1996. Koblenz-Landau, U. (ed.). p. 3

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

  63. 1995
  64. Published

    Cautious Models for General Logic Programs

    Janhunen, T., 1995, The Third International Workshop on Deductive Databases and Logic Programming. Decker, H., Geske, U., Kakas, T., Sakama, C., Seipel, D. & Urpi, T. (eds.). Kanagawa, Japani: Gesellschaft für Mathematik und Datenverarbeitung, p. 25-39

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

ID: 103027