@inproceedings{NilKvaDoh:2018:1251861, author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters}}, year = {2018}, booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling ({ICAPS})}, pages = {180--189}, editor = {Mathijs de Weerdt and Sven Koenig and Gabriele R\"oger and Matthijs Spaan}, series = {International Conference on Automated Planning and Scheduling}, publisher = {AAAI Press}, isbn = {978-1-57735-797-1}, } @inproceedings{DohKvaSza:2016:1073362, author = {Patrick Doherty and Jonas Kvarnstr\"om and Andrzej Szalas}, title = {{Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs}}, year = {2016}, booktitle = {Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings}, pages = {536--542}, editor = {Michael and Loizos; Kakas and Antonis}, series = {Lecture Notes in Computer Science}, volume = {10021}, publisher = {Springer Publishing Company}, isbn = {978-3-319-48757-1, 978-3-319-48758-8}, issn = {0302-9743}, doi = {10.1007/978-3-319-48758-8\_36}, } @inproceedings{BerWzoEtAl:2016:1044508, author = {Cyrille Berger and Mariusz Wzorek and Jonas Kvarnstr\"om and Gianpaolo Conte and Patrick Doherty and Alexander Eriksson}, title = {{Area Coverage with Heterogeneous UAVs using Scan Patterns}}, year = {2016}, booktitle = {2016 IEEE International Symposium on Safety, Security, and Rescue Robotics ({SSRR}): proceedings}, series = {2016 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR)}, publisher = {IEEE Robotics and Automation Society}, isbn = {978-1-5090-4349-1}, issn = {2374-3247}, doi = {10.1109/SSRR.2016.7784325}, } @inproceedings{DohKvaEtAl:2016:953055, author = {Patrick Doherty and Jonas Kvarnstr\"om and Piotr Rudol and Mariusz Wzorek and Gianpaolo Conte and Cyrille Berger and Timo Hinzmann and Thomas Stastny}, title = {{A Collaborative Framework for 3D Mapping using Unmanned Aerial Vehicles}}, year = {2016}, booktitle = {PRIMA 2016: Principles and Practice of Multi-Agent Systems}, pages = {110--130}, editor = {Baldoni and M. and Chopra and A.K. and Son and T.C. and Hirayama and K. and Torroni and P.}, series = {Lecture Notes in Computer Science}, volume = {9862}, publisher = {Springer Publishing Company}, isbn = {978-3-319-44831-2}, issn = {0302-9743}, doi = {10.1007/978-3-319-44832-9\_7}, note = {Accepted for publication.}, } @inproceedings{NilKvaDoh:2015:858385, author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis}}, year = {2015}, booktitle = {Agents and Artificial Intelligence: 6th International Conference, ICAART 2014, Angers, France, March 6--8, 2014, Revised Selected Papers}, pages = {243--261}, editor = {B\'eatrice Duval; Jaap van den Herik; Stephane Loiseau; Joaquim Filipe}, series = {Lecture Notes in Computer Science}, volume = {8946}, publisher = {Springer}, isbn = {978-3-319-25209-4, 978-3-319-25210-0}, issn = {0302-9743}, doi = {10.1007/978-3-319-25210-0\_15}, } @inproceedings{DanKhaEtAl:2015:796839, author = {Martin Danelljan and Fahad Shahbaz Khan and Michael Felsberg and Karl Granstr\"om and Fredrik Heintz and Piotr Rudol and Mariusz Wzorek and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems}}, year = {2015}, booktitle = {COMPUTER VISION - ECCV 2014 WORKSHOPS, PT I}, pages = {223--237}, editor = {Lourdes Agapito and Michael M. Bronstein and Carsten Rother}, series = {Lecture Notes in Computer Science}, volume = {8925}, publisher = {Springer Publishing Company}, isbn = {978-3-319-16177-8, 978-3-319-16178-5}, issn = {0302-9743}, doi = {10.1007/978-3-319-16178-5\_15}, } @inproceedings{BurDohKva:2014:742139, author = {Oleg Burdakov and Patrick Doherty and Jonas Kvarnstr\"om}, title = {{Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance}}, year = {2014}, booktitle = {Examining Robustness and Vulnerability of Networked Systems}, pages = {26--50}, editor = {Butenko and S. and Pasiliao and E.L. and Shylo and V.}, series = {NATO Science for Peace and Security Series - D: Information and Communication Security}, volume = {37}, publisher = {IOS Press}, isbn = {978-1-61499-390-2, 978-1-61499-391-9}, issn = {1874-6268}, doi = {10.3233/978-1-61499-391-9-26}, } @inproceedings{NilKvaDoh:2014:725791, author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Incremental Dynamic Controllability in Cubic Worst-Case Time}}, year = {2014}, booktitle = {Proceedings of the 21st International Symposium on Temporal Representation and Reasoning ({TIME})}, pages = {17--26}, editor = {Cesta and A; Combi and C; Laroussinie and F}, series = {International Workshop on Temporal Representation and Reasoning. Proceedings}, publisher = {IEEE Computer Society Digital Library}, isbn = {978-1-4799-4227-5}, issn = {1530-1311}, doi = {10.1109/TIME.2014.13}, } @inproceedings{NilKvaDoh:2014:685363, author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Efficient IDC: A Faster Incremental Dynamic Controllability Algorithm}}, year = {2014}, booktitle = {Proceedings of the 24th International Conference on Automated Planning and Scheduling ({ICAPS})}, pages = {199--207}, publisher = {AAAI Press}, isbn = {978-1-57735-660-8}, } @inproceedings{NilKvaDoh:2014:685353, author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Classical Dynamic Controllability Revisited: A Tighter Bound on the Classical Algorithm}}, year = {2014}, booktitle = {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}, } @inproceedings{DohHeiKva:2013:664665, author = {Patrick Doherty and Fredrik Heintz and Jonas Kvarnstr\"om}, title = {{Robotics, Temporal Logic and Stream Reasoning}}, year = {2013}, booktitle = {Proceedings of Logic for Programming Artificial Intelligence and Reasoning ({LPAR}), 2013}, } @inproceedings{WarKvaDoh:2013:605391, author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Exploiting Fully Observable and Deterministic Structures in Goal POMDPs}}, year = {2013}, booktitle = {Proceedings of the 23rd International Conference on Automated Planning and Scheduling ({ICAPS})}, pages = {242--250}, editor = {Daniel Borrajo and Subbarao Kambhampati and Angelo Oddi and Simone Fratini}, publisher = {AAAI Press}, isbn = {978-1-57735-609-7}, } @inproceedings{NilKvaDoh:2013:605388, author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Incremental Dynamic Controllability Revisited}}, year = {2013}, booktitle = {Proceedings of the 23rd International Conference on Automated Planning and Scheduling ({ICAPS})}, publisher = {AAAI Press}, isbn = {978-1-57735-609-7}, } @inproceedings{DohKvaSza:2012:489882, author = {Patrick Doherty and Jonas Kvarnstr\"om and Andrzej Szalas}, title = {{Temporal Composite Actions with Constraints}}, year = {2012}, booktitle = {Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning ({KR})}, pages = {478--488}, publisher = {AAAI Press}, isbn = {978-1-57735-560-1, 978-1-57735-561-8}, } @inproceedings{Kva:2011:483527, author = {Jonas Kvarnstr\"om}, title = {{Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining}}, year = {2011}, booktitle = {Proceedings of the 21st International Conference on Automated Planning and Scheduling ({ICAPS})}, pages = {138--145}, editor = {Fahiem Bacchus and Carmel Domshlak and Stefan Edelkamp and Malte Helmert}, publisher = {AAAI Press}, isbn = {978-1-57735-503-8, 978-1-57735-504-5}, } @inproceedings{DohKvaEtAl:2010:355063, author = {Patrick Doherty and Jonas Kvarnstr\"om and Fredrik Heintz and David Land\'en and Per-Magnus Olsson}, title = {{Research with Collaborative Unmanned Aircraft Systems}}, year = {2010}, booktitle = {Proceedings of the Dagstuhl Workshop on Cognitive Robotics}, editor = {Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri}, series = {Dagstuhl Seminar Proceedings}, volume = {10081}, publisher = {Leibniz-Zentrum f\"ur Informatik}, issn = {1862-4405}, } @inproceedings{WzoKvaDoh:2010:354495, author = {Mariusz Wzorek and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Choosing Path Replanning Strategies for Unmanned Aircraft Systems}}, year = {2010}, booktitle = {Proceedings of the Twentieth International Conference on Automated Planning and Scheduling ({ICAPS})}, pages = {193--200}, editor = {Ronen Brafman and H\'ector Geffner and J\"org Hoffmann and Henry Kautz}, publisher = {AAAI Press}, isbn = {978-1-57735-449-9}, } @inproceedings{HeiKvaDoh:2010:354332, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Stream-Based Reasoning in DyKnow}}, year = {2010}, booktitle = {Proceedings of the Dagstuhl Workshop on Cognitive Robotics}, editor = {Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri}, series = {Dagstuhl Seminar Proceedings}, volume = {10081}, publisher = {Leibniz-Zentrum f\"ur Informatik}, issn = {1862-4405}, } @inproceedings{HeiKvaDoh:2010:354331, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Stream-Based Middleware Support for Embedded Reasoning}}, year = {2010}, booktitle = {Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems ({ER})}, publisher = {AAAI Press}, isbn = {978-157735458-1}, } @inproceedings{HeiKvaDoh:2010:354329, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Stream-Based Reasoning Support for Autonomous Systems}}, year = {2010}, booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence ({ECAI})}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {215}, publisher = {IOS Press}, isbn = {978-1-60750-605-8}, issn = {0922-6389}, doi = {10.3233/978-1-60750-606-5-183}, } @inproceedings{KvaDoh:2010:353977, author = {Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Automated Planning for Collaborative UAV Systems}}, year = {2010}, booktitle = {Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision ({ICARCV})}, pages = {1078--1085}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-7813-2, 978-1-4244-7814-9}, doi = {10.1109/ICARCV.2010.5707969}, } @inproceedings{OlsKvaEtAl:2010:353975, author = {Per-Magnus Olsson and Jonas Kvarnstr\"om and Patrick Doherty and Oleg Burdakov and Kaj Holmberg}, title = {{Generating UAV Communication Networks for Monitoring and Surveillance}}, year = {2010}, booktitle = {Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010)}, pages = {1070--1077}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-7814-9}, doi = {10.1109/ICARCV.2010.5707968}, } @inproceedings{WarKvaDoh:2010:353971, author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Iterative Bounding LAO*}}, year = {2010}, booktitle = {ECAI 2010: 19th European Conference on Artificial Intelligence - Volume 215 Frontiers in Artificial Intelligence and Applications}, pages = {341--346}, editor = {Helder Coelho and Rudi Studer and Mike Wooldridge}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {215}, publisher = {IOS Press}, isbn = {978-1-60750-605-8, 978-1-60750-606-5}, issn = {0922-6389}, doi = {10.3233/978-1-60750-606-5-341}, } @inproceedings{Kva:2010:353969, author = {Jonas Kvarnstr\"om}, title = {{Planning for Loosely Coupled Agents using Partial Order Forward-Chaining}}, year = {2010}, booktitle = {The Swedish AI Society Workshop 2010, SAIS 2010}, pages = {45--54}, editor = {Roland Bol}, series = {Link\"oping Electronic Conference Proceedings}, volume = {48}, publisher = {Link\"oping University Electronic Press, Link\"opings universitet}, issn = {1650-3686}, } @inproceedings{BurDohEtAl:2010:242169, author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Jonas Kvarnstr\"om and Per-Magnus Olsson}, title = {{Positioning Unmanned Aerial Vehicles As Communication Relays for Surveillance Tasks}}, year = {2010}, booktitle = {Robotics: Science and Systems V}, pages = {257--264}, editor = {J. Trinkle and Y. Matsuoka and J.A. Castellanos}, publisher = {MIT Press}, isbn = {978-0-262-51463-7}, } @inproceedings{WarKvaDoh:2009:273347, author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Planning as Heuristic Search for Incremental Fault Diagnosis and Repair}}, year = {2009}, booktitle = {Proceedings of the Scheduling and Planning Applications Workshop ({SPARK}) at the 19th International Conference on Automated Planning and Scheduling ({ICAPS})}, } @inproceedings{HeiKvaDoh:2009:249045, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Stream Reasoning in DyKnow: A Knowledge Processing Middleware System}}, year = {2009}, booktitle = {Proceedings of the Stream Reasoning Workshop}, series = {CEUR Workshop Proceedings}, volume = {466}, publisher = {M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen}, issn = {1613-0073}, } @inproceedings{MagKvaDoh:2009:242160, author = {Martin Magnusson and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Abductive Reasoning with Filtered Circumscription}}, year = {2009}, booktitle = {Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change ({NRAC})}, publisher = {UTSePress}, isbn = {978-0-9802840-7-2}, } @inproceedings{HeiKvaDoh:2009:242158, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{A Stream-Based Hierarchical Anchoring Framework}}, year = {2009}, booktitle = {Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems ({IROS})}, pages = {5254--}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-3803-7}, doi = {10.1109/IROS.2009.5354372}, } @inproceedings{HeiKvaDoh:2008:265428, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing}}, year = {2008}, booktitle = {IROS Workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms}, editor = {Martin Hulse and Manfred Hild}, note = {No proceedings, but CD}, } @inproceedings{KvaHeiDoh:2008:265425, author = {Jonas Kvarnstr\"om and Fredrik Heintz and Patrick Doherty}, title = {{A Temporal Logic-Based Planning and Execution Monitoring System}}, year = {2008}, booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling ({ICAPS})}, pages = {198--}, publisher = {AAAI Press}, isbn = {978-1-57735-386-7, 978-1-57735-387-4}, } @inproceedings{HeiKvaDoh:2008:249050, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Knowledge Processing Middleware}}, year = {2008}, booktitle = {Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots ({SIMPAR})}, pages = {147--158}, editor = {S. Carpin and I. Noda and E. Pagello and M. Reggiani and O. von Stryk}, series = {Lecture Notes in Computer Science}, volume = {5325}, publisher = {Springer}, isbn = {978-3-540-89075-1, 978-3-540-89076-8}, issn = {0302-9743}, doi = {10.1007/978-3-540-89076-8\_17}, } @inproceedings{Kva:2002:353973, author = {Jonas Kvarnstr\"om}, title = {{Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner}}, year = {2002}, booktitle = {Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling ({AIPS})}, editor = {Malik Ghallab and Joachim Hertzberg and and Paolo Traverso}, publisher = {AAAI Press}, isbn = {0-57735-142-8}, doi = {10.3233/978-1-60750-606-5-341}, } @inproceedings{GusKva:2001:353976, author = {Joakim Gustafsson and Jonas Kvarnstr\"om}, title = {{Elaboration Tolerance through Object-Orientation}}, year = {2001}, booktitle = {Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense)}, } @inproceedings{KvaDohHas:2000:262450, author = {Jonas Kvarnstr\"om and Patrick Doherty and Patrik Haslum}, title = {{Extending TALplanner with concurrency and resources}}, year = {2000}, booktitle = {Proceedings of the 14th European Conference on Artificial Intelligence ({ECAI})}, pages = {501--505}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {54}, publisher = {IOS Press}, isbn = {4274903885, 1586030132}, issn = {0922-6389}, } @inproceedings{DohKva:1999:262448, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{TALplanner: An empirical investigation of a temporal logic-based forward chaining planner}}, year = {1999}, booktitle = {6th International Workshop on Temporal Representation and Reasoning (TIME-99)}, pages = {47--}, editor = {Clare Dixon and Michael Fisher}, publisher = {IEEE Computer Society}, isbn = {0-7695-0173-7}, } @inproceedings{DohKva:1998:262304, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{Tackling the qualification problem using fluent dependency constraints}}, year = {1998}, booktitle = {Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98)}, pages = {97--}, editor = {Lina Khatib and Robert Morris}, publisher = {IEEE Computer Society}, isbn = {0-8186-8473-9}, note = {Preliminary report}, }