New Added

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

Book EBook English PDF Community Texts Opensource

avenarius_1

April 3, 2022

258 Views 0

SaveSavedRemoved 0

Like Score+251

FILE ID: 404360

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	2000
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