Recent Advances in AI Planning
Contributors: Susanne Biundo (Editor); Maria Fox (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 6, 2000
Language: eng
Format: Paperback
Number of pages: 372
ISBN-13: 9783540678663
Subjects: Algorithms & procedures; Artificial Intelligence; Mathematical theory of computation; General; Computers; Medical / Nursing; Science/Mathematics; Artificial Intelligence - General; Expert Systems; AI Planning; Computers / Artificial Intelligence; Constraint-Based Planning; Intelligent Planning; Load Balancing; Model Checking; Plan Execution; Plan Generation; Plan Reuse; Congresses; Planning
First sentence: The key idea underlying the Planning as Model Checking paradigm is that planning problems should be solved model-theoretically.