Jonas Kvarnström

Publication Activity (10 Years)

Years Active: 1998-2018
Publications (10 Years): 7

Top Topics

Fully Observable

Unmanned Aerial Vehicles

Simple Temporal

Extended Abstract

Top Venues

ICAART (Revised Selected Papers)

Publications

Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters. ICAPS (2018)
Oleg Burdakov, Jonas Kvarnström, Patrick Doherty
Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles. Ann. Oper. Res. 249 (1-2) (2017)
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification. Acta Informatica 53 (6-8) (2016)
Patrick Doherty, Jonas Kvarnström, Piotr Rudol, Mariusz Wzorek, Gianpaolo Conte, Cyrille Berger, Timo Hinzmann, Thomas Stastny
A Collaborative Framework for 3D Mapping Using Unmanned Aerial Vehicles. PRIMA (2016)
Cyrille Berger, Mariusz Wzorek, Jonas Kvarnström, Gianpaolo Conte, Patrick Doherty, Alexander Eriksson
Area coverage with heterogeneous UAVs using scan patterns. SSRR (2016)
Håkan Warnquist, Jonas Kvarnström, Patrick Doherty
A Modeling Framework for Troubleshooting Automotive Systems. Appl. Artif. Intell. 30 (3) (2016)
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). JELIA (2016)
Martin Danelljan, Fahad Shahbaz Khan, Michael Felsberg, Karl Granström, Fredrik Heintz, Piotr Rudol, Mariusz Wzorek, Jonas Kvarnström, Patrick Doherty
A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems. ECCV Workshops (1) (2014)
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm. ICAPS (2014)
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis. ICAART (Revised Selected Papers) (2014)
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
Incremental Dynamic Controllability in Cubic Worst-Case Time. TIME (2014)
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
Classical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm. ICAART (1) (2014)
Patrick Doherty, Fredrik Heintz, Jonas Kvarnström
Robotics, Temporal Logic and Stream Reasoning. LPAR (short papers) (2013)
Håkan Warnquist, Jonas Kvarnström, Patrick Doherty
Exploiting Fully Observable and Deterministic Structures in Goal POMDPs. ICAPS (2013)
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
Incremental Dynamic Controllability Revisited. ICAPS (2013)
Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
Stream-Based Hierarchical Anchoring. Künstliche Intell. 27 (2) (2013)
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas
Temporal Composite Actions with Constraints. KR (2012)
Jonas Kvarnström
Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining. ICAPS (2011)
Jonas Kvarnström, Martin Magnusson
TALplanner in IPC-2002: Extensions and Control Rules CoRR (2011)
Per-Magnus Olsson, Jonas Kvarnström, Patrick Doherty, Oleg Burdakov, Kaj Holmberg
Generating UAV communication networks for monitoring and surveillance. ICARCV (2010)
Mariusz Wzorek, Jonas Kvarnström, Patrick Doherty
Choosing Path Replanning Strategies for Unmanned Aircraft Systems. ICAPS (2010)
Jonas Kvarnström, Patrick Doherty
Automated planning for collaborative UAV systems. ICARCV (2010)
Håkan Warnquist, Jonas Kvarnström, Patrick Doherty
Iterative Bounding LAO. ECAI (2010)
Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. Adv. Eng. Informatics 24 (1) (2010)
Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
Stream-Based Middleware Support for Embedded Reasoning. AAAI Spring Symposium: Embedded Reasoning (2010)
Patrick Doherty, Jonas Kvarnström, Fredrik Heintz, David Landén, Per-Magnus Olsson
Research with Collaborative Unmanned Aircraft Systems. Cognitive Robotics (2010)
Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
Stream-Based Reasoning Support for Autonomous Systems. ECAI (2010)
Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström, Per-Magnus Olsson
Relay Positioning for Unmanned Aerial Vehicle Surveillance. Int. J. Robotics Res. 29 (8) (2010)
Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
Stream-Based Reasoning in DyKnow. Cognitive Robotics (2010)
Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
A stream-based hierarchical anchoring framework. IROS (2009)
Patrick Doherty, Jonas Kvarnström, Fredrik Heintz
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems. Auton. Agents Multi Agent Syst. 19 (3) (2009)
Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström, Per-Magnus Olsson
Positioning unmanned aerial vehicles as communication relays for surveillance tasks. Robotics: Science and Systems (2009)
Jonas Kvarnström, Fredrik Heintz, Patrick Doherty
A Temporal Logic-Based Planning and Execution Monitoring System. ICAPS (2008)
Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
Knowledge Processing Middleware. SIMPAR (2008)
Joakim Gustafsson, Jonas Kvarnström
Elaboration tolerance through object-orientation. Artif. Intell. 153 (1-2) (2004)
Jonas Kvarnström, Martin Magnusson
TALplanner in the Third International Planning Competition: Extensions and Control Rules. J. Artif. Intell. Res. 20 (2003)
Jonas Kvarnström
Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner. AIPS (2002)
Patrick Doherty, Jonas Kvarnström
TALplanner: A Temporal Logic-Based Planner. AI Mag. 22 (3) (2001)
Jonas Kvarnström, Patrick Doherty
TALplanner: A temporal logic based forward chaining planner. Ann. Math. Artif. Intell. 30 (1-4) (2000)
Jonas Kvarnström, Patrick Doherty
Tackling the Qualification Problem Using Fluent Dependency Constraints. Comput. Intell. 16 (2) (2000)
Jonas Kvarnström, Patrick Doherty, Patrik Haslum
Extending TALplanner with Concurrency and Resources. ECAI (2000)
Patrick Doherty, Jonas Kvarnström
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner. TIME (1999)
Patrick Doherty, Joakim Gustafsson, Lars Karlsson, Jonas Kvarnström
TAL: Temporal Action Logics Language Specification and Tutorial. Electron. Trans. Artif. Intell. 2 (1998)
Patrick Doherty, Jonas Kvarnström
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. TIME (1998)