A constructive paradigm of hierarchical planning. - Maria Fox 001 (1989)

A Note on Chapman's Modal Truth Criterion. - Maria Fox 001; Derek Long (EPIA, 1993)

'Slick Systems' and 'Happy Hackers': experience with group projects at UCL. - Nigel Chapman; Maria Fox 001; Elpida Keravnou; Matthew Lee 005; Mark Levene; Derek Long; Peter Rounce; Ray Offen; Paul A. Samet; Russel L. Winder (Softw. Eng. J., 1993)

Persuasion as a Form of Inter-Agent Negotiation. - Chris Reed 001; Derek Long; Maria Fox 001; Max Garagnani (DAI, 1996)

An Architecture fro Argumentative Dialogue Planning. - Chris Reed 001; Derek Long; Maria Fox 001 (FAPR, 1996)

An Efficient Algorithm for Managing Partial Orders in Planning. - Maria Fox 001; Derek Long (SIGART Bull., 1996)

Natural Hierarchical Planning Using Operator Decomposition. - Maria Fox 001 (ECP, 1997)

The Automatic Inference of State Invariants in TIM. - Maria Fox 001; Derek Long (J. Artif. Intell. Res., 1998)

The Detection and Exploitation of Symmetry in Planning Problems. - Maria Fox 001; Derek Long (IJCAI, 1999)

Efficient Implementation of the Plan Graph in STAN. - Derek Long; Maria Fox 001 (J. Artif. Intell. Res., 1999)

Utilizing Automatically Inferred Invariants in Graph Construction and Search. - Maria Fox 001; Derek Long (AIPS, 2000)

Automatic Synthesis and Use of Generic Types in Planning. - Derek Long; Maria Fox 001 (AIPS, 2000)

The AIPS-98 Planning Competition. - Derek Long; Henry A. Kautz; Bart Selman; Blai Bonet; Hector Geffner; Jana Koehler; Michael Brenner 001; Jörg Hoffmann 001; Frank Rittinger; Corin R. Anderson; Daniel S. Weld; David E. Smith 001; et al. (AI Mag., 2000)

Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning. - Maria Fox 001; Derek Long (IJCAI, 2001)

STAN4: A Hybrid Planning Strategy Based on Subproblem Abstraction. - Maria Fox 001; Derek Long (AI Mag., 2001)

Extending the Exploitation of Symmetries in Planning. - Maria Fox 001; Derek Long (AIPS, 2002)

The Third International Planning Competition: Temporal and Metric Planning. - Maria Fox 001; Derek Long (AIPS, 2002)

Fast Temporal Planning in a Graphplan Framework. - Maria Fox 001; Derek Long (AIPS Workshop on Planning for Temporal Domains, 2002)

A Temporal Planning System for Durative Actions of PDDL2.1. - Antonio Garrido 002; Maria Fox 001; Derek Long (ECAI, 2002)

Reformulation in Planning. - Derek Long; Maria Fox 001; Muna Hamdi (SARA, 2002)

Exploiting a Graphplan Framework in Temporal Planning. - Derek Long; Maria Fox 001 (ICAPS, 2003)

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. - Maria Fox 001; Derek Long (J. Artif. Intell. Res., 2003)

The 3rd International Planning Competition: Results and Analysis. - Derek Long; Maria Fox 001 (J. Artif. Intell. Res., 2003)

An Investigation into the Expressive Power of PDDL2.1. - Maria Fox 001; Derek Long; Keith Halsey (ECAI, 2004)

Multiple Relaxations in Temporal Planning. - Keith Halsey; Derek Long; Maria Fox 001 (ECAI, 2004)

VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL. - Richard Howey; Derek Long; Maria Fox 001 (ICTAI, 2004)

MADbot: A Motivated and Goal Directed Robot. - Alexandra M. Coddington; Maria Fox 001; Jonathan Gough; Derek Long; Ivan Serina (AAAI, 2005)

Validating Plans in the Context of Processes and Exogenous Events. - Maria Fox 001; Richard Howey; Derek Long (AAAI, 2005)

Abstraction-based Action Ordering in Planning. - Maria Fox 001; Derek Long; Julie Porteous (IJCAI, 2005)

Time in Planning. - Maria Fox 001; Derek Long (Handbook of Temporal Reasoning in Artificial Intelligence, 2005)

