2013

"Partially Grounded Planning as Quantified Boolean Formula", M. Cashmore, M. Fox and E. Giunchiglia. Proceedings of the Twenty Third International Conference on Automated Planning and Scheduling (ICAPS-13). June 2013.

"Searching for Good Solutions in Goal-Dense Search Spaces", A. J. Coles and A. I. Coles. Proceedings of the Twenty Third International Conference on Automated Planning and Scheduling (ICAPS-13). June 2013.

"Planning-based Social Partners for Children with Autism", S. Bernardini and K. Porayska-Pomsta. Proceedings of the Twenty Third International Conference on Automated Planning and Scheduling (ICAPS-13). June 2013.

"Autonomous Search and Tracking via Temporal Planning", S. Bernardini, M. Fox, D. Long and J. Bookless. Proceedings of the Twenty Third International Conference on Automated Planning and Scheduling (ICAPS-13). June 2013.

"Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity Network" C. Piacentini, V. Alimisis, M. Fox and D. Long. Proceedings of the Twenty Third International Conference on Automated Planning and Scheduling (ICAPS-13). June 2013.

"Challenge: Modelling Unit Commitment as a Planning Problem", J.Campion, C. Dent, M. Fox, D. Long and D. Magazzeni. Proceedings of the Twenty Third International Conference on Automated Planning and Scheduling (ICAPS-13). June 2013.

"A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning" A.J. Coles, A.I. Coles, M. Fox, D. Long. Journal of Artificial Intelligence Research vol. 46. March 2013. pp. 343--412.

2012

"Plan-based Policies for Efficient Multiple Battery Load Management" M. Fox, D. Long and D. Magazzeni Journal of Artificial Intelligence Research. 44. 2012. pp. 335--382

"COLIN: Planning with Continuous Linear Numeric Change" A. J. Coles, A. I. Coles, M. Fox and D. Long Journal of Artificial Intelligence Research. 44. 2012. pp. 1--96

"Opportunistic Branched Plans to Maximise Utility in the Presence of Resource Uncertainty" A. J. Coles Proceedings of the Twentieth European Conference on Artificial Intelligence (ECAI-12). August 2012.

"Planning as Quantified Boolean Formula" M. Cashmore, M. Fox, and E. Giunchiglia Proceedings of the Twentieth European Conference on Artificial Intelligence (ECAI-12). August 2012.

"Automated Planning for Liner Shipping Fleet Repositioning" K. Tierney, A. J. Coles, A. I. Coles, C. Kroer, A. Britt, and R. M. Jensen Proceedings of the Twenty Second International Conference on Automated Planning and Scheduling (ICAPS-12). June 2012.

"Temporal Planning with Preferences and Time-Dependent Continuous Costs" J. Benton, A. J. Coles, and A. I. Coles Proceedings of the Twenty Second International Conference on Automated Planning and Scheduling (ICAPS-12). June 2012.

"Planning Modulo Theories: Extending the Planning Paradigm" P. Gregory, D. Long, M. Fox, and C. Beck Proceedings of the Twenty Second International Conference on Automated Planning and Scheduling (ICAPS-12). June 2012.

"Plan-based Policy Learning for Autonomous Feature Tracking" M. Fox, D. Long, and D. Magazzeni Proceedings of the Twenty Second International Conference on Automated Planning and Scheduling (ICAPS-12). June 2012.

"Introducing a new lifted Heuristic based on Lifted Relaxed Planning Graph" B. Ridder, and M. Fox Proceedings of the Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP), at ICAPS-12, June 2012.

"A Survey of the Seventh International Planning Competition" A. J. Coles, A. I. Coles, Á. García Olaya, S. Jiménez, C. Linares López, S. Sanner, and S. Yoon AI Magazine. 33 (1). 2012

2011

"Cost-Sensitive Concurrent Planning under Duration Uncertainty for Service Level Agreements" A. J. Coles and A. I. Coles and A. Clark and S. T. Gilmore Proceedings of the Twenty First International Conference on Automated Planning and Scheduling (ICAPS-11). June 2011.

