Discretization of Temporal Models with Application to Planning with SMT

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

4 Sitaatiot (Scopus)
AlkuperäiskieliEnglanti
Otsikko29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, 2015
KustantajaAAAI
Sivut3349-3355
ISBN (painettu)978-1-57735-698-1
TilaJulkaistu - 2015
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

Julkaisusarja

Nimi
KustantajaAAAI
ISSN (painettu)2159-5399
ISSN (elektroninen)2374-3468

Tutkimusalat

  • planning
  • SAT
  • SMT
  • temporal planning

Siteeraa tätä

Rintanen, J. (2015). Discretization of Temporal Models with Application to Planning with SMT. teoksessa 29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, 2015 (Sivut 3349-3355). AAAI.