Jussi Rintanen

Tutkijatohtori, Professori (Associate Professor)

Tutkimustuotokset

  1. 2018
  2. Julkaistu

    Planning for partial observability by SAT and graph constraints

    Rintanen, J. & Pandey, B., 24 kesäkuuta 2018, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). de Weerdt, M., Koenig, S., Röger, G. & Spaan, M. (toim.). s. 190-198 9 Sivumäärä (Proceedings of the International Conference on Automated Planning and Scheduling).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  3. 2017
  4. 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

  5. Julkaistu

    Schematic Invariants by Reduction to Ground Invariants

    Rintanen, J., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). AAAI, s. 3644-3650 7 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  6. Julkaistu

    Temporal Planning with Clock-Based SMT Encodings

    Rintanen, J., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. AAAI, s. 743-749 (Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  7. 2015
  8. Julkaistu

    Declarative encodings of acyclicity properties

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  9. Julkaistu

    Discretization of Temporal Models with Application to Planning with SMT

    Rintanen, J., 2015, 29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, 2015. AAAI, s. 3349-3355

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  10. Julkaistu

    Impact of Modeling Languages on the Theory and Practice in Planning Research

    Rintanen, J., 2015, 29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, January 27-30, 2015. Bonet, B. & Koenig, S. (toim.). Palo Alto, California, s. 4052-4056

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  11. Julkaistu

    Models of Action Concurrency in Temporal Planning

    Rintanen, J., 2015, International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentiina, 27.-31.7.2015. s. 1659-1665

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  12. 2014
  13. 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

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

  15. Julkaistu

    Constraint-Based Algorithm for Computing Temporal Invariants

    Rintanen, J., 2014, European Conference on Logics in Artificial Intelligence, Funchal, Madeira. Fermé, E. & Leite, J. (toim.). s. 665-673

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

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

  17. 2013
  18. Julkaistu

    Computing upper bounds on lengths of transition sequences

    Rintanen, J. & Gretton, C. O., 2013, 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. s. 2365-2372

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

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

  20. Julkaistu

    Scheduling with contingent resources and tasks

    Rintanen, J., 2013, 23rd International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013. s. 189-196

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  21. 2006
  22. Julkaistu

    Planning as satisfiability: Parallel plans and algorithms for plan search

    Rintanen, J., Heljanko, K. & Niemelä, I., 2006, julkaisussa : Artificial Intelligence. 170, 12-13, s. 1031-1080

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  23. 2004
  24. Julkaistu

    Parallel encodings of classical planning as satisfiability

    Rintanen, J., Heljanko, K. & Niemelä, I., 2004, Freiburg, Germany, (Technical Reports; nro 198).

    Tutkimustuotos: Työpaperi

  25. Julkaistu

    Parallel Encodings of Classical Planning as Satisfiability

    Rintanen, J., Niemelä, I. & Heljanko, K., 2004, Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings. Alferes, J. J. & Leite, J. (toim.). Berlin, Germany, s. 307-319 (Lecture Notes in Computer Science ; painos 3229).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  26. Julkaistu

    Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search

    Rintanen, J., Heljanko, K. & Niemelä, I., 2004, Freiburg, Germany: Albert-Ludwigs-Universität Freiburg, 56 Sivumäärä (Technical Reports of the Institute of Computer Science at Freiburg University; nro 216).

    Tutkimustuotos: Työpaperi

  27. 1998
  28. Julkaistu

    Complexity of prioritized default logics

    Rintanen, J., 1998, julkaisussa : Journal of Artificial Intelligence Research. 9, s. 423-461

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  29. Julkaistu

    Lexicographic priorities in default logic

    Rintanen, J., 1998, julkaisussa : Artificial Intelligence. 106, 2, s. 221-265

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  30. 1996
  31. Julkaistu

    Lexicographic Ordering as a Basis of Priorities in Default Reasoning

    Rintanen, J., 1996, Espoo, s. 187, (Research Report; nro A 41).

    Tutkimustuotos: Työpaperi

  32. 1995
  33. Julkaistu

    On Specificity in Default Logic

    Rintanen, J., 1995, the 14 th International Joint Conference on Artificial Intelligence. Kaufmann Publishers, M. (toim.). Montreal, s. 1474-1479

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  34. 1994
  35. Julkaistu

    Approaches to Priorities in Default Reasoning

    Rintanen, J., 1994, The Seventh Finnish Symposium on Computer Science, Liperi, Finland, 10.-12.1.1994. Penttonen, M. (toim.). Joensuu: University of Joensuu, s. 121-131

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  36. Julkaistu

    On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

    Niemelä, I. & Rintanen, J., 1994, julkaisussa : Journal of Applied Non-Classical Logics. 4, 2, s. 141-179

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  37. Julkaistu

    On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

    Niemelä, I. & Rintanen, J., 1994, Foundations of Knowledge Representation and Reasoning. Lakemeyer, G. & Nebel, B. (toim.). Berlin, s. 275-295

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  38. Julkaistu

    Prioritized Autoepistemic Logic

    Rintanen, J., 1994, The Fourth European Workshop on Logics in AI, JELIA'94, York, England, 5.-8.9.1994. Berlin, s. 232-246

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  39. 1993
  40. Julkaistu

    Priorities and Nonmonotonic Reasoning

    Rintanen, J., 1993, Espoo, (Digital Systems Laboratory, Series A: Research Reports; nro 28).

    Tutkimustuotos: Työpaperi

  41. 1992
  42. Julkaistu

    A Decision Procedure for Stratified Autoepistemic Logic

    Niemelä, I. & Rintanen, J., 1992, Suomen Tekoälytutkimuksen Päivät, Espoo, 9.-11.6.1992: Proceedings of the Finnish Artificial Intelligence Conference. Suomen Tekoälyseura ry - Finnish Artificial Intelligence Society, s. 202-211

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  43. Julkaistu

    On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

    Niemelä, I. & RINTANEN, J., 1992, PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92). Nebel, B., Rich, C. & Swartout, W. (toim.). San Mateo, CA, s. 627-638 12 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  44. Julkaistu

    Stratification and Tractability in Nonmonotonic Reasoning

    Rintanen, J., 1992, Espoo, (Digital Systems Laboratory, Series A: Research Reports; nro 20).

    Tutkimustuotos: Työpaperi

ID: 92051