"LPRPG-P: Relaxed Plan Heuristics for Planning with Preferences" A. J. Coles and A. I. Coles Proceedings of the Twenty First International Conference on Automated Planning and Scheduling (ICAPS-11). June 2011.

"Automatic Construction of Efficient Multiple Battery Usage Policies" M. Fox,  D. Long and D. Magazzeni Proceedings of the Twenty First International Conference on Automated Planning and Scheduling (ICAPS-11). June 2011.

"Voltage Control of Distribution Network Using an Artificial Intelligence Planning Method" J. Cao and K. R. W. Bell and A. J. Coles and A. I. Coles Proceedings of the Twenty First International Conference and Exhibition on Electricity Distribution (CIRED). June 2011.

"Automatic Construction of Efficient Multiple Battery Usage Policies" M. Fox,  D. Long and D. Magazzeni Proceedings of the Twenty Second International Joint Conference on Artificial Intelligence (IJCAI-11). June 2011.

"Accurately Determining Intermediate and Terminal Plan States Using Bayesian Goal Recognition" D. Pattison and D. Long Proceedings of the 1st Workshop on Goal, Activity and Plan Recognition. June 2011. pp. 32 -- 37

"Proceedings of the 1st Workshop on Goal, Activity and Plan Recognition" D. Pattison and D. Long and C. W. Geib. July 2011.

"Heuristically Guided Constraint Satisfaction for Planning" M. Judge and D. Long Proceedings of the 29th Workshop of the UK Planning and Scheduling Special Interest Group. 2011. pp. 31 - 38

2010

"Forward-Chaining Partial-Order Planning" A. J. Coles and A. I. Coles and M. Fox and D. Long Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS-10). May 2010.

"Experiences with Temporal Planning" A. I. Coles and D. Long and P. Rendell Proceedings of the Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG). December 2010.

"Extracting Plans From Plans" D. Pattison and D. Long Proceedings of the Eleventh {AI}*{IA} Symposium on Artificial Intelligence. December 2010. pp. 162 -- 168

"Completeness-Preserving Pruning for Optimal Planning" A. J. Coles and A. I. Coles Proceedings of the Nineteenth European Conference on Artificial Intelligence (ECAI-10). August 2010.

"Domain Independent Goal Recognition" D. Pattison and D. Long {STAIRS} 2010: Proceedings of the Fifth Starting {AI} Researchers' Symposium . August 2010. pp. 238 -- 250

"Problem-Structure-Based Pruning for Cost-Optimal Planning" A. J. Coles and A. I. Coles Technical Report, Extended version of the ECAI paper 'Completeness-Preserving Pruning for Optimal Planning'. July 2010.

"Constraint Based Planning with Composable Substate Graphs" P. Gregory and M. Fox and D. Long Proceedings of the 19th European Conference on Artificial Intelligence. 2010.

2009

"Extending the Use of Inference in Temporal Planning as Forwards Search" A. J. Coles and A. I. Coles and M. Fox and D. Long Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS 09). September 2009.

"ICAPS Workshop on Planning and Learning" A. J. Coles and A. I. Coles and S. Jimenez Celorrio and S. Fernandez Arregui and T. de la Rosa. September 2009.

"Temporal Planning in Domains with Linear Processes" A. J. Coles and A. I. Coles and M. Fox and D. Long Twenty-First International Joint Conference on Artificial Intelligence (IJCAI). July 2009.

"Managing concurrency in temporal planning using planner-scheduler interaction" A. I. Coles and M. Fox and K. Halsey and D. Long and A. J. Smith Artificial Intelligence. 173 (1). 2009. pp. 1--44

"Configuring Service-Oriented Systems using PEPA and AI Planning" A. J. Coles and A. I. Coles and S. Gilmore Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009). August 2009.

"Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners" A. Gerevini and P. Haslum and D. Long and A. Saetti and Y. Dimopolous Artificial Intelligence. 173 (5-6). 2009. pp. 619--668

