Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. - Patrick Doherty 001; Jonas Kvarnström (TIME, 1998)

TAL: Temporal Action Logics Language Specification and Tutorial. - Patrick Doherty 001; Joakim Gustafsson; Lars Karlsson; Jonas Kvarnström (Electron. Trans. Artif. Intell., 1998)

TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner. - Patrick Doherty 001; Jonas Kvarnström (TIME, 1999)

Extending TALplanner with Concurrency and Resources. - Jonas Kvarnström; Patrick Doherty 001; Patrik Haslum (ECAI, 2000)

TALplanner: A temporal logic based forward chaining planner. - Jonas Kvarnström; Patrick Doherty 001 (Ann. Math. Artif. Intell., 2000)

Tackling the Qualification Problem Using Fluent Dependency Constraints. - Jonas Kvarnström; Patrick Doherty 001 (Comput. Intell., 2000)

TALplanner: A Temporal Logic-Based Planner. - Patrick Doherty 001; Jonas Kvarnström (AI Mag., 2001)

Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner. - Jonas Kvarnström (AIPS, 2002)

TALplanner in the Third International Planning Competition: Extensions and Control Rules. - Jonas Kvarnström; Martin Magnusson 001 (J. Artif. Intell. Res., 2003)

Elaboration tolerance through object-orientation. - Joakim Gustafsson; Jonas Kvarnström (Artif. Intell., 2004)

A Temporal Logic-Based Planning and Execution Monitoring System. - Jonas Kvarnström; Fredrik Heintz; Patrick Doherty 001 (ICAPS, 2008)

Knowledge Processing Middleware. - Fredrik Heintz; Jonas Kvarnström; Patrick Doherty 001 (SIMPAR, 2008)

Temporal Action Logics. - Patrick Doherty 001; Jonas Kvarnström (Handbook of Knowledge Representation, 2008)

A stream-based hierarchical anchoring framework. - Fredrik Heintz; Jonas Kvarnström; Patrick Doherty 001 (IROS, 2009)

Positioning unmanned aerial vehicles as communication relays for surveillance tasks. - Oleg Burdakov; Patrick Doherty 001; Kaj Holmberg; Jonas Kvarnström; Per-Magnus Olsson (Robotics: Science and Systems, 2009)

A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems. - Patrick Doherty 001; Jonas Kvarnström; Fredrik Heintz (Auton. Agents Multi Agent Syst., 2009)

Stream-Based Middleware Support for Embedded Reasoning. - Fredrik Heintz; Jonas Kvarnström; Patrick Doherty 001 (AAAI Spring Symposium: Embedded Reasoning, 2010)

Choosing Path Replanning Strategies for Unmanned Aircraft Systems. - Mariusz Wzorek; Jonas Kvarnström; Patrick Doherty 001 (ICAPS, 2010)

Research with Collaborative Unmanned Aircraft Systems. - Patrick Doherty 001; Jonas Kvarnström; Fredrik Heintz; David Landén; Per-Magnus Olsson (Cognitive Robotics, 2010)

Stream-Based Reasoning in DyKnow. - Fredrik Heintz; Jonas Kvarnström; Patrick Doherty 001 (Cognitive Robotics, 2010)

Stream-Based Reasoning Support for Autonomous Systems. - Fredrik Heintz; Jonas Kvarnström; Patrick Doherty 001 (ECAI, 2010)

Iterative Bounding LAO. - Håkan Warnquist; Jonas Kvarnström; Patrick Doherty 001 (ECAI, 2010)

Automated planning for collaborative UAV systems. - Jonas Kvarnström; Patrick Doherty 001 (ICARCV, 2010)

Generating UAV communication networks for monitoring and surveillance. - Per-Magnus Olsson; Jonas Kvarnström; Patrick Doherty 001; Oleg Burdakov; Kaj Holmberg (ICARCV, 2010)

Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. - Fredrik Heintz; Jonas Kvarnström; Patrick Doherty 001 (Adv. Eng. Informatics, 2010)

Relay Positioning for Unmanned Aerial Vehicle Surveillance. - Oleg Burdakov; Patrick Doherty 001; Kaj Holmberg; Jonas Kvarnström; Per-Magnus Olsson (Int. J. Robotics Res., 2010)

Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining. - Jonas Kvarnström (ICAPS, 2011)

TALplanner in IPC-2002: Extensions and Control Rules - Jonas Kvarnström; Martin Magnusson 001 (CoRR, 2011)

Temporal Composite Actions with Constraints. - Patrick Doherty 001; Jonas Kvarnström; Andrzej Szalas (KR, 2012)

Incremental Dynamic Controllability Revisited. - Mikael Nilsson; Jonas Kvarnström; Patrick Doherty 001 (ICAPS, 2013)

Exploiting Fully Observable and Deterministic Structures in Goal POMDPs. - Håkan Warnquist; Jonas Kvarnström; Patrick Doherty 001 (ICAPS, 2013)

Robotics, Temporal Logic and Stream Reasoning. - Patrick Doherty 001; Fredrik Heintz; Jonas Kvarnström (LPAR (short papers), 2013)

Stream-Based Hierarchical Anchoring. - Fredrik Heintz; Jonas Kvarnström; Patrick Doherty 001 (Künstliche Intell., 2013)

EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm. - Mikael Nilsson; Jonas Kvarnström; Patrick Doherty 001 (ICAPS, 2014)

A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems. - Martin Danelljan; Fahad Shahbaz Khan; Michael Felsberg; Karl Granström; Fredrik Heintz; Piotr Rudol; Mariusz Wzorek; Jonas Kvarnström; Patrick Doherty 001 (ECCV Workshops (1), 2014)

Classical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm. - Mikael Nilsson; Jonas Kvarnström; Patrick Doherty 001 (ICAART (1), 2014)

Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis. - Mikael Nilsson; Jonas Kvarnström; Patrick Doherty 001 (ICAART (Revised Selected Papers), 2014)

Incremental Dynamic Controllability in Cubic Worst-Case Time. - Mikael Nilsson; Jonas Kvarnström; Patrick Doherty 001 (TIME, 2014)

Local Search for Hop-Constrained Directed Steiner Tree Problem with Application to UAV-Based Multi-Target Surveillance. - Oleg Burdakov; Patrick Doherty 001; Jonas Kvarnström (Examining Robustness and Vulnerability of Networked Systems, 2014)

Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). - Patrick Doherty 001; Jonas Kvarnström; Andrzej Szalas (JELIA, 2016)

A Collaborative Framework for 3D Mapping Using Unmanned Aerial Vehicles. - Patrick Doherty 001; Jonas Kvarnström; Piotr Rudol; Mariusz Wzorek; Gianpaolo Conte; Cyrille Berger; Timo Hinzmann; Thomas Stastny (PRIMA, 2016)

Area coverage with heterogeneous UAVs using scan patterns. - Cyrille Berger; Mariusz Wzorek; Jonas Kvarnström; Gianpaolo Conte; Patrick Doherty 001; Alexander Eriksson (SSRR, 2016)

A Modeling Framework for Troubleshooting Automotive Systems. - Håkan Warnquist; Jonas Kvarnström; Patrick Doherty 001 (Appl. Artif. Intell., 2016)

Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification. - Mikael Nilsson; Jonas Kvarnström; Patrick Doherty 001 (Acta Informatica, 2016)

Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles. - Oleg Burdakov; Jonas Kvarnström; Patrick Doherty 001 (Ann. Oper. Res., 2017)

Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters. - Mikael Nilsson; Jonas Kvarnström; Patrick Doherty 001 (ICAPS, 2018)