@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},
    publisher = {World Scientific},
    issn = {2301-3850, EISSN 2301-3869},
}

@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},
    publisher = {Springer},
    issn = {0933-1875},
}

@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 POMDP}},
    year = {2013},
    booktitle = {Proceedings of the 23rd International Conference on Automated Planning and Scheduling ({ICAPS})},
    note = {<p>Accepted for publication.</p>},
}

@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})},
    note = {<p>Accepted for publication.</p>},
}

@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})},
}

@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 = {Proceedings of the 19th European Conference on Artificial Intelligence ({ECAI})},
    pages = {341--346},
    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 = {Proceedings of the National Swedish Artificial Intelligence Workshop ({SAIS})},
    editor = {Roland Bol},
    series = {Link\"oping Electronic Conference Proceedings},
    volume = {48},
    publisher = {Link\"oping University Electronic Press, Link\"opings universitet},
    issn = {1650-3686 (print), 1650-3740 (online)},
}

@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},
}

@incollection{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 = {<p>No proceedings, but CD</p>},
}

@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 Artificial Intelligence},
    volume = {5325},
    publisher = {Springer},
    isbn = {978-3-540-89075-1},
    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--},
    series = {Frontiers in Artificial Intelligence and Applications},
    volume = {54},
    publisher = {IOS Press},
    isbn = {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},
}

@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},
}

@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},
}