"The role of AI planning as a decision support tool in power substation management" K. R. W. Bell and A. J. Coles and A. I. Coles and M. Fox and D. Long AI Communications. 22 (1). 2009. pp. 37--57

"Lifting the Limitations in a Rule-based Policy Language" A. Lindsay and M. Fox and D. Long The 22nd International Florida Artificial Research Society Conference. 2009.

"Incremental Constraint-Posting Algorithms in Interleaved Planning and Scheduling" A. J. Coles and A. I. Coles and M. Fox and D. Long Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling (COPLAS '09), ICAPS 09. 2009.

"Autonomous science for an ExoMars Rover-like mission" M. Woods and A. Shaw and D. Barnes and D. Price and D. Long and D. Pullen Journal of Field Robotics. 26 (4). 2009. pp. 358--390

2008

"Additive-Disjunctive Heuristics for Optimal Planning" A. I. Coles and M. Fox and D. Long and A. J. Smith Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling (ICAPS 08). September 2008.

"A Hybrid Relaxed Planning Graph-LP Heuristic for Numeric Planning Domains" A. I. Coles and M. Fox and D. Long and A. J. Smith Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling (ICAPS 08). September 2008.

"Learning Macros That Are Not Captured by Given Example Plans" M. A. H. Newton and J. Levine and M. Fox and D. Long Supplementary Online Proceedings for Poster Papers at the International Conference on Automated Planning and Scheduling (ICAPS). September 2008.

"Wizard: Compiled Macro-Actions for Planner-Domain Pairs" M. A. H. Newton and J. Levine and M. Fox and D. Long Booklet for the 6th International Planning Competition, Learning Track. September 2008.

"Upwards: The Role of Analysis in Cost Optimal SAS+ Planning" A. I. Coles and A. J. Smith IPC 2008 Booklet on participating planners, ICAPS 2008.. September 2008.

"Planning with Problems Requiring Temporal Coordination" A. I. Coles and M. Fox and D. Long and A. J. Smith Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI 08). July 2008.

"Teaching Forward-Chaining Planning with JavaFF" A. I. Coles and M. Fox and D. Long and A. J. Smith Colloquium on AI Education, Twenty-Third AAAI Conference on Artificial Intelligence. July 2008.

"Planning with Linear Continuous Numeric Change" A. J. Coles and A. I. Coles and M. Fox and D. Long Proceedings of the 27th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2008). December 2008.

"The Application of Planning to Power Substation Voltage Control" K. Bell and A. I. Coles and M. Fox and D. Long and A. J. Smith ICAPS Workshop on Scheduling and Planning Applications (SPARK). 2008.

"Abstracting Chains of Reasoning" A. Lindsay and M. Fox and D. Long Proceedings of the UK PlanSIG. 2008.

"A New Empirical Study of Weak Backdoors" P. Gregory and M. Fox and D. Long Proceedings of CP. 2008.

2007

"A New Local-Search Algorithm for Forward-Chaining Planning" A. I. Coles and M. Fox and A. J. Smith Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 07). September 2007.

" Planning with Respect to an Existing Schedule of Events" A. I. Coles and M. Fox and D. Long and A. J. Smith Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 07). September 2007.

"Online Identification of Useful Macro-Actions for Planning" A. I. Coles and M. Fox and A. J. Smith Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 07). September 2007.

"Learning Macro-Actions for Arbitrary Planners and Domains" M. A. H. Newton and J. Levine and M. Fox and D. Long Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 07). September 2007.

"Constraint Directed Variable Neighbourhood Search" A. Andrew and J. Levine and D. Long Proceedings of the 4th International Workshop on Local Search Techniques in Constraint Satisfaction held at CP 2007. September 2007.

"Marvin: A Heuristic Search Planner with Online Macro-Action Learning" A. I. Coles and A. J. Smith Journal of Artificial Intelligence Research. 28. 2007. pp. 119--156

