Recent Advances in AI Planning: 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings (Google eBook)
Susanne Biundo, Maria Fox
Springer, Jul 26, 2000 - Computers - 372 pages
This book constitutes the thoroughly refereed post-proceedings of the 5th European Conference on Planning, ECP'99, held in Durham, UK, in September 1999.
The 27 revised full papers presented together with one invited survey were carefully reviewed and selected for inclusion in the book. They address all current aspects of AI planning and scheduling. Several prominent planning paradigms are represented, including planning as satisfiability and other model checking strategies, planning as heuristic state-space search, and Graph-plan-based approaches. Moreover, various new scheduling approaches and combinations of planning and scheduling methods are introduced.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Conformant Planning via Model Checking
Strong Cyclic Planning Revisited
Scaleability in Planning
Exploiting Competitive Planner Performance
A Parallel Algorithm for POMDP Solution
Plan Merging Plan Reuse as Satisﬁability
SATBased Procedures for Temporal Reasoning
Task Decomposition Support to Reactive Scheduling
Greedy Algorithms for the Multicapacitated Metric Scheduling Problem
AutomataTheoretic Approach to Planning for Temporally Extended Goals
Integer Programs and Valid Inequalities for Planning Problems
Deductive Synthesis of Recursive Plans in Linear Logic
with Nonlinear Utility Functions
Toward a Uniﬁed Framework for Planning and Execution
What Is the Expressive Power of Disjunctive Preconditions?
Numeric State Variables in ConstraintBased Planning
Hierarchical Task Network Planning as Satisﬁability
Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length
Action Constraints for Planning
Least Commitment on Variable Binding in Presence of Incomplete Knowledge
Scaling Up Planning by Teasing Out Resource Scheduling
RealTime Scheduling for Multiagent Call Center Automation
Other editions - View all
Recent Advances in AI Planning: 5th European Conference on ..., Volume 1809
No preview available - 2000
achieve action constraints action sequence agent application approach Artificial Intelligence Biundo Blackbox blocks world boolean Büchi automata causal encodings clauses computation conditional Conference on Artificial conformant planning corresponding CPLEX defined denotes disjunctive effects example execution facts Figure finite formalism formula function goal Graphplan heuristic hspr HTN encodings implemented initial instance iteration Kambhampati Kautz Kripke Structure linear logic Loaded Locked Markov decision process merging Model Checking mutex NextStates node nondeterministic operators optimal package pairs parcPLAN partial order performance plan-execution costs planner planning algorithm planning domain planning graph planning problem POMDP possible preconditions predicates problem type Proc propositional propositional logic PSPACE recursive reduction schemas regression represent representation resource reuse robots satisfiability scheduling solution solve specification state-action table step strong cyclic plans task task models techniques temporal constraints UCPOP variables vector