Electronic Colloquium on Planning and Scheduling                                             Editor:  Susanne Biundo

This section lists the planning and scheduling papers of current (and recent) conferences...

                                            AIPS-98                                               ECP-97

                                            AIPS-96                                               ECP-95

                        AAAI-98                               ECAI-98                               IJCAI-97

                        AAAI-97                               ECAI-96

  KR-98

... and provides access to the

  Planning and Scheduling Bibliography

        of the UK Planning and Scheduling SIG, maintained by James Soutter.

Papers of the 4th International Conference on Artificial Intelligence Planning Systems (AIPS-98)

Solving Robot Navigation Problems with Initial Pose Uncertainty Using Real-time Heuristic Search.
Koenig, Simmons.

A Multiagent Planning Architecture.
Wilkins, Myers.

Causal Models of Mobile Service Robot Behavior.
Beetz, Grosskreutz.

Rationale-Based Monitoring for Continuous Planning in Dynamic Environments.
Veloso, Pollack, Cox.

Strong Planning in Non-Deterministic Domains via Model Checking.
Cimatti, Roveri, Traverso.

Conditional Effects in Graphplan.
Anderson, Smith, Weld.

Making Forward Chaining Relevant.
Bacchus, Teh.

The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework.
Kautz, Selman.

Encoding HTN Planning in Propositional Logic.
Mali, Kambhampati.

The 'Limit' Domain.
Melis.

MAXPLAN: A New Approach to Probabilistic Planning.
Majercik, Littman.

Search Control of Plan Generation in Decision-Theoretic Planners.
Goodwin, Simmons.

Solving Planning Problems with Large State and Action Spaces.
Dean, Kim, Givan.

A Modular Structured Approach to Conditional Decision-Theoretic Planning.
Ngo, Haddawy, Nguyen.

Planning, Execution and Learning in a Robotic Agent.
Haigh, Veloso.

How to Solve it Automatically: Selection Among Problem Solving Methods.
Fink.

Genetic Programming of Control Knowledge for Planning.
Aler, Borrajo, Isasi.

Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems.
Gomes, Selman, McAloon, Tretkoff.

Profile Based Algorithms to Solve Multiple Capacitated Metric Scheduling Problems.
Cesta, Oddi, Smith.

A Conditional Scheduling Approach to Designing Real-Time Systems.
Greenwald, Dean.

Flexible and Scalable Query Planning in Distributed and Heterogeneous Environments.
Ambite, Knoblock.

AsbruView: Visualization of Time-Oriented, Skeletal Plans.
Miksch, Kosara, Shahar, Johnson.

Multi-Agent Coalition Formation in Power Transmission Planning.
Contreras, Klusch, Yen.

Generation of Multiple Qualitatively Different Plan Options.
Tate, Dalton, Levine.

Solving Complex Planning Tasks Through Extraction of Subproblems.
Koehler.

Leap Before You Look: Information Gathering in the PUCCINI Planner.
Golden.

A Complete Bidirectional Planner.
Fink, Blythe.

A Planning Algorithm not Based on Directional Search.
Rintanen.

Fast Satisfiability Planning with Causal Theories.
McCain, Turner.

On Measuring Plan Quality.
Lin.

Execution Monitoring of High-Level Robot Programs.
De Giacomo, Reiter, Soutchanski.

On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc.
Liberatore.

Concurrent Actions and Interacting Effects.
Pinto.

Encoding Planning Constraints into Partial Order Planners.
Baioletti, Marcugini, Milani.

Reformulating Temporal Plans for Efficient Execution.
Muscettola, Morris, Tsamardinos.

Modeling an Agent's Incomplete Knowledge During Planning and During Execution.
Bacchus, Petrick.

Constraint-based Reactive Rescheduling in a Stochastic Environment.
Spragg, Fozzard, Tyler.

Ignoring Irrelevant Facts and Operations in Plan Generation.
Nebel, Dimopoulos, Koehler.

Extending Planning Graphs to an ADL Subset.
Koehler, Nebel, Hoffman, Dimopoulos.

Planning and Chemical Plant Operating Procedure Synthesis: A Case Study.
Aylett, Petley, Chung, Soutter, Rushton.