"Heuristics and Metaheuristics in Forward-Chaining Planning" A. I. Coles. Department of Computer and Information Sciences, University of Strathclyde. 2007.

"In Situ Analysis for Intelligent Control" M. Fox and D. Long and F. Py and K. Rajan and J. Ryan Proceedings of IEEE/OES OCEANS Conference. 2007.

"Discovering Near Symmetry in Graphs" M. Fox and D. Long and J. Porteous Proceedings of AAAI. 2007.

"A Meta-CSP Model for Optimal Planning" P. Gregory and D. Long and M. Fox Proceedings of SARA. 2007.

"Detecting Execution Failures Using Learned Action Models" M. Fox and J. Gough and D. Long Proceedings of AAAI. 2007.

2006

"Generic Types and their Use in Improving the Quality of Search Heuristics" A. I. Coles Doctoral Consortium, ICAPS 2006. June 2006. pp. {183--218}

"Extending the Use of Plateau-Escaping Macro-Actions in Planning" A. J. Smith Doctoral Consortium, ICAPS 2006. June 2006. pp. {183--218}

"Generic Types and their Use in Improving the Quality of Search Heuristics" A. I. Coles and A. J. Smith Proceedings of the 25th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2006). December 2006.

"Planning in Probabilistic Domains Using a Deterministic Numeric Planner" S. Jimenez and A. I. Coles and A. J. Smith Proceedings of the 25th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2006). December 2006.

"Simulating the use of Macro-Actions Through Action Reordering" A. I. Coles and A. J. Smith Proceedings of the 25th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2006). December 2006.

"Learning Macro-Actions Genetically from Plans" M. A. H. Newton and J. Levine and M. Fox and D. Long Proceedings of the 25th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2006). December 2006.

"Robot Introspection using Learned Hidden Markov Models" M. Fox and M. Ghallab and G. Infantes and D. Long Artificial Intelligence. 170 (2). 2006. pp. 59-113

"Plan Stability: Replanning versus Plan Repair" M. Fox and A. Gerevini and D. Long and I. Serina Proceedings of International Conference on AI Planning and Scheduling (ICAPS). 2006.

"Exploration of the Robustness of Plans" M. Fox and R. Howey and D. Long Proceedings of National Conference on AI (AAAI). 2006.

"The International Planning Competition Series and Empirical Evaluation of AI Planning Systems" D. Long and M. Fox Proceedings of Workshop on Empirical Methods for the Analysis of Algorithm . 2006.

"On-board Timeline Validation and Repair: A Feasibility Study" M. Fox and D. Long and L. Baldwin and G. Wilson and M. Woods and D. Jameux and R. Aylett Proceedings of 5th International Workshop on Planning and Scheduling in Space. 2006.

"Using Learned Action Models in Execution Monitoring" M. Fox and J. Gough and D. Long Proceedings of UK Planning and Scheduling SIG. 2006.

"Modelling Mixed Discrete-Continuous Domains for Planning" M. Fox and D. Long Journal of AI Research. 27. 2006. pp. 235--297

"Preferences and Soft Constraints in PDDL3" A. Gerevini and D. Long Proceedings of ICAPS workshop on Planning with Preferences and Soft Constraints. 2006. pp. 46--53

"Developing an Autonomous Timeline Management Capability for a Robotic Mars Mission" M. Woods and D. Long and M. Fox and R. Aylett and L. Baldwin and H. Wilson and D. Jameux and R. Vituli Proceedings of ESA Workshop on Advanced Space Technologies for Robotics and Automation. 2006.

2005

"Exploration of the Robustness of Plans" M. Fox and R. Howey and D. Long Proceedings ICAPS 2005 Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems. June 2005.

"Validating Plans in the Context of Processes and Exogenous Events" M. Fox and R. Howey and D. Long Proceedings of The 20th National Conference on Artificial Intelligence (AAAI-05). July 2005.

