selected publications in the last few years..

  • T. L. McCluskey, R. Simpson
    Knowledge Formulation for AI Planning
    in Engineering Knowledge in the Age of the Semantic Web; E.Motta, N.Shadbolt, A.Stutt and N.Gibbins (eds), (Proceedings of EKAW'2004), published by Springer, October 2004.

  • T. L. McCluskey, D Liu, R. Simpson
    GIPO II: HTN Planning in a Tool-supported Knowledge Engineering Environment
    Proceedings of the International Conference on Automated Planning and Scheduling, June, 2003, AAAI press. (ICAPS'03)

  • T. L. McCluskey
    PDDL: A language with a purpose?
    Proceedings of the ICAPS-03 workshop on PDDL, International Conference on Automated Planning and Scheduling, June, 2003 (ICAPS'03)

  • T.L.McCluskey, M Fox, R Aylett
    Planform: An Open Environment for Building Planners
    PLANET newsletter, issue no 5, pp38-45, ISSN 1610-0204

  • S. Biundo, D. Borrajo, T. L. McCluskey,
    Planning and Scheduling: A Technology for Improving Flexibility in e-Commerce and Electronic Work
    Proceedings of e2002, The eBusiness and eWork Annual Conference, Corinthia Towers Hotel, Prague The Czech Republic 16-18 October 2002

  • R.M.Simpson, T. L. McCluskey
    A Tool Supported Structured Method for Planning Domain Acquisition
    Proceedings of the 13th International Symposium on Methodologies for Intelligent Systems (ISMIS-02), Lyon, France, June 27-29, 2002

  • T. L. McCluskey, N. Richardson, R. Simpson
    An Interactive Method for Inducing Operator Descriptions
    Proceedings of the 6th International Conference on AI Planning and Scheduling (AIPS-2002), Toulouse, France, April 2002.

  • R.M.Simpson, D. Long, T. L. McCluskey, M. Fox
    Generic Types as Design Patterns for Planning Domain Specifications
    Proceedings of the AIPS-2002 Workshop on Knowledge Engineering Tools and Techniques for AI Planning, 6th International Conference on AI Planning and Scheduling (AIPS-2002), Toulouse, France, April 2002.

  • T. L. McCluskey, N. Richardson
    The Induction of Operator Descriptions From Examples and Structural Domain Knowledge
    Proceedings of PlanSig-2001, Univ of Edinburgh, December 2001.

  • R.M.Simpson, T. L. McCluskey, W. Zhao, R.S.Aylett, C. Doniat
    An Open Tools Environment for Developing Planning Domain Models
    Proceedings of PlanSig-2001, Univ of Edinburgh, December 2001.

  • M. M.West and T. L. McCluskey
    The Application of Machine Learning Tools to the Validation of An Air Traffic Control Domain Theory
    International Journal on Artificial Intelligence Tools, Volume 10, Number 4, December 2001, pages 613 -- 637.
    See Journal Contents Page

  • R.M.Simpson, T. L. McCluskey, W. Zhao, R.S.Aylett, C. Doniat
    An Integrated Graphical Tool to support Knowledge Engineering in AI Planning
    Proceedings of the European Conference on Planning, Toledo, Spain, September 2001.

  • T. L. McCluskey and M.M.West
    The Automated Refinement of a Requirements Domain Theory
    Journal of Automated Software Enginnering, vol 8, pp 195-218,
    (Special Issue on Inductive Programming), Kluwer Academic Publishers, April 2001.

  • T. L. McCluskey
    Object Transition Sequences: A New Form of Abstraction for HTN Planners
    Proceedings of the 5th International Conference on AI Planning and Scheduling (AIPS-2000), Breckenridge, Colorado, April 2000.

  • T. L. McCluskey, Editor
    The Knowledge Engineering for Planning Roadmap
    in the PLANET final report to the EC, November 2000.

  • D.E.Kitchin, T. L. McCluskey and R.M.Simpson
    Foundations of an Object-centred Approach to Knowledge Engineering for AI Planning Applications,
    Proceedings of the International Conference on Knowledge Based Computer Systems (KBCS-2000), Bombay, India, December 2000.

  • T. L. McCluskey
    A Formal Specification and a Rigorous Implementation of an AI Planner
    Technical Report describing a formal method for implementing planning algori thms.

  • M.M.West and T. L. McCluskey
    The Application of a Machine Learning Tool to the Validation of an Air Traffic Control Domain Theory
    Proceedings of ICTAI 2000, Vancouver, Canada, November 2000.

  • R.M.Simpson, T. L. McCluskey, D.Liu and D.E.Kitchin
    Knowledge Representation in Planning:A PDDL to OCLh Translation
    Proceedings of the 12th International Symposium on Methodologies for Intelligent systems (ISMIS'2000), Charlotte, NC, USA. Published by Springer-Verlag, October 2000.

  • R.M.Simpson, T. L. McCluskey, and D.Liu
    OCLGraph : Exploiting Object Structure in a Plan Graph Algorithm
    Proceedings of ECAI 2000 Workshop on New Directions in Planning, Berlin, August 2000.

  • R.M.Simpson and T. L. McCluskey
    An Object-Graph Planning Algorithm
    Proceedings of the 18th UK Workshop on Planning and Scheduling, University of Salford, December 1999

  • T. L. McCluskey, P.Jarvis and D. E. Kitchin
    OCLh: A Sound and Supportive Planning Domain Modelling Language
    Technical Report, Department of Computer Science.

  • T.L.McCluskey and M.M.West,
    Towards the Automated Debugging and Maintenance of Logic-based Requirements Models.
    in ASE '98: Proceedings of the 13th IEEE International Conference on Automated Software Engineering, Hawaii. IEEE Press.

  • T. L. McCluskey and D.E.Kitchin,
    A Tool-Supported Approach to Engineering HTN Planning Models
    in TAI'98: Proceedings of the Tenth International Conference on Tools with Artificial Intelligence, Taiwan,1998, IEEE Press.

  • T.L.McCluskey and M.M.West
    A Case Study in the Use of Theory Revision in Requirements Validation.
    Machine Learning: Proceedings of the 15th International Conference, Shavlik, J (Ed.) Morgan Kaufmann Publishers.

  • M.M.West and T.L.McCluskey,
    Ordinal Operators in Focused Theory Revision.
    in Proceedings: JICSLP'98 Post Conference Workshop on Computational Logic and Machine Learning.

  • T. L. McCluskey and J. M. Porteous,
    Engineering and compiling planning domain models to promote validity and efficiency,
    Artificial Intelligence Journal Vol.95, pages 1 to 65, 1997.

  • M.M.West, C.H.Bryant, T.L. McCluskey
    Transforming General Program Proofs: A Meta Interpreter which Expands Negative Literals.
    Proceedings of The Seventh International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium, 10-12 July 1997.

  • T.L.McCluskey, J.M.Porteous, M.M.West, C.H.Bryant,
    The Validation of Formal Specifications of Requirements.
    Proceedings of t he BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, September 1996, Electronic Wor kshops in Computing Series, Springer.

  • T.L.McCluskey, D.E.Kitchin and J.M.Porteous,
    Object Centred Planning: Lifting Classical Planning from the Literal Level to the Object Level,
    Proceedings of the 11th IEEE International Conference on Tools for Artificial Intelligence, Toulouse, IEEE Press.

  • T.L. McCluskey and J.M.Porteous,
    Planning Speed-Up via Domain Model Compilation,
    Proceedings of the 3rd European workshop on Planning,
    in New Directions in AI Planning, Eds Ghallab and Milani, pp233-244, IOS Press, Amsterdam, ISBN 90-5199-237-8     .

  • T. L. McCluskey, J. M. Porteous, Y. Naik, C. T. Taylor and S. Jones
    A Requirements Capture Method and its use in an Air Traffic Control Application ,
    In: The Journal of Software Practice and Experience, 25(1), January 1995

  • J.Turner and T.L.McCluskey
    The Construction of Formal Specifications: an Introduction to the Model-Based and Algebraic Approaches,
    McGraw Hill Software Engineering series, London, 1994. ISBN 0-07-707735-0.