Planning, Learning and Executing in Autonomous Systems.
Garcia-Martinez, Borrajo.

Event Calculus Planning Revisited.
Shanahan.

Approaching the Plans are Programs Paradigm Using Transaction Logic.
Santos, Rillo.

Natural Hierarchical Planning Using Operator Decomposition.
Fox.

Planning via Model Checking: A Decision Procedure for AR.
Cimatti, Giunchiglia, Giunchiglia, Traverso.

What Does a Planner Need to Know about Execution?
Aylett, Coddington, Barnes, Ghanea-Hercock.

Time-Oriented Skeletal Plans: Support to Design and Execution.
Miksch, Shahar, Horn, Popow, Paky, Johnson.

BI-POMDP: Bounded, Incremental, Partially-observable Markov-Model Planning.
Washington.

An Argument for a Hybrid HTN/Operator-based Approach to Planning.
Estlin, Chien, Wang.

Information Gathering Plans with Sensing Actions.
Ashish, Knoblock, Levy.

Combining the Expressiveness of UC-POP with the Efficiency of Graphplan.
Gazen, Knoblock.

Contingency Selection in Plan Generation.
Onder, Pollack.

A Case Study on the Mergeability of Cases with a Partial-order Planner.
Muñoz-Avila, Weberskirch.

Task Planning and Partial Order Planning: A Domain Transformation Approach.
Baioletti, Milani, Marcugini.

Expressing Transformations of Structured Reactive Plans.
Beetz, McDermott.

A Time and Resource Problem for Planning Architectures.
Cesta, Stella.

Possibilistic Planning: Representation and Complexity.
Da Costa Pereira, Garcia, Lang, Martin-Clouaire.

Breaking Security Protocols as an AI Planning Problem.
Massacci.

Replanning Using Hierarchical Task Network and Operator-based Planning.
Wang, Chien.

Context Dependent Effects in Temporal Planning.
Albers, Ghallab.

SINERGY: A Linear Planner Based on Genetic Programming.
Muslea.

Encoding Planning Problems in Non-monotonic Logic Programs.
Dimopoulos, Nebel, Koehler.

Bounded Parameter Markov Decision Processes.
Givan, Leach, Dean.

Plan-Refinement Strategies and Search-Space Size.
Tsuneto, Nau, Hendler.

Model Tableaux for Reasoning about Actions and Plans.
Castilho, Gasquet, Herzig.

Understanding and Extending Graphplan.
Kambhampati, Lambrecht, Parker.

Quantification and Truth Criteria in Classical Planning.
Burgess, Steel.

Planning with Sensing for a Mobile Robot.
De Giacomo, Iocchi, Nardi, Rosati.

A Tabu Search Strategy to Solve Scheduling Problems with Deadlines and Complex Metric Constraints.
Oddi, Cesta.

Fast Probabilistic Plan Debugging.
Beetz, McDermott.

Planning and Search Techniques for Intelligent Behaviour of Battlefield Entities.
Hepplewhite, Baxter.

Prioritized Goal Decomposition of Markov Decision Processes: Toward a Synthesis of Classical and Decision Theoretic Planning.
Boutilier, Brafman, Geib.

Model Minimization, Regression, and Propositional STRIPS Planning.
Givan, Dean.

Tradeoffs in Automatic SAT-Compilation of Planning Problems.
Ernst, Millstein, Weld.

Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems.
Schaerf.

Automatic Generation of Heuristics for Scheduling.
Morris, Bresina, Rodgers.

Development of Iterative Real-time Scheduler to Planner Feedback.
McVey, Durfee, Atkins, Shin.

A Reactive Planner for a Model-based Executive.
Williams, Nayak.

Modeling Command Entities.
Howard.

Vision-Motion planning of a Mobile Robot Considering Vision Uncertainty and Planning Cost.
Miura, Shirai.

Handling Duration Uncertainty in Meta-Level Control of Progressive Processing.
Mouaddib, Zilberstein.

Adaptive Goal Recognition.
Lesh.

Reasoning About Plans.
Lukaszewicz, Madalinska-Bugaj.

reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.
De Giacomo, Lesperance, Levesque.

Learning to Improve both Efficiency and Quality of Planning.
Estlin, Mooney.

