Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8 10, 1999
User Rating: Be the first one!
Author: European Conference on Planning (5th : 1999 : Durham, England), Biundo, Susanne, Fox, Maria, 1962-
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Artificial intelligence, Planning
Publishers: New York : Springer
Collections: journals contributions, journals
ISBN Number: 3540678662
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 210.87 MB
PDF Size: 3.43 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 296
Views: 346
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 10720246 archive torren...torrent
Last Modified: 2023-05-26 03:11:03
Download
Size: 12.24 KB
Description
Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. Proceedings
Author: Susanne Biundo, Maria Fox
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67866-3
DOI: 10.1007/10720246
Table of Contents:
Includes bibliographical references and index
Author: Susanne Biundo, Maria Fox
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67866-3
DOI: 10.1007/10720246
Table of Contents:
- Planning as Model Checking
- 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 Satisfiability
- SAT-Based Procedures for Temporal Reasoning
- Numeric State Variables in Constraint-Based Planning
- Hierarchical Task Network Planning as Satisfiability
- 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
- Real-Time Scheduling for Multi-agent Call Center Automation
- Task Decomposition Support to Reactive Scheduling
- Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem
- Automata-Theoretic Approach to Planning for Temporally Extended Goals
- Integer Programs and Valid Inequalities for Planning Problems
- Deductive Synthesis of Recursive Plans in Linear Logic
Includes bibliographical references and index
You May Also Like
We will be happy to hear your thoughts