| Show abstracts (where available) BibTeX entries | ||
| 2013 | ||
| [11] |
.
2013. High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation. Unmanned Systems, ??(??):??–??. World Scientific. Publication status: Accepted |
|
| [10] |
.
2013. Stream-Based Hierarchical Anchoring. Künstliche Intelligenz, ??(??):??–??. Springer. Publication status: Accepted |
|
| 2010 | ||
| [9] |
.
2010. Relay Positioning for Unmanned Aerial Vehicle Surveillance. The international journal of robotics research, 29(8):1069–1087. Sage Publications. DOI: 10.1177/0278364910369463. |
|
| [8] |
.
2010. Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. |
|
| 2009 | ||
| [7] |
.
2009. A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems. |
|
| 2004 | ||
| [6] |
.
2004. Elaboration tolerance through object-orientation. |
|
| 2003 | ||
| [5] |
.
2003. TALplanner in the Third International Planning Competition: Extensions and control rules. The journal of artificial intelligence research, 20(??):343–377. AAAI Press. DOI: 10.1613/jair.1189. |
|
| 2001 | ||
| [4] |
.
2001. TALPLANNER - A temporal logic-based planner. The AI Magazine, 22(3):95–102. AAAI Press. |
|
| 2000 | ||
| [3] |
.
2000. TALplanner: A temporal logic based forward chaining planner. Annals of Mathematics and Artificial Intelligence, 30(1-4):119–169. Springer. DOI: 10.1023/A:1016619613658. |
|
| [2] |
.
2000. Tackling the qualification problem using fluent dependency constraints. |
|
| 1998 | ||
| [1] |
.
1998. (TAL) temporal action logics: Language specification and tutorial. Electronic Transactions on Artifical Intelligence, 2(3-4):273–306. Link: http://www.ep.liu.se/ej/etai/1998/009/ |
|