Testing: @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}, } @article{BurKvaDoh:2017:914860, author = {Oleg Burdakov and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles}}, year = {2017}, journal = {Annals of Operations Research}, volume = {249}, number = {1}, pages = {163--174}, publisher = {Springer}, issn = {0254-5330}, doi = {10.1007/s10479-016-2169-5}, } @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.}, } @article{NilKvaDoh:2016:860637, author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification}}, year = {2016}, journal = {Acta Informatica}, volume = {53}, number = {6-8}, pages = {723--752}, publisher = {Springer Publishing Company}, issn = {0001-5903}, doi = {10.1007/s00236-015-0248-8}, } @article{WarKvaDoh:2016:855938, author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{A Modeling Framework for Troubleshooting Automotive Systems}}, year = {2016}, journal = {Applied Artificial Intelligence}, volume = {30}, number = {3}, pages = {257--296}, publisher = {Taylor \& Francis}, issn = {0883-9514}, 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 \<em\>Manuscript\</em\>.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}, } @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}, } @incollection{DohKvaEtAl:2014:783442, author = {Patrick Doherty and Jonas Kvarnstr\"om and Mariusz Wzorek and Piotr Rudol and Fredrik Heintz and Gianpaolo Conte}, title = {{HDRC3 - A Distributed Hybrid Deliberative/Reactive Architecture for Unmanned Aircraft Systems}}, year = {2014}, booktitle = {Handbook of Unmanned Aerial Vehicles}, pages = {849--952}, editor = {Kimon P. Valavanis and George J. Vachtsevanos}, publisher = {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}, } @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}, } @techreport{BurDohKva:2014:739489, author = {Oleg Burdakov and Patrick Doherty and Jonas Kvarnstr\"om}, title = {{Optimal Scheduling for Replacing Perimeter Guarding Unmanned Aerial Vehicles}}, year = {2014}, series = {LiTH-MAT-R}, volume = {2014:09}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {0348-2960}, } @techreport{BurDohKva:2014:739485, 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}, series = {LiTH-MAT-R}, volume = {2014:10}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {0348-2960}, } @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}, } @article{DohHeiKva:2013:611599, author = {Patrick Doherty and Fredrik Heintz and Jonas Kvarnstr\"om}, title = {{High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation}}, year = {2013}, journal = {Unmanned Systems}, volume = {1}, number = {1}, pages = {75--119}, publisher = {World Scientific}, issn = {2301-3850}, doi = {10.1142/S2301385013500052}, } @article{HeiKvaDoh:2013:610375, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Stream-Based Hierarchical Anchoring}}, year = {2013}, journal = {K\"unstliche Intelligenz}, volume = {27}, number = {2}, pages = {119--128}, publisher = {Springer}, issn = {0933-1875}, doi = {10.1007/s13218-013-0239-2}, } @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}, } @article{BurDohEtAl:2010:337902, author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Jonas Kvarnstr\"om and Per-Magnus Olsson}, title = {{Relay Positioning for Unmanned Aerial Vehicle Surveillance}}, year = {2010}, journal = {The international journal of robotics research}, volume = {29}, number = {8}, pages = {1069--1087}, publisher = {Sage Publications}, issn = {0278-3649}, doi = {10.1177/0278364910369463}, } @article{HeiKvaDoh:2010:300370, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing}}, year = {2010}, journal = {Advanced Engineering Informatics}, volume = {24}, number = {1}, pages = {14--26}, publisher = {Elsevier}, issn = {1474-0346}, doi = {10.1016/j.aei.2009.08.007}, } @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})}, } @incollection{DohKva:2009:257634, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{Temporal Action Logics}}, year = {2009}, booktitle = {Handbook of Knowledge Representation}, pages = {709--757}, editor = {V. Lifschitz and F. van Harmelen and and F. Porter}, series = {Foundations of Artificial Intelligence}, volume = {3}, publisher = {Elsevier}, isbn = {978-0-444-52211-5}, issn = {1574-6526}, doi = {10.1016/S1574-6526(07)03018-0}, } @article{DohKvaHei:2009:249047, author = {Patrick Doherty and Jonas Kvarnstr\"om and Fredrik Heintz}, title = {{A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems}}, year = {2009}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = {19}, number = {3}, pages = {332--377}, publisher = {Springer}, issn = {1387-2532}, doi = {10.1007/s10458-009-9079-8}, } @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}, } @proceedings{HeiKva:2009:246141, author = {Fredrik Heintz and Jonas Kvarnstr\"om}, title = {{Proceedings of the Swedish AI Society Workshop 2009}}, year = {2009}, series = {Link\"oping Electronic Conference Proceedings}, volume = {35}, publisher = {Link\"oping University Electronic Press, Link\"opings universitet}, issn = {1650-3686}, } @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}, } @phdthesis{Kva:2005:252317, author = {Jonas Kvarnstr\"om}, title = {{TALplanner and other extensions to Temporal Action Logic}}, year = {2005}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {937}, publisher = {Link\"opings universitet}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-85297-75-5}, issn = {0345-7524}, } @article{GusKva:2004:267185, author = {Joakim Gustafsson and Jonas Kvarnstr\"om}, title = {{Elaboration tolerance through object-orientation}}, year = {2004}, journal = {Artificial Intelligence}, volume = {153}, number = {1-2}, pages = {239--285}, publisher = {Elsevier}, issn = {0004-3702}, doi = {10.1016/j.artint.2003.08.004}, } @article{KvaMag:2003:269327, author = {Jonas Kvarnstr\"om and Martin Magnusson}, title = {{TALplanner in the Third International Planning Competition: Extensions and control rules}}, year = {2003}, journal = {The journal of artificial intelligence research}, volume = {20}, pages = {343--377}, publisher = {AAAI Press}, issn = {1076-9757}, doi = {10.1613/jair.1189}, } @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)}, } @article{DohKva:2001:269228, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{TALPLANNER - A temporal logic-based planner}}, year = {2001}, journal = {The AI Magazine}, volume = {22}, number = {3}, pages = {95--102}, publisher = {AAAI Press}, issn = {0738-4602}, } @article{DohKva:2000:262479, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{TALplanner: A temporal logic based forward chaining planner}}, year = {2000}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {30}, number = {1-4}, pages = {119--169}, publisher = {Springer}, issn = {1012-2443}, doi = {10.1023/A:1016619613658}, } @article{KvaDoh:2000:262473, author = {Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Tackling the qualification problem using fluent dependency constraints}}, year = {2000}, journal = {Computational intelligence}, volume = {16}, number = {2}, pages = {169--209}, publisher = {Blackwell Publishing}, issn = {0824-7935}, doi = {10.1111/0824-7935.00111}, } @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}, } @techreport{DohGusEtAl:1998:1716288, author = {Patrick Doherty and Joakim Gustafsson and Lars Karlsson and Jonas Kvarnstr\"om}, title = {{TAL: Temporal Action Logics Language \<\> Specification and Tutorial}}, year = {1998}, series = {Link\"oping Electronic Articles in Computer and Information Science}, volume = {Vol.3:15}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {1401-9841}, } @article{DohGusEtAl:1998:262481, author = {Patrick Doherty and Joakim Gustafsson and Lars Karlsson and Jonas Kvarnstr\"om}, title = {{(TAL) temporal action logics: Language specification and tutorial}}, year = {1998}, journal = {Electronic Transactions on Artifical Intelligence}, volume = {2}, number = {3-4}, pages = {273--306}, issn = {1403-3534}, } @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}, } @techreport{DohKva:1997:1714459, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report}}, year = {1997}, series = {Link\"oping Electronic Articles in Computer and Information Science}, volume = {Vol.2:16}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {1401-9841}, } @mastersthesis{Kva:1996:354145, author = {Jonas Kvarnstr\"om}, title = {{A New Tractable Planner for the SAS+ Formalism}}, year = {1996}, isrn = {LiTH-IDA-Ex-9625}, school = {Link"opings universitet}, }