Plan Execution for Autonomous Spacecraft.
Pell, Gat, Keesing, Muscettola, Smith.

System Assistence in Structured Domain Model Development.
Biundo, Stephan.

Par-KAP: A Knowledge Acquisition Tool for Building Practical Planning Systems.
Barros, Hendler, Benjamins.

The RoboCup Synthetic Agents Challenge 97.
Kitano, Veloso, Stone, Tambe, Coradeschi, Osawa, Noda, Matsubara, Asada.

Can we Bridge Refinement-based and SAT-based Planning Techniques?
Kambhampati.

A Heuristic Variable Grid Solution Method for POMDPs.
Brafman.

Incremental Methods for Computing Bounds in Partially Observable Markov Decision Processes.
Hauskrecht.

From Local to Global Coherence: A Bottom-Up Approach to Text Planning.
Marcu.

A Hybrid Architecture for Real-Time Mixed Initiative Planning and Control.
Mitchell.

Detecting and Reacting to Unplanned-for World States.
Atkins, Durfee, Shin.

Planning by Rewriting: Efficiently Generating High-Quality Plans.
Ambite, Knoblock.

Planning with Concurrent Interacting Actions.
Boutilier, Brafman.

A Robust and Fast Action Selection Mechanism for Planning.
Bonet, Loerincs, Geffner.

Abductive Completion of Plan Sketches.
Myers.

Dynamic Abstraction Planning.
Goldman, Musliner, Krebsbach, Boddy.

Coordinating Agents by Role Based Social Constraints and Conversation Plans.
Barbuceanu.

Texture-Based Heuristics for Scheduling Revisited.
Beck, Davenport, Sitarski, Fox.

Beyond Contention: Extending Texture-Based Scheduling Heuristics.
Beck, Davenport, Sitarski, Fox.

Navigation and Planning in a Mixed Initiative User Interface.
St. Amant.

Probabilistic Propositional Planning: Representations and Complexity.
Littman.

A Linear Programming Heuristic for Optimal Planning.
Bylander.

Stochastic Procedures for Generating Feasible Schedules.
Oddi, Smith.

Effective Redundant Constraints for Online Scheduling.
Getoor, Ottosson, Fromherz, Carlson.

Analogical Replay for Efficient Conditional Planning.
Blythe, Veloso.

TRIPS: An Integrated Intelligent Problem-Solving Assistant.
Ferguson, Allen.

Integrating AI Components for a Military Planning Application.
Bienkowski, Hoebel.

Improving Big Plans.
Lesh, Martin, Allen.

Controlling Communication in Distributed Planning Using Irrelevance Reasoning.
Wolverton, des Jardins.

Inferring State Constraints for Domain-Independent Planning.
Gerevini, Schubert.

Analyzing External Conditions to Improve the Efficiency of HTN Planning.
Tsuneto, Hendler, Nau.

Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains.
Cimatti, Roveri, Traverso.

Hybrid Planning for Partially Hierarchical Domains.
Kambhampati, Mali, Srivastava.

Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability.
Giunchiglia, Massarotto, Sebastiani.

Using Caching to Solve Larger Probabilistic Planning Problems.
Majercik, Littman.

An Action Language Based on Causal Explanation: Preliminary Report.
Giunchiglia, Lifschitz.

Abductive Planning with Sensing.
Stone.

Branch and Bound Algorithm Selection by Performance Prediction.
Lobjois, Lemaître.

An Integer Local Search Method with Application to Capacitated Production Planning.
Walser, Iyer, Venkatasubramanyan.

Modeling Planning Domains Systematically.
Biundo, Stephan.

Common Sense Reasoning: Experiments and Implementation.
Chaignaud, Lévy.

Customized Plans Transmitted by Flexible Refinement.
Dengler.

Temporal and Resource Reasoning in Planning: The parcPLAN approach.
El-Kholy, Richards.

DEDAL: A DEDuctive and ALgorithmic Planning System.
Pain-Barre.

Constraint Propagation Techniques for Disjunctive Scheduling: The Preemptive Case.
Le Pape, Baptiste.

Scheduling Sport Tournaments Using Constraint Logic Programming.
Schaerf.

