Jonas Kvarnström

According to our database1, Jonas Kvarnström
  • authored at least 45 papers between 1998 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles.
Annals OR, 2017

2016
Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification.
Acta Inf., 2016

A Modeling Framework for Troubleshooting Automotive Systems.
Applied Artificial Intelligence, 2016

Area coverage with heterogeneous UAVs using scan patterns.
Proceedings of the 2016 IEEE International Symposium on Safety, 2016

A Collaborative Framework for 3D Mapping Using Unmanned Aerial Vehicles.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract).
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2014
Local Search for Hop-Constrained Directed Steiner Tree Problem with Application to UAV-Based Multi-Target Surveillance.
Proceedings of the Examining Robustness and Vulnerability of Networked Systems, 2014

Incremental Dynamic Controllability in Cubic Worst-Case Time.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis.
Proceedings of the Agents and Artificial Intelligence - 6th International Conference, 2014

Classical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm.
Proceedings of the ICAART 2014, 2014

A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems.
Proceedings of the Computer Vision - ECCV 2014 Workshops, 2014

EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013
Stream-Based Hierarchical Anchoring.
KI, 2013

Robotics, Temporal Logic and Stream Reasoning.
Proceedings of the LPAR 2013, 2013

Exploiting Fully Observable and Deterministic Structures in Goal POMDPs.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Incremental Dynamic Controllability Revisited.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012
Temporal Composite Actions with Constraints.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011
TALplanner in IPC-2002: Extensions and Control Rules
CoRR, 2011

Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining.
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

2010
Relay Positioning for Unmanned Aerial Vehicle Surveillance.
I. J. Robotics Res., 2010

Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing.
Advanced Engineering Informatics, 2010

Generating UAV communication networks for monitoring and surveillance.
Proceedings of the 11th International Conference on Control, 2010

Automated planning for collaborative UAV systems.
Proceedings of the 11th International Conference on Control, 2010

Iterative Bounding LAO.
Proceedings of the ECAI 2010, 2010

Stream-Based Reasoning Support for Autonomous Systems.
Proceedings of the ECAI 2010, 2010

Stream-Based Reasoning in DyKnow.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

Research with Collaborative Unmanned Aircraft Systems.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

Choosing Path Replanning Strategies for Unmanned Aircraft Systems.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

Stream-Based Middleware Support for Embedded Reasoning.
Proceedings of the Embedded Reasoning, 2010

2009
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems.
Autonomous Agents and Multi-Agent Systems, 2009

Positioning unmanned aerial vehicles as communication relays for surveillance tasks.
Proceedings of the Robotics: Science and Systems V, University of Washington, Seattle, USA, June 28, 2009

A stream-based hierarchical anchoring framework.
Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009

2008
Temporal Action Logics.
Proceedings of the Handbook of Knowledge Representation, 2008

Knowledge Processing Middleware.
Proceedings of the Simulation, 2008

A Temporal Logic-Based Planning and Execution Monitoring System.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2004
Elaboration tolerance through object-orientation.
Artif. Intell., 2004

2003
TALplanner in the Third International Planning Competition: Extensions and Control Rules.
J. Artif. Intell. Res., 2003

2002
Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001
TALplanner: A Temporal Logic-Based Planner.
AI Magazine, 2001

2000
Tackling the Qualification Problem Using Fluent Dependency Constraints.
Computational Intelligence, 2000

TALplanner: A temporal logic based forward chaining planner.
Ann. Math. Artif. Intell., 2000

Extending TALplanner with Concurrency and Resources.
Proceedings of the ECAI 2000, 2000

1999
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.
Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999

1998
TAL: Temporal Action Logics Language Specification and Tutorial.
Electron. Trans. Artif. Intell., 1998

Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report.
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998


  Loading...