Exploration of the Robustness of Plans. - Maria Fox 001; Richard Howey; Derek Long (AAAI, 2006)

Plan Stability: Replanning versus Plan Repair. - Maria Fox 001; Alfonso Gerevini; Derek Long; Ivan Serina (ICAPS, 2006)

Planning for Mixed Discrete Continuous Domains. - Maria Fox 001 (CPAIOR, 2006)

Robot introspection through learned hidden Markov models. - Maria Fox 001; Malik Ghallab; Guillaume Infantes; Derek Long (Artif. Intell., 2006)

Modelling Mixed Discrete-Continuous Domains for Planning. - Maria Fox 001; Derek Long (J. Artif. Intell. Res., 2006)

Detecting Execution Failures Using Learned Action Models. - Maria Fox 001; Jonathan Gough; Derek Long (AAAI, 2007)

Discovering Near Symmetry in Graphs. - Maria Fox 001; Derek Long; Julie Porteous (AAAI, 2007)

Planning with Respect to an Existing Schedule of Events. - Andrew Coles; Maria Fox 001; Derek Long; Amanda Smith (ICAPS, 2007)

A New Local-Search Algorithm for Forward-Chaining Planning. - Andrew Coles; Maria Fox 001; Amanda Smith (ICAPS, 2007)

Online Identification of Useful Macro-Actions for Planning. - Andrew Coles; Maria Fox 001; Amanda Smith (ICAPS, 2007)

Learning Macro-Actions for Arbitrary Planners and Domains. - Muhammad Abdul Hakim Newton; John Levine; Maria Fox 001; Derek Long (ICAPS, 2007)

A Meta-CSP Model for Optimal Planning. - Peter Gregory; Derek Long; Maria Fox 001 (SARA, 2007)

Planning with Problems Requiring Temporal Coordination. - Andrew Coles; Maria Fox 001; Derek Long; Amanda Smith (AAAI, 2008)

Additive-Disjunctive Heuristics for Optimal Planning. - Andrew Coles; Maria Fox 001; Derek Long; Amanda Smith (ICAPS, 2008)

A Hybrid Relaxed Planning Graph'LP Heuristic for Numeric Planning Domains. - Andrew Coles; Maria Fox 001; Derek Long; Amanda Smith (ICAPS, 2008)

A New Empirical Study of Weak Backdoors. - Peter Gregory; Maria Fox 001; Derek Long (CP, 2008)

The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). - Mark S. Boddy; Maria Fox 001; Sylvie Thiébaux (AI Mag., 2008)

Extending the Use of Inference in Temporal Planning as Forwards Search. - Amanda Jane Coles; Andrew Coles; Maria Fox 001; Derek Long (ICAPS, 2009)

Lifting the Limitations in a Rule-based Policy Language. - Alan Lindsay; Maria Fox 001; Derek Long (FLAIRS, 2009)

Temporal Planning in Domains with Linear Processes. - Amanda Jane Coles; Andrew Coles; Maria Fox 001; Derek Long (IJCAI, 2009)

Managing concurrency in temporal planning using planner-scheduler interaction. - Andrew Coles; Maria Fox 001; Keith Halsey; Derek Long; Amanda Smith (Artif. Intell., 2009)

Advances in automated plan generation. - Maria Fox 001; Sylvie Thiébaux (Artif. Intell., 2009)

The role of AI planning as a decision support tool in power substation management. - Keith Bell; Amanda Jane Coles; Andrew Coles; Maria Fox 001; Derek Long (AI Commun., 2009)

Editorial for AI planning and scheduling. - Rong Qu; Maria Fox 001; Derek Long (J. Sched., 2009)

Complex Networks: An Invitation. - Ernesto Estrada; Maria Fox 001; Desmond J. Higham; Gian-Luca Oppo (Network Science, 2010)

Forward-Chaining Partial-Order Planning. - Amanda Jane Coles; Andrew Coles; Maria Fox 001; Derek Long (ICAPS, 2010)

Constraint Based Planning with Composable Substate Graphs. - Peter Gregory; Derek Long; Maria Fox 001 (ECAI, 2010)