"On the Inference and Management of Macro-Actions in Forward-Chaining Planning" A. I. Coles and A. J. Smith Proceedings of the 24th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2005). December 2005.

"Genetically Evolved Macro-Actions in AI Planning Problems" M. A. H. Newton and J. Levine and M. Fox Proceedings of the 24th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2005). December 2005.

"MADbot: A Motivated and Goal Directed Robot" A. Coddington and M. Fox and J. Gough and D. Long and I. Serina Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-05). 2005.

"Plan Validation and Mixed-Initiative Planning in Space Operations" R. Howey and D. Long and M. Fox. Edited by L. Castillo and D. Borrajo and M. A. Salido and A. Oddi. IOS Press. 2005. pp. 60-70.

"Restoring Symmetries in Almost Symmetric Graph Structures" D. Long and M. Fox Proceedings of SymNet Workshop on Almost-Symmetry in Search. 2005.

"Time in Planning" M. Fox and D. Long. In Handbook of Temporal Reasoning in AI. Edited by M. Fisher and D. Gabbay and L. Vila. Elsevier Science. 2005. pp. 497-537.

"Abstraction-based action ordering in planning" M. Fox and D. Long and J. Porteous International Joint Conference on AI (IJCAI). 2005.

2004

"VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning using PDDL" R. Howey and D. Long and M. Fox The 16th IEEE International Conference on Tools with Artificial Intelligence. November 2004. pp. 294-301

"Marvin: Macro-Actions from Reduced Versions of the Instance" A. I. Coles and A. J. Smith IPC4 Booklet, ICAPS 2004. June 2004. pp. 497-537

"Plan Execution under Resource Consumption Uncertainty" J. Gough and M. Fox and D. Long Proceedings of the Workshop on Connecting Planning Theory with Practice at 13th International Conference on Automated Planning and Scheduling (ICAPS'04). June 2004. pp. 24-29

"CRIKEY - a temporal planner looking at the integration of scheduling and planning" K. Halsey and D. Long and M. Fox Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03). June 2004. pp. 46-52

"Validating Plans with Exogenous Events" R. Howey and D. Long and M. Fox Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group. December 2004. pp. 78-87

"Plan Validation and Mixed-Initiative Planning in Space Operations" R. Howey and D. Long and M. Fox Proceedings of ECAI Workshop on Planning: Bridging the Gap between Theory and Practice. August 2004. pp. 65-74

"On the Extraction of Disjunctive Landmarks from Planning Problems via Symmetry Reduction " P. Gregory and S. Cresswell and D. Long and J. Porteous Proceedings of the 4th International Workshop on Symmetry and Constraint Satisfaction Problems. 2004. pp. 34--41

"The Identification and Exploitation of Almost Symmetry in Planning Problems" J. Porteous and D. Long and M. Fox Proceedings of the 23rd UK Planning and Scheduling SIG. 2004.

"An investigation into the expressive power of PDDL2.1" M. Fox and D. Long and K. Halsey Proceedings of ECAI'04. 2004.

"Multiple Relaxations in Temporal Planning" K. Halsey and D. Long and M. Fox Proceedings of the 16th Eureopean Conference on Artificial Intelligence (ECAI-2004). 2004. pp. 1029-1030

"Planning with numeric variables in multi-objective planning" A. Garrido and D. Long Proceedings of ECAI'04. 2004.

2003

"VAL's Progress: The Automatic Validation Tool for PDDL2.1 used in the International Planning Competition" R. Howey and D. Long Proceedings of the ICAPS 2003 workshop on "The Competition: Impact, Organization, Evaluation, Benchmarks". June 2003. pp. 28-37

"Validating Plans with Continuous Effects" R. Howey and D. Long Proceedings of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group. December 2003. pp. 115-124

"The Automatic Validation Tool for PDDL2.1" R. Howey and D. Long The Tenth Workshop on Automated Reasoning. April 2003. pp. 37-38

"Plan Permutation Symmetries as a Source of Inefficiency in Planning" D. Long and M. Fox Proceedings of 22nd UK Planning and Scheduling SIG. 2003.

