Publications for Jonas Kvarnström
Co-author map based on ISI articles 2007-

Keywords

unmanned temporal talplanner system streams stream-based search reasoning processing planning planner middleware logic knowledge formulas dyknow control algorithm actions action

Journal Articles

Patrick Doherty, Fredrik Heintz and Jonas Kvarnström
  High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation
  Unmanned Systems, 2013, 1(1), 75-119.

Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Stream-Based Hierarchical Anchoring
  Künstliche Intelligenz, 2013, 27(2), 119-128.

Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström and Per-Magnus Olsson
  Relay Positioning for Unmanned Aerial Vehicle Surveillance
  The international journal of robotics research, 2010, 29(8), 1069-1087.
 Web of Science® Times Cited: 6

Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing
  Advanced Engineering Informatics, 2010, 24(1), 14-26.
 Web of Science® Times Cited: 8

Patrick Doherty, Jonas Kvarnström and Fredrik Heintz
  A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems
  Autonomous Agents and Multi-Agent Systems, 2009, 19(3), 332-377.
 Web of Science® Times Cited: 10

Joakim Gustafsson and Jonas Kvarnström
  Elaboration tolerance through object-orientation
  Artificial Intelligence, 2004, 153(1-2), 239-285.
 Web of Science® Times Cited: 4

Jonas Kvarnström and Martin Magnusson
  TALplanner in the Third International Planning Competition: Extensions and control rules
  The journal of artificial intelligence research, 2003, 20, 343-377.
 Web of Science® Times Cited: 3

Patrick Doherty and Jonas Kvarnström
  TALPLANNER - A temporal logic-based planner
  The AI Magazine, 2001, 22(3), 95-102.
 Web of Science® Times Cited: 15

Patrick Doherty and Jonas Kvarnström
  TALplanner: A temporal logic based forward chaining planner
  Annals of Mathematics and Artificial Intelligence, 2000, 30(1-4), 119-169.
 Web of Science® Times Cited: 16

Jonas Kvarnström and Patrick Doherty
  Tackling the qualification problem using fluent dependency constraints
  Computational intelligence, 2000, 16(2), 169-209.
 Web of Science® Times Cited: 6

Patrick Doherty, Joakim Gustafsson, Lars Karlsson and Jonas Kvarnström
  (TAL) temporal action logics: Language specification and tutorial.
  Electronic Transactions on Artifical Intelligence, 1998, 2(3-4), 273-306.

Chapters in Books

Oleg Burdakov, Patrick Doherty and Jonas Kvarnström
  Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance
  Examining Robustness and Vulnerability of Networked Systems, IOS Press, 2014, 26-50.


  Fulltext PDF

Patrick Doherty and Jonas Kvarnström
  Temporal Action Logics
  Handbook of Knowledge Representation, Elsevier, 2009, 709-757.


Conference Proceedings

Fredrik Heintz and Jonas Kvarnström
  Proceedings of the Swedish AI Society Workshop 2009
  Linköping Electronic Conference Proceedings, 35, Linköping University Electronic Press, Linköpings universitet, 2009.


Conference Articles

Mikael Nilsson, Jonas Kvarnström and Patrick Doherty
  Incremental Dynamic Controllability in Cubic Worst-Case Time
  Proceedings of the 21th International Symposium on Temporal Representation and Reasoning (TIME), 2014.


Mikael Nilsson, Jonas Kvarnström and Patrick Doherty
  EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm
  Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS), 2014.


Mikael Nilsson, Jonas Kvarnström and Patrick Doherty
  Classical Dynamic Controllability Revisited: A Tighter Bound on the Classical Algorithm
  Proceedings of the 6<em>th International Conference on Agents and Artificial Intelligence (ICAART)</em>, 2014.


Patrick Doherty, Fredrik Heintz and Jonas Kvarnström
  Robotics, Temporal Logic and Stream Reasoning
  Proceedings of Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013, 2013.


Håkan Warnquist, Jonas Kvarnström and Patrick Doherty
  Exploiting Fully Observable and Deterministic Structures in Goal POMDPs
  Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS), 2013.


Mikael Nilsson, Jonas Kvarnström and Patrick Doherty
  Incremental Dynamic Controllability Revisited
  Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS), 2013.


