Jussi Rintanen

Jussi Rintanen

    • Aalto SCI Computer Science Konemiehentie 2

    1992 …2023

    Research activity per year

    Filter
    Conference article in proceedings

    Search results

    • 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. (eds.). Springer, p. 605-620 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14281 LNAI).

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

      6 Downloads (Pure)
    • 2022

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

      Feyzbakhsh Rankooh, M. & Rintanen, J., 13 Jun 2022, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, p. 71-79 9 p. (Proceedings of the International Conference on Automated Planning and Scheduling; vol. 32).

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

      Open Access
      1 Citation (Scopus)
    • Efficient Encoding of Cost Optimal Delete-Free Planning as SAT

      Feyzbakhsh Rankooh, M. & Rintanen, J., 28 Jun 2022, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, p. 9910-9917 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 36, no. 9).

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

      Open Access
    • Generalized 3-Valued Belief States in Conformant Planning

      Rintanen, J. & Fadnis, S., Nov 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. (eds.). Springer, p. 104-117 (Lecture Notes in Computer Science; vol. 13629 LNCS).

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

      Open Access
      File
      12 Downloads (Pure)
    • Propositional encodings of acyclicity and reachability by using vertex elimination

      Feyzbakhsh Rankooh, M. & Rintanen, J., 28 Jun 2022, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, p. 5861-5868 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 36, no. 5).

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

      Open Access
    • 2018

      Planning for partial observability by SAT and graph constraints

      Rintanen, J. & Pandey, B., 24 Jun 2018, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). de Weerdt, M., Koenig, S., Röger, G. & Spaan, M. (eds.). AAAI Press, p. 190-198 9 p. (Proceedings of the International Conference on Automated Planning and Scheduling).

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

      9 Citations (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, p. 3644-3650 7 p. (Proceedings of the AAAI Conference on Artificial Intelligence).

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

      Open Access
      File
      55 Downloads (Pure)
    • Temporal Planning with Clock-Based SMT Encodings

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

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

    • 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, p. 3349-3355

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

      8 Citations (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. (eds.). Palo Alto, California: AAAI Press, p. 4052-4056

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

      9 Citations (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, p. 1659-1665

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

      8 Citations (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, p. 351-356

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

      30 Citations (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, p. 634-637

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

      5 Citations (Scopus)
    • Constraint-Based Algorithm for Computing Temporal Invariants

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

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

      6 Citations (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, p. 137-151

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

      27 Citations (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, p. 2365-2372

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

      11 Citations (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. (eds.). Neural Information Processing Systems Foundation, p. 1349--1357

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

      32 Citations (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, p. 189-196

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

    • 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. (eds.). Berlin, Germany: Springer, p. 307-319 (Lecture Notes in Computer Science ; vol. 3229).

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

      17 Citations (Scopus)
    • 1995

      On Specificity in Default Logic

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

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

    • 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. (ed.). Joensuu: University of Joensuu, p. 121-131

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

    • Prioritized Autoepistemic Logic

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

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

    • 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, p. 202-211

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

    • 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. (eds.). San Mateo, CA: Morgan Kaufmann Publishers, p. 627-638 12 p.

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

    Your message has successfully been sent.
    Your message was not sent due to an error.