Hide menu

Publications by Group Members

The following publications have been authored or co-authored by current and previous members of the Automated Planning and Diagnosis group.

[76] Jonas Kvarnström. Planning for Loosely Coupled Agents using Partial Order Forward-Chaining. In Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS), Freiburg, Germany, June 2011. [ Conference | .pdf ]
[75] Jonas Kvarnström and Patrick Doherty. Automated Planning for Collaborative UAV Systems. In Proceeding of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), Singapore, December 2010. [ Conference | .pdf ]
[74] Per-Magnus Olsson, Jonas Kvarnström, Patrick Doherty, Oleg Burdakov, and Kaj Holmberg. Generating UAV Communication Networks for Monitoring and Surveillance. In Proceeding of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), Singapore, December 2010. [ Conference | .pdf ]
[73] Håkan Warnquist, Jonas Kvarnström, and Patrick Doherty. Iterative Bounding LAO*. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), Lisbon, Portugal, August 2010. [ Conference | .pdf ]
[72] Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström, and Per-Magnus Olsson. Relay Positioning for Unmanned Aerial Vehicle Surveillance. International Journal of Robotics Research, 29(8):1069-1077, July 2010. First published online 2010-04-28. [ Journal | .pdf ]
[71] Jonas Kvarnström. Planning for Loosely Coupled Agents using Partial Order Forward-Chaining. In Proceedings of the National Swedish Artificial Intelligence Workshop (SAIS), May 2010. [ Conference ]
[70] Mariusz Wzorek, Jonas Kvarnström, and Patrick Doherty. Choosing Path Replanning Strategies for Unmanned Aircraft Systems. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), May 2010. [ Conference | .pdf ]
[69] Fredrik Heintz, Jonas Kvarnström, and Patrick Doherty. Stream-Based Middleware Support for Embedded Reasoning. In AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems, March 2010. [ .pdf ]
[68] Patrick Doherty, Jonas Kvarnström, Fredrik Heintz, David Landén, and Per-Magnus Olsson. Research with Collaborative Unmanned Aircraft Systems. In Proceedings of the Dagstuhl Workshop on Cognitive Robotics, Schloss Dagstuhl, Wadern, Germany, February 2010. [ Conference ]
[67] Fredrik Heintz, Jonas Kvarnström, and Patrick Doherty. Bridging the Sense-Reasoning Gap: DyKnow - Stream-Based Middleware for Knowledge Processing. Advanced Engineering Informatics, 24(1):14-26, January 2010. [ Journal | .pdf ]
[66] Oleg Burdakov, Patrick Doherty, Kaj Holmberg, and Per-Magnus Olsson. Optimal placement of UV-based communications relay nodes. Journal of Global Optimization, 2010. Published online February 2010. [ DOI | Journal ]
[65] Patrick Doherty, Jonas Kvarnström, and Fredrik Heintz. A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems. Journal of Autonomous Agents and Multi-Agent Systems, 19(3):332-337, October 2009. First published online February 2009. [ Journal | .pdf ]
[64] Fredrik Heintz, Jonas Kvarnström, and Patrick Doherty. A Stream-Based Hierarchical Anchoring Framework. In Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems (IROS), St. Louis, Missouri, October 2009. [ Conference | .pdf ]
[63] Håkan Warnquist, Jonas Kvarnström, and Patrick Doherty. Planning as Heuristic Search for Incremental Diagnosis and Repair. In Proceedings of the Scheduling and Planning Applications Workshop (SPARK) at the 19th International Conference on Automated Planning and Scheduling (ICAPS), Thessaloniki, Greece, September 2009. [ Conference | .pdf ]
[62] Oleg Burdakov, Patrick Doherty, Kaj Holmberg, and Per-Magnus Olsson. Optimal placement of communications relay nodes. In Proceedings of the 23rd European Conference on Operational Research (EURO), Bonn, Germany, July 2009. [ Conference | .pdf ]
[61] Martin Magnusson, Jonas Kvarnström, and Patrick Doherty. Abductive Reasoning with Filtered Circumscription. In Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC), Pasadena, California, July 2009. [ Conference | .pdf ]
[60] Martin Magnusson, David Landén, and Patrick Doherty. Logical Agents that Plan, Execute, and Monitor Communication. In Proceedings of the 2nd Workshop on Logic and the Simulation of Interaction and Reasoning (LSIR2), Pasadena, California, July 2009. [ Conference | .pdf ]
[59] Håkan Warnquist, Anna Pernestål, and Petter Säby. Anytime Near-Optimal Troubleshooting Applied to a Auxiliary Truck Braking System. In Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SafeProcess), Barcelona, Spain, June 2009. [ Conference ]
[58] Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström, and Per-Magnus Olsson. Positioning Unmanned Aerial Vehicles as Communication Relays for Surveillance Tasks. In Proceedings of the 5th Robotics: Science and Systems Conference (RSS), Seattle, Washington, June 2009. [ Conference | .pdf ]
[57] Anna Pernestål, Håkan Warnquist, and Mattias Nyberg. Modeling and Troubleshooting with Interventions Applied to an Auxiliary Truck Braking System. In Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Bari, Italy, June 2009. [ Conference ]
[56] Fredrik Heintz, Jonas Kvarnström, and Patrick Doherty. Stream Reasoning in DyKnow: A Knowledge Processing Middleware System. In Emanuele Della Valle, Stefano Ceri, Dieter Fensel, Frank van Harmelen, and Rudi Studer, editors, Proceedings of the 1st International Workshop on Stream Reasoning (SR), volume 466 of CEUR Workshop Proceedings, Heraklion, Crete, Greece, May 2009. [ Conference | .pdf ]
[55] Martin Magnusson and Patrick Doherty. Planning Speech Acts in a Logic of Action and Change. In Proceedings of the 25th National Swedish Artificial Intelligence Workshop (SAIS), Linköping, Sweden, May 2009. [ Conference | .pdf ]
[54] Fredrik Heintz. DyKnow: A Stream-Based Knowledge Processing Middleware Framework. Ph.d. thesis, Linköping University, Department of Computer and Information Science, March 2009. [ .pdf | E-Press ]
[53] Mattias Krysander, Fredrik Heintz, Jacob Roll, and Erik Frisk. Dynamic Test Selection for Reconfigurable Diagnosis. In Proceedings of the 47th IEEE Conference on Decision and Control (CDC), Cancun, Mexico, December 2008. [ Conference | .pdf ]
[52] Fredrik Heintz, Jonas Kvarnström, and Patrick Doherty. Knowledge Processing Middleware. In Stefano Carpin, Itsuki Noda, Enrico Pagello, Monica Reggiani, and Oskar von Stryk, editors, Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), volume 5325 of Lecture Notes in Artificial Intelligence, Venice, Italy, November 2008. Springer Verlag. [ Conference | .pdf ]
[51] Martin Magnusson and Patrick Doherty. Logical Agents for Language and Action. In Proceedings of the 4th Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE), Stanford, California, USA, October 2008. [ Conference | .pdf ]
[50] Martin Magnusson. Automated Reasoning Agent Architecture. Doctoral Consortium Poster Session at the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), September 2008. [ Poster | Conference ]
[49] Martin Magnusson and Patrick Doherty. Deductive Planning with Inductive Loops. In Gerhard Brewka and Jérôme Lang, editors, Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 528-534, Sydney, Australia, September 2008. AAAI Press. [ Conference | .pdf ]
[48] Jonas Kvarnström, Fredrik Heintz, and Patrick Doherty. A Temporal Logic-Based Planning and Execution Monitoring System. In Jussi Rintanen, Bernhard Nebel, J. Christopher Beck, and Eric Hansen, editors, Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS), Sydney, Australia, September 2008. [ Conference | .pdf ]
[47] Fredrik Heintz, Mattias Krysander, Jacob Roll, and Erik Frisk. FlexDx: A Reconfigurable Diagnosis Framework. In Alban Grastien, Wolfgang Mayer, and Markus Stumptner, editors, Proceedings of the 19th International Workshop on Principles of Diagnosis (DX), Blue Mountains, Australia, September 2008. [ Conference | .pdf ]
[46] Fredrik Heintz, Jonas Kvarnström, and Patrick Doherty. Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing. In Proceedings of the IROS workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms, Nice, France, September 2008. [ Conference | .pdf ]
[45] Anders Holmberg and Per-Magnus Olsson. Route Planning for Relay UAV. In Proceedings of the 26th Congress of the International Council of Aeronautical Sciences (ICAS), September 2008. [ Conference | .pdf ]
[44] Håkan Warnquist and Mattias Nyberg. A Heuristic for Near-Optimal Troubleshooting Using AO*. In Alban Grastien, Wolfgang Mayer, and Markus Stumptner, editors, Proceedings of the 19th International Workshop on Principles of Diagnosis (DX), Blue Mountains, Australia, September 2008. [ Conference | .pdf ]
[43] Martin Magnusson, David Landén, and Patrick Doherty. Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Nikos Avouris, editors, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI), pages 933-934, Patras, Greece, July 2008. IOS Press, Amsterdam, The Netherlands. [ Conference | .pdf ]
[42] Fredrik Heintz and Patrick Doherty. DyKnow Federations: Distributing and Merging Information Among UAVs. In Proceedings of the 11th International Conference on Information Fusion (Fusion), Cologne, Germany, July 2008. [ Conference | .pdf ]
[41] Per Nyblom and Patrick Doherty. Towards Automatic Model Generation by Optimization. In Proceedings of the 10th Scandinavian Conference on Artificial Intelligence (SCAI), volume 173 of Frontiers in Artificial Intelligence and Applications, Stockholm, May 2008. IOS Press, Amsterdam, The Netherlands. [ Conference | .pdf ]
[40] Per Nyblom. Dynamic Abstraction for Interleaved Task Planning and Execution. Licentiate thesis, Linköping University, Department of Computer and Information Science, May 2008. Report code: LiU-Tek-Lic-2008:21. [ E-Press | .pdf ]
[39] Patrick Doherty and Per-Magnus Olsson. The Observer Algorithm For Visibility Approximation. In Proceedings of the 10th Scandinavian Conference on Artificial Intelligence (SCAI), volume 173 of Frontiers in Artificial Intelligence and Applications, pages 3-11, Stockholm, May 2008. IOS Press, Amsterdam, The Netherlands. [ Conference ]
[38] Håkan Warnquist, Mattias Nyberg, and Petter Säby. Troubleshooting when Action Costs are Dependent with Application to a Truck Engine. In Proceedings of the 10th Scandinavian Conference on Artificial Intelligence (SCAI), volume 173 of Frontiers in Artificial Intelligence and Applications, Stockholm, May 2008. IOS Press, Amsterdam, The Netherlands. [ Conference | .pdf ]
[37] Håkan Warnquist and Petter Säby. Conditional Planning for Troubleshooting and Repair in a Partially Observable Environment. Master's thesis, Linköping University, April 2008. LIU-IDA/LITH-EX-A-08/013-SE. [ E-Press | .pdf ]
[36] Martin Magnusson and Patrick Doherty. Temporal Action Logic for Question Answering in an Adventure Game. In Pei Wang, Ben Goertzel, and Stan Franklin, editors, Artificial General Intelligence 2008: Proceedings of the First AGI Conference, pages 236-247, Memphis, Tennessee, USA, March 2008. IOS Press, Amsterdam, The Netherlands. [ Conference | .pdf ]
[35] Per-Magnus Olsson. Practical Pathfinding in Dynamic Environments, pages 179-190. Charles River, Boston, February 2008.
[34] Patrick Doherty and Jonas Kvarnström. Handbook of Knowledge Representation, chapter 16, Temporal Action Logics. Elsevier, December 2007. [ Web site | .pdf ]
[33] Martin Magnusson. Deductive Planning and Composite Actions in Temporal Action Logic. Licentiate thesis, Linköping University, Department of Computer and Information Science, September 2007. [ E-Press | .pdf ]
[32] Fredrik Heintz, Piotr Rudol, and Patrick Doherty. Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework. In Joachim Hertzberg, Michael Beetz, and Roman Englert, editors, KI 2007: Advances in Artificial Intelligence, volume 4667 of Lecture Notes in Artificial Intelligence, pages 460-463. Springer Verlag, Berlin / Heidelberg, September 2007. [ Conference | .pdf ]
[31] Per Nyblom. Dynamic Planning Problem Generation in a UAV Domain. In Proceedings of the 6th IFAC Symposium on Intelligent Autonomous Vehicles (IAV), Toulouse, France, September 2007. [ Conference | .pdf ]
[30] Fredrik Heintz, Piotr Rudol, and Patrick Doherty. From Images to Traffic Behavior - A UAV Tracking and Monitoring Application. In Proceedings of the 10th International Conference on Information Fusion (Fusion), Quebec, Canada, July 2007. ISIF, IEEE, AES. [ Conference | .pdf ]
[29] Martin Magnusson and Patrick Doherty. Deductive Planning with Temporal Constraints. In Eyal Amir, Vladimir Lifschitz, and Rob Miller, editors, Logical Formalizations of Commonsense Reasoning: Papers from the 2007 AAAI Spring Symposium, Stanford, California, March 2007. AAAI Press. [ Conference | .pdf ]
[28] Martin Magnusson and Patrick Doherty. Deductive Planning with Temporal Constraints using TAL. In Xiaoping Chen, Wei Liu, and Mary-Anne Williams, editors, Proceedings of the International Symposium on Practical Cognitive Agents and Robots (PCAR), pages 141-152. University of Western Australia Press, November 2006. [ Conference | .pdf ]
[27] Per Nyblom. Dynamic Abstraction for Hierarchical Problem Solving and Execution in Stochastic Dynamic Environments. In Loris Penserini, Pavlos Peppas, and Anna Perini, editors, Proceedings of the 3rd European Starting AI Researcher Symposium (STAIRS), volume 142 of Frontiers in Artificial Intelligence and Applications, pages 263-264, Riva del Garda, Italy, August 2006. IOS Press, Amsterdam, The Netherlands. [ .pdf ]
[26] Patrick Doherty, Martin Magnusson, and Andrzej Szalas. Approximate Databases: A Support Tool for Approximate Reasoning. Journal of Applied Non-Classical Logics, 16(1-2):87-117, June 2006. [ .pdf ]
[25] Martin Magnusson. Natural Language Understanding using Temporal Action Logic. In Proceedings of the Workshop on Knowledge and Reasoning for Language Processing KRAQ'06 at EACL'06, pages 29-36, April 2006. [ Conference | .pdf ]
[24] Fredrik Heintz and Patrick Doherty. A Knowledge Processing Middleware Framework and its Relation to the JDL Data Fusion Model. Journal of Intelligent and Fuzzy Systems, 17(4):335-351, February 2006. [ Journal | .pdf ]
[23] Fredrik Heintz and Patrick Doherty. A Knowledge Processing Middleware Framework and its Relation to the JDL Data Fusion Model. In Petter Ögren, editor, Proceedings of the 3rd Swedish Workshop on Autonomous Robotics (SWAR), pages 50-51, September 2005. [ Conference | .pdf ]
[22] Fredrik Heintz and Patrick Doherty. A Knowledge Processing Middleware Framework and its Relation to the JDL Data Fusion Model. In Erik Blasch, editor, Proceedings of the 8th International Conference on Information Fusion (Fusion). ISIF, IEEE, AES, July 2005. [ Conference | .pdf ]
[21] Martin Magnusson, Patrick Doherty, and Andrzej Szalas. An Experimental Platform for Approximate Databases. In Peter Funk, Thorsteinn Rögnvaldsson, and Ning Xiong, editors, Proceedings of the 3rd Joint Workshop of the Swedish Artificial Intelligence Society and the Swedish Society for Learning Systems (SAIS-SSLS), pages 124-133, April 2005. [ Conference | .pdf ]
[20] Fredrik Heintz and Patrick Doherty. A Knowledge Processing Middleware Framework and its Relation to the JDL Data Fusion Model. In Peter Funk, Thorsteinn Rögnvaldsson, and Ning Xiong, editors, Proceedings of the 3rd Joint Workshop of the Swedish Artificial Intelligence Society and the Swedish Society for Learning Systems (SAIS-SSLS), pages 68-77, April 2005. [ Conference | .pdf ]
[19] Per Nyblom. Handling Uncertainty by Interleaving Cost-Aware Classical Planning with Execution. In Peter Funk, Thorsteinn Rögnvaldsson, and Ning Xiong, editors, Proceedings of the 3rd Joint Workshop of the Swedish Artificial Intelligence Society and the Swedish Society for Learning Systems (SAIS-SSLS), pages 134-140, April 2005. [ Conference | .pdf ]
[18] Jonas Kvarnström. TALplanner and Other Extensions to Temporal Action Logic. PhD thesis, Linköpings universitet, April 2005. Linköping Studies in Science and Technology, Dissertation no. 937. [ .pdf ]
[17] Fredrik Heintz and Patrick Doherty. DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems. In Barbara Dunin-Keplicz, Andrzej Jankowski, Andrzej Skowron, and Marcin Szczuka, editors, Proceedings of the International Workshop on Monitoring, Security, and Rescue Techniques in Multiagent Systems (MSRAS), Advances in Intelligent and Soft Computing, pages 479-492, Heidelberg, March 2005. Springer Verlag.
[16] Fredrik Heintz and Patrick Doherty. DyKnow: An Approach to Middleware for Knowledge Processing. Journal of Intelligent and Fuzzy Systems, 15(1):3-13, November 2004. [ Journal | .pdf ]
[15] Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas. Towards a Logical Analysis of Biochemical Pathways. In José Júlio Alferes and João Alexandre Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA), volume 3229 of Lecture Notes in Artificial Intelligence, pages 667-679, Lisbon, Portugal, September 2004. Springer Verlag. [ .pdf ]
[14] Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas. Towards a Logical Analysis of Biochemical Reactions (Extended abstract). In Ramon López de Mántaras and Lorenza Saitta, editors, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), volume 110 of Frontiers in Artificial Intelligence and Applications, pages 997-998. IOS Press, Amsterdam, The Netherlands, August 2004. [ Poster | Conference | .pdf ]
[13] Fredrik Heintz and Patrick Doherty. Managing Dynamic Object Structures using Hypothesis Generation and Validation. In Proceedings of the AAAI Workshop on Anchoring Symbols to Sensor Data, San Jose, California, July 2004. [ Conference | .pdf ]
[12] Patrick Doherty, Patrik Haslum, Fredrik Heintz, Torsten Merz, Per Nyblom, Tommy Persson, and Björn Wingman. A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation. In Proceedings of the 7th International Symposium on Distributed Autonomous Robotic Systems (DARS), pages 221-230, Toulouse, France, June 2004. [ Conference | .pdf ]
[11] Fredrik Heintz and Patrick Doherty. DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems. In Proceedings of the International Workshop on Monitoring, Security, and Rescue Techniques in Multiagent Systems (MSRAS), June 2004. [ Conference | .pdf ]
[10] Jonas Kvarnström and Martin Magnusson. TALplanner in the Third International Planning Competition: Extensions and Control Rules. Journal of Artificial Intelligence Research, 20:343-377, December 2003. [ Journal | .pdf ]
[9] Martin Magnusson. Domain Knowledge in TALplanner. Master's thesis, Linköpings universitet, November 2002. LiTH-IDA-Ex-02/104. [ .pdf ]
[8] Jonas Kvarnström. 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), pages 101-110, Toulouse, France, April 2002. AAAI Press, Menlo Park, California, USA. [ Conference | .pdf ]
[7] Patrick Doherty and Jonas Kvarnström. TALplanner: A Temporal Logic-Based Planner. AI Magazine, 22(3):95-102, August 2001. [ Journal | .pdf ]
[6] Joakim Gustafsson and Jonas Kvarnström. Elaboration Tolerance through Object-Orientation. In Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense), New York, May 2001. [ Conference | .pdf ]
[5] Fredrik Heintz. Chronicle Recognition in the WITAS UAV Project - A Preliminary Report. In Proceedings of the National Swedish Artificial Intelligence Workshop (SAIS), Skövde, Sweden, March 2001. [ .pdf ]
[4] Jonas Kvarnström, Patrick Doherty, and Patrik Haslum. Extending TALplanner with Concurrency and Resources. In Werner Horn, editor, Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), volume 54 of Frontiers in Artificial Intelligence and Applications, pages 501-505, Berlin, Germany, August 2000. IOS Press, Amsterdam, The Netherlands. [ Conference | .pdf ]
[3] Jonas Kvarnström and Patrick Doherty. TALplanner: A Temporal Logic Based Forward Chaining Planner. Annals of Mathematics and Artificial Intelligence, 30:119-169, June 2000. [ Journal | .pdf ]
[2] Patrick Doherty and Jonas Kvarnström. TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner. In Claire Dixon and Michael Fisher, editors, Proceedings of the 6th International Workshop on Temporal Representation and Reasoning (TIME), pages 47-54, Orlando, Florida, USA, May 1999. IEEE Computer Society Press. [ Conference | .pdf ]
[1] Jonas Kvarnström. A New Tractable Planner for the SAS+ Formalism. Master's thesis, Linköpings universitet, 1996. LiTH-IDA-Ex-9625.

Page responsible: Patrick Doherty
Last updated: 2014-04-30