From: AIPS 2000 Proceedings. Copyright © 2000, AAAI (www.aaai.org). All rights reserved. Index Admissible Heuristics for Optimal Planning, 140 Ambite, José, 3 Applying Inductive Program Synthesis to Macro Learning, 371 Approximate Solutions to Factored Markov Decision Processes via GreedA Search in the Space of Finite State Controllers, 323 Automatic Synthesis and Use of Generic Types in Planning, 196 Babaian, Tamara, 292 Baioletti, Marco, 13 Balch, Tucker, 387 Balestreri, G., 347 Beck, J. Christopher, 22 Becker, Marcel A., 32 Beetz, Michael, 42 Bonet, Blai, 52 Bruce, James, 387 Do, Minh Binh, 308 DPPlan: An Algorithm for Fast Solutions Extraction from a Planning Graph, 13 Dynamic Programming for POMDPs Using a Factored State Representation, 130 Elevator Control as a Planning Problem, 331 Engelhardt, Barbara, 236 Exploiting State Constraints in Heuristic State-Space Planning, 363 Fast Plan Adaptation through Planning Graphs: Local and Systematic Search Techniques, 112 Feather, Martin S., 254 Feng, Zhengzhu, 130 Focacci, F., 92 Fox, Maria, 102 Fox, Maria, 196 Freuder, Eugene C., 283 Cayrol, Michel, 273 Challenges and Methods in Testing the Remote Agent Planner, 254 Chang, Hyeong Soo, 62 Chien, Steve, 236 Chien, Steve, 300 Chien, Steve, 339 Chong, Edwin K. P., 62 Cohen, Paul R., 246 Complexity of Model Aggregation, The, 122 Computing Global Strategies for Multi-Market Commodity Trading, 159 Computing Valid Intervals for Collections of Activities with Shared States and Resources, 339 Geffner, Héctor, 52 Geffner, Héctor, 140 Gerevini, Alfonso, 112 Givan, Robert, 62 Goldsmith, Judy, 122 Grosskreutz, Henrik, 42 Dalton, Jeff, 379 Dean, Thomas L., 323 Dechter, Rina, 72 Dispatchable Execution of Schedules Involving Consumable Resources, 283 Distance-Based Goal-Ordering Heuristics for Graphplan, 315 Do, Minh Binh, 82 Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning, 308 Hansen, Eric A., 130 Haslum, Patrik, 140 Haslum, Patrik, 150 Hauskrecht, Milos, 159 Heuristics for Constraint-Directed Scheduling with Inventory, 22 Horty, John F., 264 Jarvis, Peter, 379 Jensen, Rune M., 167 Jonsson, Peter, 150 From: AIPS 2000 Proceedings. Copyright © 2000, AAAI (www.aaai.org). All rights reserved. Jónsson, Ari K., 177 Kambhampati, Subbarao, 82 Kambhampati, Subbarao, 308 Kambhampati, Subbarao, 315 Kim, Kee-Eung, 323 Knight, Russell, 300 Knight, Russell, 339 Knoblock, Craig A., 3 Koehler, Jana, 331 Koenig, Sven, 187 Laborie, P., 92 Learning Plan Rewriting Rules, 3 Learning Planning Operators in Real-World, Partially Observable Environments, 246 Lenser, Scott, 387 Levine, John, 379 Limongelli, C., 347 Liu, Yaxin, 187 Long, Derek, 102 Long, Derek, 196 Lotem, Amnon, 206 Marcugini, Stefano, 13 Mayer, M. Cialdea, 347 McCluskey, T. L., 216 Memon, Atif M., 226 Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches, 264 Meuleau, Nicolas, 323 Milani, Alfredo, 13 Minton, Steven, 3 Mixed-Initiative Resource Management: The AMC Barrel Allocator, 32 Morris, Paul H., 177 Muscettola, Nicola, 177 Muscettola, Nicola, 254 Myers, Karen L., 355 Nau, Dana S., 206 New Advances in GraphHTN: Identifying Independent Subproblems in Large HTN Domains, 206 New Perspective on Algorithms for Optimizing Policies under Uncertainty, A, 72 New Results about LCGP, a Least Committed GraphPlan, 273 Nigenda, Romeo Sanchez, 315 Nuijten, W., 92 Oates, Tim, 246 OBDD-Based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains, 167 Object Transition Sequences: A New Form of Abstraction for HTN Planners, 216 On-line Scheduling via Sampling, 62 Orlandini, A., 347 Ortiz, Luis, 159 Plan Generation for GUI Testing, 226 Planning Fully Based on Linear Time Logic, A, 347 Planning in Interplanetary Space: Theory and Practice, 177 Planning with Conflicting Advice, 355 Planning with Incomplete Information as Heuristic Search in Belief Space, 52 Planning with Reduced Operator Sets, 150 Pollack, Martha E., 226 Pollack, Martha E., 264 Probabilistic Hybrid Action Models for Predicting Concurrent Percept-Driven Robot Behavior, 42 PSIPLAN: Open World Planning with ψ-forms, 292 Rabideau, Gregg, 236 Rabideau, Gregg, 300 Rabideau, Gregg, 339 Rajan, Kanna, 177 Refanidis, Ioannis, 363 Régnier, Pierre, 273 Representations of Decision-Theoretic Planning Tasks, 187 Schmid, Ute, 371 Schmill, Matthew D., 246 Schmolze, James G., 292 Schuster, Kilian, 331 Serina, Ivan, 112 Sherwood, Rob, 300 Sloan, Robert H., 122 Smith, Stephen F., 32 Smith, Ben, 177 Smith, Ben, 254 From: AIPS 2000 Proceedings. Copyright © 2000, AAAI (www.aaai.org). All rights reserved. Soffa, Mary Lou, 226 Solving Planning-Graph by Compiling It into CSP, 82 Solving Scheduling Problems with Setup Times and Alternative Resources, 92 Srivastava, Biplav, 308 Stechert, Andre, 300 Tate, Austin, 379 Tsamardinos, Ioannis, 264 Tsochantaridis, Ioannis, 159 Unified Dynamic Approach for Dealing with Temporal Uncertainty and Conditional Planning, A, 395 Upfal, Eli, 159 Using AI Planning Technology for Army Small Unit Operations, 379 Using Generic Preferences to Incrementally Improve Plan Quality, 236 Using Iterative Repair to Improve the Responsiveness of Planning and Scheduling, 300 Utilizing Automatically Inferred Invariants in Graph Construction and Search, 102 Veloso, Manuela M., 167 Veloso, Manuela, 387 Vidal, Vincent, 273 Vidal, Thierry, 395 Vision-Servoed Localization and Behavior-Based Planning for an Autonomous Quadruped Legged Robot, 387 Vlahavas, Ioannis, 363 Wallace, Richard J., 283 Winner, Elly, 387 Wysotzki, Fritz, 371