Maria Fox

Orcid: 0000-0002-1213-9283

Affiliations:
  • British Antarctic Survey, Cambridge, UK


According to our database1, Maria Fox authored at least 103 papers between 1989 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Sea ice detection using concurrent multispectral and synthetic aperture radar imagery.
CoRR, 2024

2022
Efficient Temporal Piecewise-Linear Numeric Planning With Lazy Consistency Checking.
IEEE Trans. Artif. Intell., 2022

Autonomous Passage Planning for a Polar Vessel.
CoRR, 2022

2021
Long-Range Route-planning for Autonomous Vehicles in the Polar Oceans.
CoRR, 2021

2018
Opportunistic Planning in Autonomous Underwater Missions.
IEEE Trans Autom. Sci. Eng., 2018

2017
Explainable Planning.
CoRR, 2017

Combining temporal planning with probabilistic reasoning for autonomous surveillance missions.
Auton. Robots, 2017

Boosting Search Guidance in Problems with Semantic Attachments.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

PDDL+ Planning with Temporal Pattern Databases.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

Deterministic versus Probabilistic Methods for Searching for an Evasive Target.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Toward persistent autonomous intervention in a subsea panel.
Auton. Robots, 2016

Pattern Based Temporal Inference In Forward Search Temporal Planning.
Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group, 2016

Planning Using Actions with Control Parameters.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Temporal Planning with Constants in Context.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Heuristic Planning for PDDL+ Domains.
Proceedings of the Planning for Hybrid Systems, 2016

Heuristic Planning for Hybrid Systems.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

A Compilation of the Full PDDL+ Language into SMT.
Proceedings of the Planning for Hybrid Systems, 2016

2015
An extension of metric temporal planning with application to AC voltage control.
Artif. Intell., 2015

Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

ROSPlan: Planning in the Robot Operating System.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

Planning with Numeric Timed Initial Fluents.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Automated Planning and Model Checking (Dagstuhl Seminar 14482).
Dagstuhl Reports, 2014

Policy learning for autonomous feature tracking.
Auton. Robots, 2014

Introduction to the Special Issue on the ECAI 2012 Turing and Anniversary Track.
AI Commun., 2014

Temporal Plan Quality Improvement and Repair using Local Search.
Proceedings of the STAIRS 2014, 2014

AUV mission control via temporal planning.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

A Modular Architecture for Hybrid Planning with Theories.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Heuristic Evaluation Based on Lifted Relaxed Planning Graphs.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Symbolic Domain Predictive Control.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning.
J. Artif. Intell. Res., 2013

Proceedings of the 2nd Workshop on Robots in Clutter: Preparing robots for the real world (Berlin, 2013).
CoRR, 2013

Load modelling and simulation of household electricity consumption for the evaluation of demand-side management strategies.
Proceedings of the 4th IEEE PES Innovative Smart Grid Technologies Europe, 2013

Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity Network.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Partially Grounded Planning as Quantified Boolean Formula.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Challenge: Modelling Unit Commitment as a Planning Problem.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Autonomous Search and Tracking via Temporal Planning.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012
Plan-based Policies for Efficient Multiple Battery Load Management.
J. Artif. Intell. Res., 2012

COLIN: Planning with Continuous Linear Numeric Change.
J. Artif. Intell. Res., 2012

Introducing Worldwide AI.
AI Mag., 2012

Planning as Quantified Boolean Formula.
Proceedings of the ECAI 2012, 2012

Planning Modulo Theories: Extending the Planning Paradigm.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Plan-Based Policy-Learning for Autonomous Feature Tracking.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011
Automatic Construction of Efficient Multiple Battery Usage Policies.
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

2010
Constraint Based Planning with Composable Substate Graphs.
Proceedings of the ECAI 2010, 2010

Forward-Chaining Partial-Order Planning.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

Complex Networks: An Invitation.
Proceedings of the Network Science - Complexity in Nature and Technology., 2010