"Symmetries in Planning Problems" D. Long and M. Fox Proceedings of SymCon'03 (CP Workshop). 2003.

"Isolating where Planning and Scheduling Interact" K. Halsey and D. Long and M. Fox Proceedings from the 22nd UK Planning and Scheduling Special Interest Group (PlanSIG'03). 2003. pp. 104-114

"The 3rd International Planning Competition: Results and Analysis" D. Long and M. Fox Journal of AI Research. 20. 2003. pp. 1-59

"Exploiting a Graphplan Framework in Temporal Planning" D. Long and M. Fox Proceedings of ICAPS'03. 2003. pp. 51-62

"PDDL2.1: An extension of PDDL for expressing temporal planning domains" M. Fox and D. Long Journal of AI Research. 20. 2003. pp. 61-124

2002

"Extending {TIM} domain analysis to handle {ADL} constructs" S. Cresswell and M. Fox and D. Long AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning. 2002.

"Extending the Exploitation of Symmetries in Planning" M. Fox and D. Long Proceedings of AIPS'02. 2002. pp. 83-91

"Planning with Generic Types" D. Long and M. Fox. Edited by G. Lakemeyer and B. Nebel. Morgan Kaufmann. 2002. pp. 103-138.

"The Third International Planning Competition: Temporal and Metric Planning" M. Fox and D. Long Proceedings of AIPS'02. 2002.

"Fast temporal planning in a Graphplan framework" M. Fox and D. Long Proceedings of AIPS Workshop on Planning for Temporal Domains. 2002. pp. 9-17

"Progress in AI Planning Research and Applications" D. Long and M. Fox Upgrade/Novatica 159. III (5). 2002. pp. 10-25

"Reformulation in Planning" D. Long and M. Fox and M. Hamdi Proceedings of 5th International Symposium on Abstraction, Reformulation and Approximation, SARA'02. 2002. pp. 18-32

"A Temporal Planning System for Durative Actions of PDDL2.1" A. Garrido and M. Fox and D. Long Proceedings of ECAI'02. 2002. pp. 586-590

2001

"Handling Durative Actions in Classical Planning Frameworks" A. M. Coddington and M. Fox and D. Long Proceedings of the 20th Workshop of the UK Planning and Scheduling Special Interest Group. 13-14 Decemb 2001. pp. 44-58

"Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub-problems in Planning" M. Fox and D. Long Proceedings of IJCAI. 2001. pp. 445-452

"STAN4: A Hybrid Planning Strategy Based on Subproblem Abstraction" M. Fox and D. Long AI Magazine. 22 (3). 2001. pp. 102-111

2000

"Automatic Synthesis and Use of Generic Types in Planning" D. Long and M. Fox Proceedings of AIPS 2000. 2000. pp. 196-205

"The AIPS-98 planning competition: competitors' perspectives" D. Long and H. A. Kautz and B. Selman and B. Bonet and H. Geffner and J. Koehler and M. Brenner and J. Hoffmann and F. Rittinger and C. R. Anderson and D. S. Weld and D. E. Smith and M. Fox AI Magazine. 21 (2). 2000. pp. 13-33

"Utilizing Automatically Inferred Invariants in Graph Construction and Search" M. Fox and D. Long Proceedings of AIPS 2000. 2000. pp. 102-111

1999

"Efficient Implementation of the Plan Graph in STAN" D. Long and M. Fox Journal of AI Research. 10. 1999. pp. 87-115

"The Detection and Exploitation of Symmetry in Planning Problems" M. Fox and D. Long Proceedings of IJCAI'99. 1999. pp. 956-961

1998

"The Automatic Inference of State Invariants in TIM" M. Fox and D. Long Journal of AI Research. 9. 1998. pp. 367-421

1996

"An Efficient Algorithm for Managing Partial Orders in Planning" M. Fox and D. Long SIGART Bulletin. 7 (4). 1996. pp. 3-12