[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Planning related papers at IJCAI 2001




Here is the list of planning related papers accepted for IJCAI 2001.

FYI
Rao

5 Andrei Krokhin, Peter Jeavons, Peter Jonsson A complete classification of complexity in Allen`s algebra in the presence of a non-trivial basic relation 


53 Ronen Brafman A Simplifier for Propositional Formulas with Many Binary Clauses 

94 Jsrg Hoffmann Local Search Topology in Planning Benchmarks: An Empirical Analysis 


207 Lina Khatib, Paul Morris, Robert Morris, Francesca Rossi Temporal Constraint Reasoning With Preferences 

212 Brian C. Williams, Seung Chung, Vineet Gupta Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior 

222 Jussi Rintanen Complexity of Probabilistic Planning under Average Rewards 


275 Maria Fox, Derek Long Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub-problems in Planning 

323 XuanLong Nguyen, Subbarao Kambhampati Reviving Partial Order Planning 

358 Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri Heuristic Search Symbolic Model Checking = Efficient Conformant Planning 

389 Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella Backjumping for Quantified Boolean Logic Satisfiability 


408 Silvia Coradeschi, Alessandro Saffiotti Perceptual Anchoring of Symbols for Action 

508 Chitta Baral, Vladik Kreinovich, Raul Trejo Computational Complexity of Planning with Temporal Goals 

520 Dana Nau, Hector Munoz-Avila, Yue Cao, Amnon Lotem, Steven Mitchell Total-Order Planning with Partially Ordered Subtasks 

522 Joesph Y. Halpern, Judea Pearl Causes and Explanations: A Structural-Model Approach--Part II: Explanations 


541 Craig Boutilier, Ray Reiter, Bob Price Symbolic Dynamic Programming for First-Order MDPs 

551 GUERE Emmanuel, ALAMI Rachid One action is enough to plan 

554 Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 


596 Dr. James Liu, Dr. Raymond Lee, Dr. Jane You A Web-based Intelligent System for the Daya Bay Contingency Plan in Hong Kong 

638 Herzig Andreas, Lang Jerome, Marquis Pierre, Polacsek Thomas Updates, actions, and planning 

660 Fahiem Bacchus, Michael Ady Planning with Resources and Concurrency: A Forward Chaining Aprpoach 


686 Paul Morris, Nicola Muscettola, Thierry Vidal Dynamic Control Of Plans With Temporal Uncertainty 


760 Hector Munoz-Avila, David W. Aha, Dana S. Nau, Rosina Weber, Len Breslow SiN: Integrating Case-based Reasoning with Task Decomposition