M. Ghallab, D. Nau, and P. Traverso. The Morgan Kaufmann Series in Artificial Intelligence Morgan Kaufmann, Amsterdam, (2004)
Abstract
Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications. Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking.
%0 Book
%1 GhallabNauTraverso04
%A Ghallab, Malik
%A Nau, Dana
%A Traverso, Paolo
%B The Morgan Kaufmann Series in Artificial Intelligence
%C Amsterdam
%D 2004
%I Morgan Kaufmann
%K 01801 105 book shelf elsevier ai plan knowledge processing temporal
%T Automated Planning: Theory and Practice
%U http://www.sciencedirect.com/science/book/9781558608566
%X Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications. Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking.
%@ 978-1-55860-856-6
@book{GhallabNauTraverso04,
abstract = {Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications. Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking.},
added-at = {2017-10-14T20:24:20.000+0200},
address = {Amsterdam},
author = {Ghallab, Malik and Nau, Dana and Traverso, Paolo},
biburl = {https://www.bibsonomy.org/bibtex/282d939e940c148c781f00acfc2a3d062/flint63},
file = {ScienceDirect:2000-04/GhallabNauTraverso04.pdf:PDF;Amazon Search inside:http\://www.amazon.de/gp/reader/1558608567/:URL},
groups = {public},
interhash = {3d4fc1ca9626966df8dfff4e2ba3ecc7},
intrahash = {82d939e940c148c781f00acfc2a3d062},
isbn = {978-1-55860-856-6},
keywords = {01801 105 book shelf elsevier ai plan knowledge processing temporal},
publisher = {Morgan Kaufmann},
series = {The Morgan Kaufmann Series in Artificial Intelligence},
timestamp = {2018-04-16T12:15:22.000+0200},
title = {Automated Planning: Theory and Practice},
url = {http://www.sciencedirect.com/science/book/9781558608566},
username = {flint63},
year = 2004
}