Contact
How to shop
Delivery
Shopping guide
Temporal Metric Planning in Continuous Time
Processes and Continuous Changes in a SAT-based Planning
English
140 b
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Paperback
16.99
€
/
Paperback
25.99
€
/
Paperback
26.39
€
The TM-LPSAT planner can construct plans in domains §containing atomic actions and durative actions; §events and processes; discrete, real-valued, and §interval-valued fluents; reusable resources,§both numeric and interval-valued; and continuous §linear change to quantities. It works in three tages.§In the first stage, a representation of the domain §and problem in an extended version of PDDL+ is§compiled into a system of Boolean combinations of §propositional atoms and linear constraints over§numeric variables. In the second stage, a SAT-based §arithmetic constraint solver, such as LPSAT or§MathSAT, is used to find a solution to the system of §constraints. In the third stage, a correct plan is§extracted from this solution. We discuss the §structure of the planner and show how planning with§time and metric quantities is compiled into a system §of constraints.
About the book
English
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
34.99
€
/
Paperback
13.19
€
/
Paperback
21.89
€
/
Paperback
25.69
€
/
Paperback
41.59
€
Hi! I'm Libroamiko, your book advisor.
How can I help you?