AIICS

Jonas Kvarnström

Recent Publications

Show abstracts (where available) BibTeX entries
2014
[48] Oleg Burdakov, Patrick Doherty and Jonas Kvarnstr√∂m. 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 #Volume 37. IOS Press. ISBN: 978-1-61499-390-2 (print), 978-1-61499-391-9 (online).
DOI: 10.3233/978-1-61499-391-9-26.
[47] Oleg Burdakov, Patrick Doherty and Jonas Kvarnstr√∂m. 2014.
Optimal Scheduling for Replacing Perimeter Guarding Unmanned Aerial Vehicles.
Technical Report. In series: LiTH-MAT-R #2014:09. Link√∂ping University Electronic Press. 13 pages.
[46] Oleg Burdakov, Patrick Doherty and Jonas Kvarnstr√∂m. 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.
[45] Mikael Nilsson, Jonas Kvarnstr√∂m and Patrick Doherty. 2014.
Incremental Dynamic Controllability in Cubic Worst-Case Time.
In Proceedings of the 21th International Symposium on Temporal Representation and Reasoning (TIME).
Note: Accepted for Publication.
[44] Full text  Mikael Nilsson, Jonas Kvarnstr√∂m and Patrick Doherty. 2014.
EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm.
In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS), pages 199–207. ISBN: ISBN:978-1-57735-660-8.
[43] Full text  Mikael Nilsson, Jonas Kvarnstr√∂m and Patrick Doherty. 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.
DOI: 10.5220/0004815801300141.
2013
[42] Full text  Patrick Doherty, Fredrik Heintz and Jonas Kvarnstr√∂m. 2013.
Robotics, Temporal Logic and Stream Reasoning.
In Proceedings of Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013.
[41] Full text  Patrick Doherty, Fredrik Heintz and Jonas Kvarnstr√∂m. 2013.
High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation.
Unmanned Systems, 1(1):75–119. World Scientific.
[40] Full text  Fredrik Heintz, Jonas Kvarnstr√∂m and Patrick Doherty. 2013.
Stream-Based Hierarchical Anchoring.
K√ľnstliche Intelligenz, 27(2):119–128. Springer.
DOI: 10.1007/s13218-013-0239-2.
[39] Full text  H√•kan Warnquist, Jonas Kvarnstr√∂m and Patrick Doherty. 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). AAAI Press. ISBN: 978-1-57735-609-7.
[38] Full text  Mikael Nilsson, Jonas Kvarnstr√∂m and Patrick Doherty. 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
[37] Full text  Patrick Doherty, Jonas Kvarnstr√∂m and Andrzej Szalas. 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
[36] Full text  Jonas Kvarnstr√∂m. 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
[35] Full text  Patrick Doherty, Jonas Kvarnstr√∂m, Fredrik Heintz, David Land√©n and Per-Magnus Olsson. 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] Full text  Mariusz Wzorek, Jonas Kvarnstr√∂m and Patrick Doherty. 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] Full text  Fredrik Heintz, Jonas Kvarnstr√∂m and Patrick Doherty. 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] Full text  Fredrik Heintz, Jonas Kvarnstr√∂m and Patrick Doherty. 2010.
Stream-Based Middleware Support for Embedded Reasoning.
In Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems (ER).
[31] Full text  Fredrik Heintz, Jonas Kvarnstr√∂m and Patrick Doherty. 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] Full text  Jonas Kvarnstr√∂m and Patrick Doherty. 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....
[29] Full text  Per-Magnus Olsson, Jonas Kvarnstr√∂m, Patrick Doherty, Oleg Burdakov and Kaj Holmberg. 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] Full text  H√•kan Warnquist, Jonas Kvarnstr√∂m and Patrick Doherty. 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-605-8, 978-1-60750-606-5.
DOI: 10.3233/978-1-60750-606-5-341.
[27] Full text  Jonas Kvarnstr√∂m. 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...
[26] Full text  Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnstr√∂m and Per-Magnus Olsson. 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] Full text  Fredrik Heintz, Jonas Kvarnstr√∂m and Patrick Doherty. 2010.
Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing.
Advanced Engineering Informatics, 24(1):14–26. Elsevier.
DOI: 10.1016/j.aei.2009.08.007.
[24] Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnstr√∂m and Per-Magnus Olsson. 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
[23] Full text  H√•kan Warnquist, Jonas Kvarnstr√∂m and Patrick Doherty. 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] Full text  Patrick Doherty and Jonas Kvarnstr√∂m. 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...
[21] Full text  Patrick Doherty, Jonas Kvarnstr√∂m and Fredrik Heintz. 2009.
A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems.
Autonomous Agents and Multi-Agent Systems, 19(3):332–377. Springer.
DOI: 10.1007/s10458-009-9079-8.
[20] Full text  Fredrik Heintz, Jonas Kvarnstr√∂m and Patrick Doherty. 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] Full text  Fredrik Heintz and Jonas Kvarnstr√∂m. 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/
[18] Full text  Martin Magnusson, Jonas Kvarnstr√∂m and Patrick Doherty. 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] Full text  Fredrik Heintz, Jonas Kvarnstr√∂m and Patrick Doherty. 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
[16] Full text  Fredrik Heintz, Jonas Kvarnstr√∂m and Patrick Doherty. 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
[15] Full text  Jonas Kvarnstr√∂m, Fredrik Heintz and Patrick Doherty. 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.
[14] Full text  Fredrik Heintz, Jonas Kvarnstr√∂m and Patrick Doherty. 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 (print), 978-3-540-89076-8 (online).
DOI: 10.1007/978-3-540-89076-8_17.
2005
[13] Full text  Jonas Kvarnstr√∂m. 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] Full text  Joakim Gustafsson and Jonas Kvarnstr√∂m. 2004.
Elaboration tolerance through object-orientation.
Artificial Intelligence, 153(1-2):239–285. Elsevier.
DOI: 10.1016/j.artint.2003.08.004.
2003
[11] Full text  Jonas Kvarnstr√∂m and Martin Magnusson. 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] Full text  Jonas Kvarnstr√∂m. 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] Full text  Joakim Gustafsson and Jonas Kvarnstr√∂m. 2001.
Elaboration Tolerance through Object-Orientation.
In Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense).
[8] Full text  Patrick Doherty and Jonas Kvarnstr√∂m. 2001.
TALPLANNER - A temporal logic-based planner.
The AI Magazine, 22(3):95–102. AAAI Press.
2000
[7] Full text  Patrick Doherty and Jonas Kvarnstr√∂m. 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] Full text  Jonas Kvarnstr√∂m and Patrick Doherty. 2000.
Tackling the qualification problem using fluent dependency constraints.
Computational intelligence, 16(2):169–209. Blackwell Publishing.
DOI: 10.1111/0824-7935.00111.
[5] Full text  Jonas Kvarnstr√∂m, Patrick Doherty and Patrik Haslum. 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] Full text  Patrick Doherty and Jonas Kvarnstr√∂m. 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] Full text  Patrick Doherty, Joakim Gustafsson, Lars Karlsson and Jonas Kvarnstr√∂m. 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/
[2] Full text  Patrick Doherty and Jonas Kvarnstr√∂m. 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] Jonas Kvarnstr√∂m. 1996.
A New Tractable Planner for the SAS+ Formalism.
Student Thesis. In series: LiTH-IDA-Ex #9625. 283 pages. ISRN: LiTH-IDA-Ex-9625.