| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN  |
ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico | Flexible Timeline-Based Plan Verification | 2009 | KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings | Springer | 978-3-642-04616-2 | 10.1007/978-3-642-04617-9_7 | 49-56 |