Discretization of Temporal Models with Application to Planning with SMT

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

7 Citations (Scopus)
Original languageEnglish
Title of host publication29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, 2015
PublisherAAAI
Pages3349-3355
ISBN (Print)978-1-57735-698-1
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

Name
PublisherAAAI
ISSN (Print)2159-5399
ISSN (Electronic)2374-3468

Keywords

  • planning
  • SAT
  • SMT
  • temporal planning

Cite this