New Added

Recent advances in AI planning : 5th European Conference on Planning, ECP&#039,99, Durham, UK, September 8-10, 1999 : proceedings

Like Score+251

Recent advances in AI planning : 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999 : proceedings
Original Title Recent advances in AI planning : 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999 : proceedings
Author European Conference on Planning (5th : 1999 : Durham, England), Biundo, Susanne, Fox, Maria, 1962-
Publication date

Topics Artificial intelligence, Planning
Publisher New York : Springer
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date
Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. ProceedingsAuthor: Susanne Biundo, Maria Fox Published by Springer Berlin Heidelberg ISBN: 978-3-540-67866-3 DOI: 10.1007/10720246Table 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 &amp, 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 LogicIncludes bibliographical references and index
We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0