Answer set planning: a survey
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans,
that is, solutions to planning problems, that transform a given state of the world to another …
that is, solutions to planning problems, that transform a given state of the world to another …
Temporal planning with preferences and time-dependent continuous costs
Temporal planning methods usually focus on the objective of minimizing makespan.
Unfortunately, this misses a large class of planning problems where it is important to …
Unfortunately, this misses a large class of planning problems where it is important to …
Learning interpretable models expressed in linear temporal logic
A Camacho, SA McIlraith - Proceedings of the International Conference on …, 2019 - aaai.org
We examine the problem of learning models that characterize the high-level behavior of a
system based on observation traces. Our aim is to develop models that are human …
system based on observation traces. Our aim is to develop models that are human …
Finite LTL synthesis as planning
LTL synthesis is the task of generating a strategy that satisfies a Linear Temporal Logic
(LTL) specification interpreted over infinite traces. In this paper we examine the problem of …
(LTL) specification interpreted over infinite traces. In this paper we examine the problem of …
This time the robot settles for a cost: A quantitative approach to temporal logic planning with partial satisfaction
The specification of complex motion goals through temporal logics is increasingly favored in
robotics to narrow the gap between task and motion planning. A major limiting factor of such …
robotics to narrow the gap between task and motion planning. A major limiting factor of such …
A companion technology for cognitive technical systems
A Wendemuth, S Biundo - … School, Dresden, Germany, February 21-26 …, 2012 - Springer
Abstract The Transregional Collaborative Research Centre SFB/TRR 62” A Companion
Technology for Cognitive Technical Systems”, funded by the German Research Foundation …
Technology for Cognitive Technical Systems”, funded by the German Research Foundation …
Towards a unified view of AI planning and reactive synthesis
Automated planning and reactive synthesis are well-established techniques for sequential
decision making. In this paper we examine a collection of AI planning problems with …
decision making. In this paper we examine a collection of AI planning problems with …
A preference elicitation framework for automated planning
Many automated planning systems allow users to specify their preferences in order to
generate plans that are of high quality according to specified preferences. However …
generate plans that are of high quality according to specified preferences. However …
Collaborative planning with encoding of users' high-level strategies
The generation of near-optimal plans for multi-agent systems with numerical states and
temporal actions is computationally challenging. Current off-the-shelf planners can take a …
temporal actions is computationally challenging. Current off-the-shelf planners can take a …
[PDF][PDF] Polynomial-time reformulations of LTL temporally extended goals into final-state goals
J Torres, JA Baier - Twenty-Fourth International Joint Conference on …, 2015 - ijcai.org
Linear temporal logic (LTL) is an expressive language that allows specifying temporally
extended goals and preferences. A general approach to dealing with general LTL properties …
extended goals and preferences. A general approach to dealing with general LTL properties …