Valokuva Jussi Rintanen

Näytä Scopus-profiili

Jussi Rintanen

    • Aalto SCI Computer Science Konemiehentie 2

    1992 …2023

    Tutkimustuotoksia vuodessa

    Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.
    Suodatin
    Conference contribution

    Hakutulokset

    • 2023

      Planning with Partial Observability by SAT

      Fadnis, S. & Rintanen, J., 2023, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (toim.). Springer, s. 605-620 16 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 14281 LNAI).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      Open access
      Tiedosto
      5 Lataukset (Pure)
    • 2022

      Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming

      Feyzbakhsh Rankooh, M. & Rintanen, J., 13 kesäk. 2022, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (toim.). AAAI Press, s. 71-79 9 Sivumäärä (Proceedings of the International Conference on Automated Planning and Scheduling; Vuosikerta 32).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      Open access
      1 Sitaatiot (Scopus)

    • Efficient Encoding of Cost Optimal Delete-Free Planning as SAT

      Feyzbakhsh Rankooh, M. & Rintanen, J., 28 kesäk. 2022, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, s. 9910-9917 8 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence; Vuosikerta 36, nro 9).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      Open access

    • Generalized 3-Valued Belief States in Conformant Planning

      Rintanen, J. & Fadnis, S., marrask. 2022, PRICAI 2022: Trends in Artificial Intelligence - 19th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2022, Shanghai, China, November 10-13, 2022, Proceedings. Khanna, S., Cao, J., Bai, Q. & Xu, G. (toim.). Springer, s. 104-117 (Lecture Notes in Computer Science; Vuosikerta 13629 LNCS).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    • Propositional encodings of acyclicity and reachability by using vertex elimination

      Feyzbakhsh Rankooh, M. & Rintanen, J., 28 kesäk. 2022, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, s. 5861-5868 8 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence; Vuosikerta 36, nro 5).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      Open access
    • 2018

      Planning for partial observability by SAT and graph constraints

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

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      9 Sitaatiot (Scopus)
    • 2017

      Schematic Invariants by Reduction to Ground Invariants

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

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      Open access
      Tiedosto
      46 Lataukset (Pure)

    • Temporal Planning with Clock-Based SMT Encodings

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

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    • 2015

      Discretization of Temporal Models with Application to Planning with SMT

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

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      8 Sitaatiot (Scopus)

    • 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: AAAI Press, s. 4052-4056

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      9 Sitaatiot (Scopus)

    • Models of Action Concurrency in Temporal Planning

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

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      8 Sitaatiot (Scopus)
    • 2014

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

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      29 Sitaatiot (Scopus)

    • 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. AAAI Press, s. 634-637

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      5 Sitaatiot (Scopus)

    • Constraint-Based Algorithm for Computing Temporal Invariants

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

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      6 Sitaatiot (Scopus)

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

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      27 Sitaatiot (Scopus)
    • 2013

      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. AAAI Press, s. 2365-2372

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      11 Sitaatiot (Scopus)

    • 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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      32 Sitaatiot (Scopus)

    • 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. AAAI Press, s. 189-196

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    • 2004

      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: Springer, s. 307-319 (Lecture Notes in Computer Science ; Vuosikerta 3229).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

      17 Sitaatiot (Scopus)
    • 1995

      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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    • 1994

      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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    • Prioritized Autoepistemic Logic

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

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    • 1992

      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. Finnish Artificial Intelligence Society, s. 202-211

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    • 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: Morgan Kaufmann Publishers, s. 627-638 12 Sivumäärä

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    Viestisi lähetys onnistui.
    Viestiäsi ei lähetetty, koska tapahtui virhe.