Jobshop Scheduling in a Shipyard.
Stidsen, Kragelund, Mateescu.

Planning in Description Logics: Deduction versus Satisfiability Testing.
Badea.

Planning under Resource Constraints.
Koehler.

Towards the Automatic Acquisition of Plan Libraries.
Bauer.

Optimal Scheduling of Dynamic Progressive Processing.
Mouaddib, Zilberstein.

AI-Techniques in Proof Planning.
Melis.

Minimal Perturbance in Dynamic Scheduling.
Sakkout, Richards, Wallace.

Situated Abstraction Planning by Abductive Temporal Reasoning.
Jung.

AI Planning in a Chemical Plant Domain.
Aylett, Soutter, Petley, Chung.

Dealing with Concurrent Actions in Modal Action Logics.
Giordano, Martelli, Schwind.

A Declarative Formalization of STRIPS.
Sierra-Santibanez.

A Scheme for Coordinating Multi-Robots Planning Activities and Plans Execution.
Alami, Ingrand, Qutub.

Separating Constraint Dimensions in a Scheduling Problem to Reduce Search Space.
Scott.

On Non-Conservative Plan Modification.
Liberatore.

Solving Multiple Capacitated Scheduling Problems with Tabu Search.
Oddi.

A Distributed Scheme for Task Planning and Negotiation in Multi-Robot Systems.
Botelho.

Papers of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96)

Deduction Based Refinement Planning.
Stephan, Biundo.

Using Loops in Decision-Theoretic Refinement Planners.
Goodwin.

Controlling Deliberation with the Success Probability in a Dynamic Environment.
Yamada.

Decompositions of Markov Chains for Reasoning about External Change in Planners.
Blythe.

Modelling Probabilistic Actions for Practical Decision Theoretic Planning.
Doan.

Building a Planner for Information Gathering: A Report from the Trenches.
Knoblock.

ITAS: A Portable Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications.
Burstein, Smith.

Representing Plans as a Set of Constraints - the <I-N-OVA> Model.
Tate.

On-line Planning Simulation.
Anderson, Cohen.

Towards a Mixed Initiative Planning Assistant.
Ferguson, Allen, Miller.

Planning Experiments: Resolving Interactions between Two Planning Spaces.
Gil.

A Candidate Set based Analysis of Subgoal Interactions in Conjunctive Goal Planning.
Kambhampati.

A Heuristic Estimator for Means Ends Analysis in Planning.
McDermott.

Least Commitment Action Selection.
Friedman, Weld.

Flaw Selection Strategies for Value Directed Planning.
Williamson, Hanks.

Suspending Recursion in Causal Link Planning.
Smith, Peot.

A Cooperative Repair Method for a Distributed Scheduling System.
Neiman, Lesser.

A Constraint Satisfaction Approach to Makespan Scheduling.
Cheng, Smith.

A Discipline for Reactive Scheduling.
Kelleher, Spragg.

Comparing Heuristic, Evolutionary and Local Search Approaches to Scheduling.
Rana, Howe, Whitley, Mathias.

Algorithms for Solving Distributed Constraint Satisfaction Problems (DCSPs).
Solotorevsky, Gudes.

Expressive Planning and Explicit Knowledge.
Goldman, Boddy.

Planning for Manufacturing Workpieces by Storing, Indexing and Replaying Planning Decisions.
Muñoz-Avila, Weberskirch.

Modelling Planning Tasks.
Barros, Valente, Benjamins.

Computing Parameter Domains as an Aid to Planning.
Gerevini, Schubert.

Intelligent Tools for Planning Knowledge Base Development and Verification.
Chien.

Planning While Learning Operators.
Wang.

Local Planning of Ongoing Activities.
Beetz, McDermott.

A Procedural Knowledge Approach to Task-level Control.
Myers.

A Planner for Exploratory Data Analysis.
St. Amant, Cohen.

Modularity Issues in Reactive Planning.
Firby.

Segmenting Reactions to Improve the Behaviour of a Planning/Reacting Agent.
Wolverton, Washington.

This bibliography lists about 3000 publications in planning and scheduling and some related areas. It has been built and is maintained by James Soutter, Loughborough University of Technology, Leicestershire, UK.