Bogomolov, Sergiy and Magazzeni, Daniele and Podelski, Andreas and Wehrle, Martin. (2014) Planning as model checking in hybrid domains. In: Proceedings of twenty-eighth AAAI Conference on Artificial Intelligence and the twenty-sixth Innovative Applications of Artificial Intelligence Conference (AAAI 2014) : 27-31 July 2014, Québec City, Québec, Canada, 3. Palo Alto, Calif., pp. 2228-2234.
![[img]](https://edoc.unibas.ch/style/images/fileicons/application_pdf.png)
|
PDF
- Published Version
285Kb |
Official URL: http://edoc.unibas.ch/dok/A6328948
Downloads: Statistics Overview
| Faculties and Departments: | 05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert) |
|---|---|
| UniBasel Contributors: | Wehrle, Martin |
| Item Type: | Conference or Workshop Item, refereed |
| Conference or workshop item Subtype: | Conference Paper |
| Publisher: | AAAI Press |
| Note: | Publication type according to Uni Basel Research Database: Conference paper |
| Language: | English |
| Related URLs: | |
| edoc DOI: | |
| Last Modified: | 20 Nov 2018 10:36 |
| Deposited On: | 05 Jun 2015 08:52 |
Repository Staff Only: item control page