Discretization of Temporal Models with Application to Planning with SMT

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

Researchers

Research units

Details

Original languageEnglish
Title of host publication29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, 2015
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

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

    Research areas

  • planning, SAT, SMT, temporal planning

ID: 1970364