All Publications
| Show abstracts (where available) BibTeX entries | ||
| 2012 | ||
| [37] |  |
.
2012. Temporal Composite Actions with Constraints. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 478–488. |
| 2011 | ||
| [36] | |
.
2011. Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining. In Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert, editors, Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press. ISBN: 978-1-57735-504-5. |
| 2010 | ||
| [35] | |
.
2010. Research with Collaborative Unmanned Aircraft Systems. In Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri, editors, Proceedings of the Dagstuhl Workshop on Cognitive Robotics. In series: Dagstuhl Seminar Proceedings #10081. Leibniz-Zentrum für Informatik. |
| [34] | |
.
2010. Choosing Path Replanning Strategies for Unmanned Aircraft Systems. In Ronen Brafman, Héctor Geffner, Jörg Hoffmann, Henry Kautz, editors, Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS), pages 193–200. AAAI Press. ISBN: 978-1-57735-449-9. |
| [33] | |
.
2010. Stream-Based Reasoning in DyKnow. In Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri, editors, Proceedings of the Dagstuhl Workshop on Cognitive Robotics. In series: Dagstuhl Seminar Proceedings #10081. Leibniz-Zentrum für Informatik. |
| [32] | |
.
2010. Stream-Based Middleware Support for Embedded Reasoning. In Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems (ER). |
| [31] | |
.
2010. Stream-Based Reasoning Support for Autonomous Systems. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI). In series: Frontiers in Artificial Intelligence and Applications #215. IOS Press. ISBN: 978-1-60750-605-8. DOI: 10.3233/978-1-60750-606-5-183. |
| [30] | |
.
2010. Automated Planning for Collaborative UAV Systems. In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), pages 1078–1085. IEEE conference proceedings. ISBN: 978-1-4244-7814-9. DOI: 10.1109/ICARCV.2010.5707969. |
| [29] | |
.
2010. Generating UAV Communication Networks for Monitoring and Surveillance. In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010), pages 1070–1077. IEEE conference proceedings. ISBN: 978-1-4244-7814-9. DOI: 10.1109/ICARCV.2010.5707968. |
| [28] | |
.
2010. Iterative Bounding LAO*. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), pages 341–346. In series: Frontiers in Artificial Intelligence and Applications #215. IOS Press. ISBN: 978-1-60750-606-5. DOI: 10.3233/978-1-60750-606-5-341. |
| [27] | |
.
2010. Planning for Loosely Coupled Agents using Partial Order Forward-Chaining. In Roland Bol, editor, Proceedings of the National Swedish Artificial Intelligence Workshop (SAIS). In series: Linköping Electronic Conference Proceedings #48. Linköping University Electronic Press, Linköpings universitet. |
| [26] | |
.
2010. Relay Positioning for Unmanned Aerial Vehicle Surveillance. The international journal of robotics research, 29(8):1069–1087. Sage Publications. DOI: 10.1177/0278364910369463. |
| [25] | |
.
2010. Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. |
| [24] |
.
2010. Positioning Unmanned Aerial Vehicles As Communication Relays for Surveillance Tasks. In J. Trinkle, Y. Matsuoka and J.A. Castellanos, editors, Robotics: Science and Systems V, pages 257–264. MIT Press. ISBN: 978-0-262-51463-7. |
|
| 2009 | ||
| [23] | |
.
2009. Planning as Heuristic Search for Incremental Fault Diagnosis and Repair. In Proceedings of the Scheduling and Planning Applications Workshop (SPARK) at the 19th International Conference on Automated Planning and Scheduling (ICAPS). |
| [22] | |
.
2009. Temporal Action Logics. In V. Lifschitz, F. van Harmelen, and F. Porter, editors, Handbook of Knowledge Representation, pages 709–757. In series: Foundations of Artificial Intelligence #3. Elsevier. ISBN: 978-0-444-52211-5. DOI: 10.1016/S1574-6526(07)03018-0. |
| [21] | |
.
2009. A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems. |
| [20] | |
.
2009. Stream Reasoning in DyKnow: A Knowledge Processing Middleware System. In Proceedings of the Stream Reasoning Workshop. In series: CEUR Workshop Proceedings #466. M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen. |
| [19] | |
.
2009. Proceedings of the Swedish AI Society Workshop 2009. Conference Proceedings.
In series: Linköping Electronic Conference Proceedings #35. Linköping University Electronic Press, Linköpings universitet. 65 pages. |
| [18] | |
.
2009. Abductive Reasoning with Filtered Circumscription. In Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC). UTSePress. ISBN: 978-0-9802840-7-2. |
| [17] | |
.
2009. A Stream-Based Hierarchical Anchoring Framework. In Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems (IROS). IEEE conference proceedings. ISBN: 978-1-4244-3803-7. DOI: 10.1109/IROS.2009.5354372. |
| 2008 | ||
| [16] | |
.
2008. Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing. In IROS Workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms,2008. Note: No proceedings, but CD |
| [15] | |
.
2008. A Temporal Logic-Based Planning and Execution Monitoring System. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press. ISBN: 978-1-57735-387-4. |
| [14] | |
.
2008. Knowledge Processing Middleware. In S. Carpin, I. Noda, E. Pagello, M. Reggiani and O. von Stryk, editors, Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), pages 147–158. In series: Lecture Notes in Artificial Intelligence #5325. Springer. ISBN: 978-3-540-89075-1. DOI: 10.1007/978-3-540-89076-8_17. |
| 2005 | ||
| [13] | |
.
2005. TALplanner and other extensions to Temporal Action Logic. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #937. Linköpings universitet. 302 pages. ISBN: 91-85297-75-5. |
| 2004 | ||
| [12] | |
.
2004. Elaboration tolerance through object-orientation. |
| 2003 | ||
| [11] | |
.
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. |
| 2002 | ||
| [10] | |
.
2002. Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner. In Malik Ghallab, Joachim Hertzberg, and Paolo Traverso, editors, Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS). AAAI Press. ISBN: 0-57735-142-8. DOI: 10.3233/978-1-60750-606-5-341. |
| 2001 | ||
| [9] | |
.
2001. Elaboration Tolerance through Object-Orientation. In Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense). |
| [8] | |
.
2001. TALPLANNER - A temporal logic-based planner. The AI Magazine, 22(3):95–102. AAAI Press. |
| 2000 | ||
| [7] | |
.
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. |
| [6] | |
.
2000. Tackling the qualification problem using fluent dependency constraints. |
| [5] | |
.
2000. Extending TALplanner with concurrency and resources. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI). In series: Frontiers in Artificial Intelligence and Applications #54. IOS Press. ISBN: 1586030132. |
| 1999 | ||
| [4] | |
.
1999. TALplanner: An empirical investigation of a temporal logic-based forward chaining planner. In Clare Dixon, Michael Fisher, editors, 6th International Workshop on Temporal Representation and Reasoning (TIME-99). IEEE Computer Society. ISBN: 0-7695-0173-7. |
| 1998 | ||
| [3] | |
.
1998. (TAL) temporal action logics: Language specification and tutorial. Electronic Transactions on Artifical Intelligence, 2(3-4):273–306. |
| [2] | |
.
1998. Tackling the qualification problem using fluent dependency constraints. In Lina Khatib, Robert Morris, editors, Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98). IEEE Computer Society. ISBN: 0-8186-8473-9. Note: Preliminary report |
| 1996 | ||
| [1] |
.
1996. A New Tractable Planner for the SAS+ Formalism. Student Thesis.
In series: LiTH-IDA-Ex #9625. 283 pages. ISRN: LiTH-IDA-Ex-9625. |
|
