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/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    6 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/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    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/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    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/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access
    Tiedosto
    13 Lataukset (Pure)
  • 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/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access
  • 2021

    Planning and SAT

    Rintanen, J., 5 toukok. 2021, Handbook of Satisfiability: Second Edition. IOS Press, s. 765-789 25 Sivumäärä (Frontiers in Artificial Intelligence and Applications).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaChapterScientificvertaisarvioitu

    Open access
    Tiedosto
    1 Sitaatiot (Scopus)
    55 Lataukset (Pure)
  • 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/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    9 Sitaatiot (Scopus)