Automatic Construction of Efficient Multiple Battery Usage Policies. - Maria Fox 001; Derek Long; Daniele Magazzeni (IJCAI, 2011)

Plan-Based Policy-Learning for Autonomous Feature Tracking. - Maria Fox 001; Derek Long; Daniele Magazzeni (ICAPS, 2012)

Planning Modulo Theories: Extending the Planning Paradigm. - Peter Gregory; Derek Long; Maria Fox 001; J. Christopher Beck (ICAPS, 2012)

Planning as Quantified Boolean Formula. - Michael Cashmore; Maria Fox 001; Enrico Giunchiglia (ECAI, 2012)

Introducing Worldwide AI. - Maria Fox 001; Manuela M. Veloso; Eric Horvitz (AI Mag., 2012)

COLIN: Planning with Continuous Linear Numeric Change. - Amanda Jane Coles; Andrew Coles; Maria Fox 001; Derek Long (J. Artif. Intell. Res., 2012)

Plan-based Policies for Efficient Multiple Battery Load Management. - Maria Fox 001; Derek Long; Daniele Magazzeni (J. Artif. Intell. Res., 2012)

Autonomous Search and Tracking via Temporal Planning. - Sara Bernardini; Maria Fox 001; Derek Long; John Bookless (ICAPS, 2013)

Challenge: Modelling Unit Commitment as a Planning Problem. - Joshua Campion; Chris J. Dent; Maria Fox 001; Derek Long; Daniele Magazzeni (ICAPS, 2013)

Partially Grounded Planning as Quantified Boolean Formula. - Michael Cashmore; Maria Fox 001; Enrico Giunchiglia (ICAPS, 2013)

Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity Network. - Chiara Piacentini; Varvara Alimisis; Maria Fox 001; Derek Long (ICAPS, 2013)

Load modelling and simulation of household electricity consumption for the evaluation of demand-side management strategies. - Josef Bajada; Maria Fox 001; Derek Long (ISGT Europe, 2013)

Proceedings of the 2nd Workshop on Robots in Clutter: Preparing robots for the real world (Berlin, 2013). - Michael Zillich; Maren Bennewitz; Maria Fox 001; Justus H. Piater; Dejan Pangercic (CoRR, 2013)

A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning. - Amanda Jane Coles; Andrew Coles; Maria Fox 001; Derek Long (J. Artif. Intell. Res., 2013)

Symbolic Domain Predictive Control. - Johannes Löhr; Martin Wehrle; Maria Fox 001; Bernhard Nebel (AAAI, 2014)

Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions. - Sara Bernardini; Maria Fox 001; Derek Long (ICAPS, 2014)

Heuristic Evaluation Based on Lifted Relaxed Planning Graphs. - Bram Ridder; Maria Fox 001 (ICAPS, 2014)

A Modular Architecture for Hybrid Planning with Theories. - Maria Fox 001 (CP, 2014)

AUV mission control via temporal planning. - Michael Cashmore; Maria Fox 001; Tom Larkworthy; Derek Long; Daniele Magazzeni (ICRA, 2014)

Temporal Plan Quality Improvement and Repair using Local Search. - Josef Bajada; Maria Fox 001; Derek Long (STAIRS, 2014)

Introduction to the Special Issue on the ECAI 2012 Turing and Anniversary Track. - Maria Fox 001; Luc De Raedt (AI Commun., 2014)

Policy learning for autonomous feature tracking. - Daniele Magazzeni; Frédéric Py; Maria Fox 001; Derek Long; Kanna Rajan (Auton. Robots, 2014)

Automated Planning and Model Checking (Dagstuhl Seminar 14482). - Alessandro Cimatti; Stefan Edelkamp; Maria Fox 001; Daniele Magazzeni; Erion Plaku (Dagstuhl Reports, 2014)

Planning with Numeric Timed Initial Fluents. - Chiara Piacentini; Maria Fox 001; Derek Long (AAAI, 2015)

ROSPlan: Planning in the Robot Operating System. - Michael Cashmore; Maria Fox 001; Derek Long; Daniele Magazzeni; Bram Ridder; Arnau Carrera; Narcís Palomeras; Natàlia Hurtós; Marc Carreras (ICAPS, 2015)

Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours. - Josef Bajada; Maria Fox 001; Derek Long (IJCAI, 2015)