Patrick Doherty, Jonas Kvarnström and Andrzej Szalas
  Temporal Composite Actions with Constraints
  Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2012.


Jonas Kvarnström
  Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining
  Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS), 2011.


Patrick Doherty, Jonas Kvarnström, Fredrik Heintz, David Landén and Per-Magnus Olsson
  Research with Collaborative Unmanned Aircraft Systems
  Proceedings of the Dagstuhl Workshop on Cognitive Robotics, 2010.


Mariusz Wzorek, Jonas Kvarnström and Patrick Doherty
  Choosing Path Replanning Strategies for Unmanned Aircraft Systems
  Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS), 2010.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Stream-Based Reasoning in DyKnow
  Proceedings of the Dagstuhl Workshop on Cognitive Robotics, 2010.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Stream-Based Middleware Support for Embedded Reasoning
  Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems (ER), 2010.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Stream-Based Reasoning Support for Autonomous Systems
  Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), 2010.


Jonas Kvarnström and Patrick Doherty
  Automated Planning for Collaborative UAV Systems
  Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), 2010.


 Web of Science® Times Cited: 1

Per-Magnus Olsson, Jonas Kvarnström, Patrick Doherty, Oleg Burdakov and Kaj Holmberg
  Generating UAV Communication Networks for Monitoring and Surveillance
  Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010), 2010.


 Web of Science® Times Cited: 2

Håkan Warnquist, Jonas Kvarnström and Patrick Doherty
  Iterative Bounding LAO*
  Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), 2010.


Jonas Kvarnström
  Planning for Loosely Coupled Agents using Partial Order Forward-Chaining
  The Swedish AI Society Workshop 2010, SAIS 2010, 2010.


Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström and Per-Magnus Olsson
  Positioning Unmanned Aerial Vehicles As Communication Relays for Surveillance Tasks
  Robotics: Science and Systems V, 2010.


Håkan Warnquist, Jonas Kvarnström and Patrick Doherty
  Planning as Heuristic Search for Incremental Fault Diagnosis and Repair
  Proceedings of the Scheduling and Planning Applications Workshop (SPARK) at the 19th International Conference on Automated Planning and Scheduling (ICAPS), 2009.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Stream Reasoning in DyKnow: A Knowledge Processing Middleware System
  Proceedings of the Stream Reasoning Workshop, 2009.


Martin Magnusson, Jonas Kvarnström and Patrick Doherty
  Abductive Reasoning with Filtered Circumscription
  Proceedings of the <em>IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC)</em>, 2009.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  A Stream-Based Hierarchical Anchoring Framework
  Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems (IROS), 2009.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing
  IROS Workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms, 2008.


Jonas Kvarnström, Fredrik Heintz and Patrick Doherty
  A Temporal Logic-Based Planning and Execution Monitoring System
  Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 2008.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Knowledge Processing Middleware
  Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), 2008.


  Fulltext PDF

Jonas Kvarnström
  Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner
  Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS), 2002.


Joakim Gustafsson and Jonas Kvarnström
  Elaboration Tolerance through Object-Orientation
  Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense), 2001.


Jonas Kvarnström, Patrick Doherty and Patrik Haslum
  Extending TALplanner with concurrency and resources
  Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), 2000.


Patrick Doherty and Jonas Kvarnström
  TALplanner: An empirical investigation of a temporal logic-based forward chaining planner
  6th International Workshop on Temporal Representation and Reasoning (TIME-99), 1999.


Patrick Doherty and Jonas Kvarnström
  Tackling the qualification problem using fluent dependency constraints
  Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98), 1998.


Ph.D. Theses

Jonas Kvarnström  TALplanner and other extensions to Temporal Action Logic
  2005.


Licentiate Theses

Håkan Warnquist
  Computer-Assisted Troubleshooting for Efficient Off-board Diagnosis
  2011.


  Fulltext PDF

Reports

Oleg Burdakov, Patrick Doherty and Jonas Kvarnström
  Optimal Scheduling for Replacing Perimeter Guarding Unmanned Aerial Vehicles
  LiTH-MAT-R, 2014:09, 2014.


  Fulltext PDF

Oleg Burdakov, Patrick Doherty and Jonas Kvarnström
  Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance
  LiTH-MAT-R, 2014:10, 2014.


  Fulltext PDF