04687nam 22007695 450 99646615970331620200702151841.03-540-44657-510.1007/10720246(CKB)1000000000548884(SSID)ssj0000326126(PQKBManifestationID)11255376(PQKBTitleCode)TC0000326126(PQKBWorkID)10284067(PQKB)10497448(DE-He213)978-3-540-44657-6(MiAaPQ)EBC3088357(PPN)155220853(EXLCZ)99100000000054888420121227d2000 u| 0engurnn|008mamaatxtccrRecent Advances in AI Planning[electronic resource] 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings /edited by Susanne Biundo, Maria Fox1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (VIII, 380 p.) Lecture Notes in Artificial Intelligence ;1809Bibliographic Level Mode of Issuance: Monograph3-540-67866-2 Includes bibliographical references.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 -- 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.Lecture Notes in Artificial Intelligence ;1809Artificial intelligenceComputer programmingComputersAlgorithmsNumerical analysisComputer science—MathematicsArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Numeric Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I1701XDiscrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Artificial intelligence.Computer programming.Computers.Algorithms.Numerical analysis.Computer science—Mathematics.Artificial Intelligence.Programming Techniques.Theory of Computation.Algorithm Analysis and Problem Complexity.Numeric Computing.Discrete Mathematics in Computer Science.006.3/33Biundo Susanneedthttp://id.loc.gov/vocabulary/relators/edtFox Mariaedthttp://id.loc.gov/vocabulary/relators/edtEuropean Conference on PlanningBOOK996466159703316Recent Advances in AI Planning2120431UNISA