2009
Editorial for AI planning and scheduling.
J. Sched., 2009

The role of AI planning as a decision support tool in power substation management.
AI Commun., 2009

Advances in automated plan generation.
Artif. Intell., 2009

Managing concurrency in temporal planning using planner-scheduler interaction.
Artif. Intell., 2009

Temporal Planning in Domains with Linear Processes.
Proceedings of the IJCAI 2009, 2009

Lifting the Limitations in a Rule-based Policy Language.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Extending the Use of Inference in Temporal Planning as Forwards Search.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07).
AI Mag., 2008

A New Empirical Study of Weak Backdoors.
Proceedings of the Principles and Practice of Constraint Programming, 2008

A Hybrid Relaxed Planning Graph'LP Heuristic for Numeric Planning Domains.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

Additive-Disjunctive Heuristics for Optimal Planning.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

Planning with Problems Requiring Temporal Coordination.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
A Meta-CSP Model for Optimal Planning.
Proceedings of the Abstraction, 2007

Learning Macro-Actions for Arbitrary Planners and Domains.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Online Identification of Useful Macro-Actions for Planning.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

A New Local-Search Algorithm for Forward-Chaining Planning.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Planning with Respect to an Existing Schedule of Events.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Discovering Near Symmetry in Graphs.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Detecting Execution Failures Using Learned Action Models.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Modelling Mixed Discrete-Continuous Domains for Planning.
J. Artif. Intell. Res., 2006

Robot introspection through learned hidden Markov models.
Artif. Intell., 2006

Planning for Mixed Discrete Continuous Domains.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006

Plan Stability: Replanning versus Plan Repair.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Exploration of the Robustness of Plans.
Proceedings of the Proceedings, 2006

2005
Time in Planning.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

Abstraction-based Action Ordering in Planning.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Validating Plans in the Context of Processes and Exogenous Events.
Proceedings of the Proceedings, 2005

MADbot: A Motivated and Goal Directed Robot.
Proceedings of the Proceedings, 2005

2004
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Multiple Relaxations in Temporal Planning.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

An Investigation into the Expressive Power of PDDL2.1.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
The 3rd International Planning Competition: Results and Analysis.
J. Artif. Intell. Res., 2003

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains.
J. Artif. Intell. Res., 2003

Exploiting a Graphplan Framework in Temporal Planning.
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

2002
Reformulation in Planning.
Proceedings of the Abstraction, 2002

A Temporal Planning System for Durative Actions of PDDL2.1.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Fast Temporal Planning in a Graphplan Framework.
Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002

The Third International Planning Competition: Temporal and Metric Planning.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

Extending the Exploitation of Symmetries in Planning.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001
STAN4: A Hybrid Planning Strategy Based on Subproblem Abstraction.
AI Mag., 2001

Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
The AIPS-98 Planning Competition.
AI Mag., 2000

Automatic Synthesis and Use of Generic Types in Planning.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

Utilizing Automatically Inferred Invariants in Graph Construction and Search.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999
Efficient Implementation of the Plan Graph in STAN.
J. Artif. Intell. Res., 1999

The Detection and Exploitation of Symmetry in Planning Problems.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
The Automatic Inference of State Invariants in TIM.
J. Artif. Intell. Res., 1998

1997
Natural Hierarchical Planning Using Operator Decomposition.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

1996
An Efficient Algorithm for Managing Partial Orders in Planning.
SIGART Bull., 1996

An Architecture fro Argumentative Dialogue Planning.
Proceedings of the Practical Reasoning, 1996

Persuasion as a Form of Inter-Agent Negotiation.
Proceedings of the Multi-Agent Systems: Methodologies and Applications, 1996

1993
'Slick Systems' and 'Happy Hackers': experience with group projects at UCL.
Softw. Eng. J., 1993

A Note on Chapman's Modal Truth Criterion.
Proceedings of the Progress in Artificial Intelligence, 1993

1989
A constructive paradigm of hierarchical planning.
PhD thesis, 1989


  Loading...