Jonas Kvarnström
Orcid: 0000-0002-5500-8494
According to our database1,
Jonas Kvarnström
authored at least 46 papers
between 1998 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
2017
Ann. Oper. Res., 2017
2016
Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification.
Acta Informatica, 2016
Appl. Artif. Intell., 2016
Proceedings of the 2016 IEEE International Symposium on Safety, 2016
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
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014
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
Proceedings of the Computer Vision - ECCV 2014 Workshops, 2014
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014
2013
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013
2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
2011
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011
2010
Int. J. Robotics Res., 2010
Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing.
Adv. Eng. Informatics, 2010
Proceedings of the 11th International Conference on Control, 2010
Proceedings of the 11th International Conference on Control, 2010
Proceedings of the ECAI 2010, 2010
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
Proceedings of the Embedded Reasoning, 2010
2009
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems.
Auton. Agents Multi Agent Syst., 2009
Proceedings of the Robotics: Science and Systems V, University of Washington, Seattle, USA, June 28, 2009
Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009
2008
Proceedings of the Handbook of Knowledge Representation, 2008
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008
2004
2003
TALplanner in the Third International Planning Competition: Extensions and Control Rules.
J. Artif. Intell. Res., 2003
2002
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002
2001
2000
Comput. Intell., 2000
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
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