Jonas Kvarnström

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles.

[BibT_eX]

[DOI]

Oleg Burdakov

Ann. Oper. Res., 2017

2016

Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification.

[BibT_eX]

[DOI]

Acta Informatica, 2016

A Modeling Framework for Troubleshooting Automotive Systems.

[BibT_eX]

[DOI]

Håkan Warnquist

Appl. Artif. Intell., 2016

Area coverage with heterogeneous UAVs using scan patterns.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on Safety, 2016

A Collaborative Framework for 3D Mapping Using Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Andrzej Szalas

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.

[BibT_eX]

[DOI]

Oleg Burdakov

Proceedings of the Examining Robustness and Vulnerability of Networked Systems, 2014

Incremental Dynamic Controllability in Cubic Worst-Case Time.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 6th International Conference, 2014

Classical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm.

[BibT_eX]

[DOI]

Proceedings of the ICAART 2014, 2014

A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2014 Workshops, 2014

EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Stream-Based Hierarchical Anchoring.

[BibT_eX]

[DOI]

Künstliche Intell., 2013

Robotics, Temporal Logic and Stream Reasoning.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2013, 2013

Exploiting Fully Observable and Deterministic Structures in Goal POMDPs.

[BibT_eX]

[DOI]

Håkan Warnquist

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Incremental Dynamic Controllability Revisited.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

Temporal Composite Actions with Constraints.

[BibT_eX]

[DOI]

Andrzej Szalas

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

[BibT_eX]

[DOI]

Martin Magnusson

CoRR, 2011

Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

2010

Relay Positioning for Unmanned Aerial Vehicle Surveillance.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2010

Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing.

[BibT_eX]

[DOI]

Adv. Eng. Informatics, 2010

Generating UAV communication networks for monitoring and surveillance.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Control, 2010

Automated planning for collaborative UAV systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Control, 2010

Iterative Bounding LAO.

[BibT_eX]

[DOI]

Håkan Warnquist

Proceedings of the ECAI 2010, 2010

Stream-Based Reasoning Support for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Stream-Based Reasoning in DyKnow.

[BibT_eX]

[DOI]

Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

Research with Collaborative Unmanned Aircraft Systems.

[BibT_eX]

[DOI]

Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

Choosing Path Replanning Strategies for Unmanned Aircraft Systems.

[BibT_eX]

[DOI]

Mariusz Wzorek

Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

Stream-Based Middleware Support for Embedded Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Embedded Reasoning, 2010

2009

A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2009

Positioning unmanned aerial vehicles as communication relays for surveillance tasks.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems V, University of Washington, Seattle, USA, June 28, 2009

A stream-based hierarchical anchoring framework.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009

2008

Temporal Action Logics.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Knowledge Representation, 2008

Knowledge Processing Middleware.

[BibT_eX]

[DOI]

Proceedings of the Simulation, 2008

A Temporal Logic-Based Planning and Execution Monitoring System.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2004

Elaboration tolerance through object-orientation.

[BibT_eX]

[DOI]

Joakim Gustafsson

Artif. Intell., 2004

2003

TALplanner in the Third International Planning Competition: Extensions and Control Rules.

[BibT_eX]

[DOI]

Martin Magnusson

J. Artif. Intell. Res., 2003

2002

Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001

TALplanner: A Temporal Logic-Based Planner.

[BibT_eX]

[DOI]

AI Mag., 2001

2000

Tackling the Qualification Problem Using Fluent Dependency Constraints.

[BibT_eX]

[DOI]

Comput. Intell., 2000

TALplanner: A temporal logic based forward chaining planner.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2000

Extending TALplanner with Concurrency and Resources.

[BibT_eX]

Patrik Haslum

Proceedings of the ECAI 2000, 2000

1999

TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999

1998

TAL: Temporal Action Logics Language Specification and Tutorial.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1998

Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report.

[BibT_eX]

[DOI]