An extension of metric temporal planning with application to AC voltage control. - Chiara Piacentini; Varvara Alimisis; Maria Fox 001; Derek Long (Artif. Intell., 2015)

A Compilation of the Full PDDL+ Language into SMT. - Michael Cashmore; Maria Fox 001; Derek Long; Daniele Magazzeni (AAAI Workshop: Planning for Hybrid Systems, 2016)

Heuristic Planning for Hybrid Systems. - Wiktor Mateusz Piotrowski; Maria Fox 001; Derek Long; Daniele Magazzeni; Fabio Mercorio (AAAI, 2016)

Heuristic Planning for PDDL+ Domains. - Wiktor Mateusz Piotrowski; Maria Fox 001; Derek Long; Daniele Magazzeni; Fabio Mercorio (AAAI Workshop: Planning for Hybrid Systems, 2016)

Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking. - Sara Bernardini; Maria Fox 001; Derek Long; Chiara Piacentini (ICAPS, 2016)

Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions. - Chiara Piacentini; Daniele Magazzeni; Derek Long; Maria Fox 001; Chris J. Dent (ICAPS, 2016)

Temporal Planning with Constants in Context. - Josef Bajada; Maria Fox 001; Derek Long (ECAI, 2016)

Planning Using Actions with Control Parameters. - Emre Savas; Maria Fox 001; Derek Long; Daniele Magazzeni (ECAI, 2016)

Pattern Based Temporal Inference In Forward Search Temporal Planning. - Atif Talukdar; Maria Fox 001; Derek Long (PlanSIG, 2016)

Toward persistent autonomous intervention in a subsea panel. - Narcís Palomeras; Arnau Carrera; Natàlia Hurtós; George C. Karras; Charalampos P. Bechlioulis; Michael Cashmore; Daniele Magazzeni; Derek Long; Maria Fox 001; Kostas J. Kyriakopoulos; Petar Kormushev; Joaquim Salvi; et al. (Auton. Robots, 2016)

Deterministic versus Probabilistic Methods for Searching for an Evasive Target. - Sara Bernardini; Maria Fox 001; Derek Long; Chiara Piacentini (AAAI, 2017)

PDDL+ Planning with Temporal Pattern Databases. - Wiktor Mateusz Piotrowski; Maria Fox 001; Derek Long; Daniele Magazzeni; Fabio Mercorio (AAAI Workshops, 2017)

Boosting Search Guidance in Problems with Semantic Attachments. - Sara Bernardini; Maria Fox 001; Derek Long; Chiara Piacentini (ICAPS, 2017)

Combining temporal planning with probabilistic reasoning for autonomous surveillance missions. - Sara Bernardini; Maria Fox 001; Derek Long (Auton. Robots, 2017)

Explainable Planning. - Maria Fox 001; Derek Long; Daniele Magazzeni (CoRR, 2017)

Opportunistic Planning in Autonomous Underwater Missions. - Michael Cashmore; Maria Fox 001; Derek Long; Daniele Magazzeni; Bram Ridder (IEEE Trans Autom. Sci. Eng., 2018)

Long-Range Route-planning for Autonomous Vehicles in the Polar Oceans. - Maria Fox 001; Michael Meredith; J. Alexander Brearley; Dan Jones; Derek Long (CoRR, 2021)

Autonomous Passage Planning for a Polar Vessel. - Jonathan D. Smith; Samuel Hall; George Coombs; James Byrne; Michael A. S. Thorne; J. Alexander Brearley; Derek Long; Michael Meredith; Maria Fox 001 (CoRR, 2022)

Efficient Temporal Piecewise-Linear Numeric Planning With Lazy Consistency Checking. - Josef Bajada; Maria Fox 001; Derek Long (IEEE Trans. Artif. Intell., 2022)

Sea ice detection using concurrent multispectral and synthetic aperture radar imagery. - Martin S. J. Rogers; Maria Fox 001; Andrew Fleming; Louisa van Zeeland; Jeremy Wilkinson; J. Scott Hosking (CoRR, 2024)

Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones. - Jonathan D. Smith; Samuel Hall; George Coombs; Harrison Abbot; Ayat Fekry; Michael A. S. Thorne; Derek Long; Maria Fox 001 (J. Artif. Intell. Res., 2025)