Show abstracts (where available) BibTeX entries | ||
2018 | ||
[60] | ![]() |
2018. Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters. In Mathijs de Weerdt, Sven Koenig, Gabriele Röger, Matthijs Spaan, editors, Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS), pages 180–189. In series: International Conference on Automated Planning and Scheduling #??. AAAI Press. ISBN: 978-1-57735-797-1. AAAI Digital Library: http://www.aaai.org/Library/ICAPS/icaps1... |
.
2017 | ||
[59] | ![]() |
2017. Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles. Annals of Operations Research, 249(1):163–174. Springer. DOI: 10.1007/s10479-016-2169-5. fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
2016 | ||
[58] | ![]() |
2016. Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs. In Michael, Loizos; Kakas, Antonis, editors, Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, pages 536–542. In series: Lecture Notes in Computer Science #10021. Springer Publishing Company. ISBN: 978-3-319-48757-1, 978-3-319-48758-8. DOI: 10.1007/978-3-319-48758-8_36. |
.
[57] | ![]() |
2016. Area Coverage with Heterogeneous UAVs using Scan Patterns. In 2016 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR): proceedings. In series: 2016 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR) #??. IEEE Robotics and Automation Society. ISBN: 978-1-5090-4349-1. DOI: 10.1109/SSRR.2016.7784325. fulltext:postprint: https://liu.diva-portal.org/smash/get/di... |
.
[56] | ![]() |
2016. A Collaborative Framework for 3D Mapping using Unmanned Aerial Vehicles. In Baldoni, M., Chopra, A.K., Son, T.C., Hirayama, K., Torroni, P., editors, PRIMA 2016: Principles and Practice of Multi-Agent Systems, pages 110–130. In series: Lecture Notes in Computer Science #9862. Springer Publishing Company. ISBN: 978-3-319-44831-2. DOI: 10.1007/978-3-319-44832-9_7. Note: Accepted for publication. |
.
[55] | ![]() |
2016. Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification. Acta Informatica, 53(6-8):723–752. Springer Publishing Company. DOI: 10.1007/s00236-015-0248-8. fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
[54] | ![]() |
2016. A Modeling Framework for Troubleshooting Automotive Systems. Applied Artificial Intelligence, 30(3):257–296. Taylor & Francis. DOI: 10.1080/08839514.2016.1156955. Note: The published article is a shorter version than the version in manuscript form. The status of this article was earlier Manuscript.Funding agencies: Scania CV AB; FFI - Strategic Vehicle Research and Innovation; Excellence Center at Linkoping and Lund in Information Technology (ELLIIT); Research Council (VR) Linnaeus Center CADICS fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
2015 | ||
[53] | ![]() |
2015. Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis. In Béatrice Duval; Jaap van den Herik; Stephane Loiseau; Joaquim Filipe, editor, Agents and Artificial Intelligence: 6th International Conference, ICAART 2014, Angers, France, March 6–8, 2014, Revised Selected Papers, pages 243–261. In series: Lecture Notes in Computer Science #8946. Springer. ISBN: 978-3-319-25209-4, 978-3-319-25210-0. DOI: 10.1007/978-3-319-25210-0_15. |
.
[52] | ![]() |
2015. A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems. In Lourdes Agapito, Michael M. Bronstein and Carsten Rother, editors, COMPUTER VISION - ECCV 2014 WORKSHOPS, PT I, pages 223–237. In series: Lecture Notes in Computer Science #8925. Springer Publishing Company. ISBN: 978-3-319-16177-8, 978-3-319-16178-5. DOI: 10.1007/978-3-319-16178-5_15. fulltext:postprint: https://liu.diva-portal.org/smash/get/di... |
.
2014 | ||
[51] | ![]() |
2014. HDRC3 - A Distributed Hybrid Deliberative/Reactive Architecture for Unmanned Aircraft Systems. In Kimon P. Valavanis, George J. Vachtsevanos, editors, Handbook of Unmanned Aerial Vehicles, pages 849–952. Springer Science+Business Media B.V.. ISBN: 978-90-481-9706-4, 978-90-481-9707-1. DOI: 10.1007/978-90-481-9707-1_118. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/16541662 Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?qt=worldc... |
.
[50] |
2014. Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance. In Butenko, S., Pasiliao, E.L., Shylo, V., editors, Examining Robustness and Vulnerability of Networked Systems, pages 26–50. In series: NATO Science for Peace and Security Series - D: Information and Communication Security #37. IOS Press. ISBN: 978-1-61499-390-2, 978-1-61499-391-9. DOI: 10.3233/978-1-61499-391-9-26. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-1-6... fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
|
[49] | ![]() |
2014. Optimal Scheduling for Replacing Perimeter Guarding Unmanned Aerial Vehicles. Technical Report.
In series: LiTH-MAT-R #2014:09. Linköping University Electronic Press. 16 pages. |
.
[48] | ![]() |
2014. Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance. Technical Report.
In series: LiTH-MAT-R #2014:10. Linköping University Electronic Press. 25 pages. |
.
[47] | ![]() |
2014. Incremental Dynamic Controllability in Cubic Worst-Case Time. In Cesta, A; Combi, C; Laroussinie, F, editors, Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME), pages 17–26. In series: International Workshop on Temporal Representation and Reasoning. Proceedings #??. IEEE Computer Society Digital Library. ISBN: 978-1-4799-4227-5. DOI: 10.1109/TIME.2014.13. |
.
[46] |
2014. Efficient IDC: A Faster Incremental Dynamic Controllability Algorithm. In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS), pages 199–207. AAAI Press. ISBN: 978-1-57735-660-8. |
.
|
[45] | ![]() |
2014. Classical Dynamic Controllability Revisited: A Tighter Bound on the Classical Algorithm. In Proceedings of the 6th International Conference on Agents and Artificial Intelligence (ICAART), pages 130–141. ISBN: 978-989-758-015-4. DOI: 10.5220/0004815801300141. |
.
2013 | ||
[44] | ![]() |
2013. Robotics, Temporal Logic and Stream Reasoning. In Proceedings of Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013. |
.
[43] | ![]() |
2013. High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation. |
.
[42] | ![]() |
2013. Stream-Based Hierarchical Anchoring. |
.
[41] | ![]() |
2013. Exploiting Fully Observable and Deterministic Structures in Goal POMDPs. In Daniel Borrajo, Subbarao Kambhampati, Angelo Oddi, Simone Fratini, editors, Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS), pages 242–250. AAAI Press. ISBN: 978-1-57735-609-7. Link to full text: http://www.aaai.org/ocs/index.php/ICAPS/... |
.
[40] | ![]() |
2013. Incremental Dynamic Controllability Revisited. In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press. ISBN: 978-1-57735-609-7. |
.
2012 | ||
[39] | ![]() |
2012. Temporal Composite Actions with Constraints. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 478–488. AAAI Press. ISBN: 978-1-57735-560-1, 978-1-57735-561-8. Link: http://www.aaai.org/ocs/index.php/KR/KR1... |
.
2011 | ||
[38] | ![]() |
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), pages 138–145. AAAI Press. ISBN: 978-1-57735-503-8, 978-1-57735-504-5. Fulltext: http://www.aaai.org/ocs/index.php/ICAPS/... |
.
2010 | ||
[37] | ![]() |
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. |
.
[36] | ![]() |
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. |
.
[35] | ![]() |
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. |
.
[34] | ![]() |
2010. Stream-Based Middleware Support for Embedded Reasoning. In Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems (ER). AAAI Press. ISBN: 978-157735458-1. |
.
[33] | ![]() |
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. |
.
[32] | ![]() |
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-7813-2, 978-1-4244-7814-9. DOI: 10.1109/ICARCV.2010.5707969. IEEE Explore: http://ieeexplore.ieee.org/xpls/abs_all.... |
.
[31] | ![]() |
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. |
.
[30] | ![]() |
2010. Iterative Bounding LAO*. In Helder Coelho, Rudi Studer and Mike Wooldridge, editors, ECAI 2010: 19th European Conference on Artificial Intelligence - Volume 215 Frontiers in Artificial Intelligence and Applications, pages 341–346. In series: Frontiers in Artificial Intelligence and Applications #215. IOS Press. ISBN: 978-1-60750-605-8, 978-1-60750-606-5. DOI: 10.3233/978-1-60750-606-5-341. |
.
[29] | ![]() |
2010. Planning for Loosely Coupled Agents using Partial Order Forward-Chaining. In Roland Bol, editor, The Swedish AI Society Workshop 2010, SAIS 2010, pages 45–54. In series: Linköping Electronic Conference Proceedings #48. Linköping University Electronic Press, Linköpings universitet. Fulltext: http://www.ep.liu.se/ecp/048/009/ecp1048... |
.
[28] | ![]() |
2010. Relay Positioning for Unmanned Aerial Vehicle Surveillance. The international journal of robotics research, 29(8):1069–1087. Sage Publications. DOI: 10.1177/0278364910369463. |
.
[27] | ![]() |
2010. Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. |
.
[26] | ![]() |
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. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/12536749 Link to publication: http://www.roboticsproceedings.org/rss05... |
.
2009 | ||
[25] | ![]() |
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). |
.
[24] | ![]() |
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. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=9... |
.
[23] | ![]() |
2009. A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems. |
.
[22] | ![]() |
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. |
.
[21] |
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. Link to Book: http://www.ep.liu.se/ecp/035/ |
.
|
[20] | ![]() |
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. |
.
[19] | ![]() |
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. IEEE Xplore: http://ieeexplore.ieee.org/stamp/stamp.j... |
.
2008 | ||
[18] | ![]() |
2008. Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing. In Martin Hulse and Manfred Hild, editors, IROS Workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms. Note: No proceedings, but CD |
.
[17] | ![]() |
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-386-7, 978-1-57735-387-4. |
.
[16] | ![]() |
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 Computer Science #5325. Springer. ISBN: 978-3-540-89075-1, 978-3-540-89076-8. DOI: 10.1007/978-3-540-89076-8_17. fulltext:preprint: http://liu.diva-portal.org/smash/get/div... |
.
2005 | ||
[15] | ![]() |
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 | ||
[14] | ![]() |
2004. Elaboration tolerance through object-orientation. |
.
2003 | ||
[13] | ![]() |
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 | ||
[12] | ![]() |
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 | ||
[11] | ![]() |
2001. Elaboration Tolerance through Object-Orientation. In Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense). |
.
[10] | ![]() |
2001. TALPLANNER - A temporal logic-based planner. The AI Magazine, 22(3):95–102. AAAI Press. |
.
2000 | ||
[9] | ![]() |
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. |
.
[8] | ![]() |
2000. Tackling the qualification problem using fluent dependency constraints. |
.
[7] | ![]() |
2000. Extending TALplanner with concurrency and resources. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), pages 501–505. In series: Frontiers in Artificial Intelligence and Applications #54. IOS Press. ISBN: 4274903885, 1586030132. Link: http://swepub.kb.se/bib/swepub:oai:DiVA.... |
.
1999 | ||
[6] | ![]() |
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 | ||
[5] |
1998. TAL: Temporal Action Logics Language <> Specification and Tutorial. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.3:15. Linköping University Electronic Press. Original 32 and 1st Revised 32 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2770094 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3010158 |
.
|
[4] | ![]() |
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/ |
.
[3] | ![]() |
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 |
.
1997 | ||
[2] |
1997. Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:16. Linköping University Electronic Press. 14 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477087 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3011611 |
.
|
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. |
.