1 option
Recent Advances in AI Planning : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / edited by Susanne Biundo, Maria Fox.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 1809.
- Lecture Notes in Artificial Intelligence ; 1809
- Language:
- English
- Subjects (All):
- Artificial intelligence.
- Computer programming.
- Computers.
- Algorithms.
- Numerical analysis.
- Computer science--Mathematics.
- Computer science.
- Artificial Intelligence.
- Programming Techniques.
- Theory of Computation.
- Algorithm Analysis and Problem Complexity.
- Numeric Computing.
- Discrete Mathematics in Computer Science.
- Local Subjects:
- Artificial Intelligence.
- Programming Techniques.
- Theory of Computation.
- Algorithm Analysis and Problem Complexity.
- Numeric Computing.
- Discrete Mathematics in Computer Science.
- Physical Description:
- 1 online resource (VIII, 380 pages).
- Edition:
- First edition 2000.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
- System Details:
- text file PDF
- 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 and 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
- Sensor Planning with Non-linear Utility Functions
- Propice-Plan: Toward a Unified Framework for Planning and Execution
- What is the Expressive Power of Disjunctive Preconditions?
- Some Results on the Complexity of Planning with Incomplete Information
- Probabilistic Planning in the Graphplan Framework
- Making Graphplan Goal-Directed
- GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables
- Planning as Heuristic Search: New Results.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-44657-6
- 9783540446576
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.