Maria Fox

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 26

Top Venues

Publications

Martin S. J. Rogers, Maria Fox, Andrew Fleming, Louisa van Zeeland, Jeremy Wilkinson, J. Scott Hosking
Sea ice detection using concurrent multispectral and synthetic aperture radar imagery. CoRR (2024)
Jonathan D. Smith, Samuel Hall, George Coombs, James Byrne, Michael A. S. Thorne, J. Alexander Brearley, Derek Long, Michael Meredith, Maria Fox
Autonomous Passage Planning for a Polar Vessel. CoRR (2022)
Josef Bajada, Maria Fox, Derek Long
Efficient Temporal Piecewise-Linear Numeric Planning With Lazy Consistency Checking. IEEE Trans. Artif. Intell. 3 (4) (2022)
Josef Bajada, Maria Fox, Derek Long
Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking. CoRR (2021)
Maria Fox, Michael Meredith, J. Alexander Brearley, Dan Jones, Derek Long
Long-Range Route-planning for Autonomous Vehicles in the Polar Oceans. CoRR (2021)
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder
Opportunistic Planning in Autonomous Underwater Missions. IEEE Trans Autom. Sci. Eng. 15 (2) (2018)
Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini
Deterministic versus Probabilistic Methods for Searching for an Evasive Target. AAAI (2017)
Sara Bernardini, Maria Fox, Derek Long
Combining temporal planning with probabilistic reasoning for autonomous surveillance missions. Auton. Robots 41 (1) (2017)
Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini
Boosting Search Guidance in Problems with Semantic Attachments. ICAPS (2017)
Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
PDDL+ Planning with Temporal Pattern Databases. AAAI Workshops (2017)
Maria Fox, Derek Long, Daniele Magazzeni
Explainable Planning. CoRR (2017)
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
A Compilation of the Full PDDL+ Language into SMT. ICAPS (2016)
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
A Compilation of the Full PDDL+ Language into SMT. AAAI Workshop: Planning for Hybrid Systems (2016)
Atif Talukdar, Maria Fox, Derek Long
Pattern Based Temporal Inference In Forward Search Temporal Planning. PlanSIG (2016)
Emre Savas, Maria Fox, Derek Long, Daniele Magazzeni
Planning Using Actions with Control Parameters. ECAI (2016)
Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini
Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking. ICAPS (2016)
Narcís Palomeras, Arnau Carrera, Natàlia Hurtós, George C. Karras, Charalampos P. Bechlioulis, Michael Cashmore, Daniele Magazzeni, Derek Long, Maria Fox, Kostas J. Kyriakopoulos, Petar Kormushev, Joaquim Salvi, Marc Carreras
Toward persistent autonomous intervention in a subsea panel. Auton. Robots 40 (7) (2016)
Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
Heuristic Planning for PDDL+ Domains. AAAI Workshop: Planning for Hybrid Systems (2016)
Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
Heuristic Planning for Hybrid Systems. AAAI (2016)
Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
Heuristic Planning for PDDL+ Domains. IJCAI (2016)
Josef Bajada, Maria Fox, Derek Long
Temporal Planning with Constants in Context. ECAI (2016)
Chiara Piacentini, Daniele Magazzeni, Derek Long, Maria Fox, Chris J. Dent
Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions. ICAPS (2016)
Josef Bajada, Maria Fox, Derek Long
Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours. IJCAI (2015)
Chiara Piacentini, Maria Fox, Derek Long
Planning with Numeric Timed Initial Fluents. AAAI (2015)
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder, Arnau Carrera, Narcís Palomeras, Natàlia Hurtós, Marc Carreras
ROSPlan: Planning in the Robot Operating System. ICAPS (2015)
Chiara Piacentini, Varvara Alimisis, Maria Fox, Derek Long
An extension of metric temporal planning with application to AC voltage control. Artif. Intell. 229 (2015)
Sara Bernardini, Maria Fox, Derek Long
Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions. ICAPS (2014)
Maria Fox, Luc De Raedt
Introduction to the Special Issue on the ECAI 2012 Turing and Anniversary Track. AI Commun. 27 (1) (2014)
Johannes Löhr, Martin Wehrle, Maria Fox, Bernhard Nebel
Symbolic Domain Predictive Control. AAAI (2014)
Amanda Jane Coles, Andrew Ian Coles, Maria Fox, Derek Long
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning. CoRR (2014)
Bram Ridder, Maria Fox
Heuristic Evaluation Based on Lifted Relaxed Planning Graphs. ICAPS (2014)
Josef Bajada, Maria Fox, Derek Long
Temporal Plan Quality Improvement and Repair using Local Search. STAIRS (2014)
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
COLIN: Planning with Continuous Linear Numeric Change. CoRR (2014)
Maria Fox
A Modular Architecture for Hybrid Planning with Theories. CP (2014)
Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku
Automated Planning and Model Checking (Dagstuhl Seminar 14482). Dagstuhl Reports 4 (11) (2014)
Maria Fox, Derek Long, Daniele Magazzeni
Plan-based Policies for Efficient Multiple Battery Load Management. CoRR (2014)
Michael Cashmore, Maria Fox, Tom Larkworthy, Derek Long, Daniele Magazzeni
AUV mission control via temporal planning. ICRA (2014)
Daniele Magazzeni, Frédéric Py, Maria Fox, Derek Long, Kanna Rajan
Policy learning for autonomous feature tracking. Auton. Robots 37 (1) (2014)
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning. J. Artif. Intell. Res. 46 (2013)
Michael Zillich, Maren Bennewitz, Maria Fox, Justus H. Piater, Dejan Pangercic
Proceedings of the 2nd Workshop on Robots in Clutter: Preparing robots for the real world (Berlin, 2013). CoRR (2013)
Sara Bernardini, Maria Fox, Derek Long, John Bookless
Autonomous Search and Tracking via Temporal Planning. ICAPS (2013)
Michael Cashmore, Maria Fox, Enrico Giunchiglia
Partially Grounded Planning as Quantified Boolean Formula. ICAPS (2013)
Josef Bajada, Maria Fox, Derek Long
Load modelling and simulation of household electricity consumption for the evaluation of demand-side management strategies. ISGT Europe (2013)
Joshua Campion, Chris J. Dent, Maria Fox, Derek Long, Daniele Magazzeni
Challenge: Modelling Unit Commitment as a Planning Problem. ICAPS (2013)
Chiara Piacentini, Varvara Alimisis, Maria Fox, Derek Long
Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity Network. ICAPS (2013)
Maria Fox, Derek Long, Daniele Magazzeni
Plan-Based Policy-Learning for Autonomous Feature Tracking. ICAPS (2012)
Maria Fox, Derek Long, Daniele Magazzeni
Plan-based Policies for Efficient Multiple Battery Load Management. J. Artif. Intell. Res. 44 (2012)
Peter Gregory, Derek Long, Maria Fox, J. Christopher Beck
Planning Modulo Theories: Extending the Planning Paradigm. ICAPS (2012)
Maria Fox, Manuela M. Veloso, Eric Horvitz
Introducing Worldwide AI. AI Mag. 33 (1) (2012)
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
COLIN: Planning with Continuous Linear Numeric Change. J. Artif. Intell. Res. 44 (2012)
Michael Cashmore, Maria Fox, Enrico Giunchiglia
Planning as Quantified Boolean Formula. ECAI (2012)
Maria Fox, Derek Long
Modelling Mixed Discrete-Continuous Domains for Planning CoRR (2011)
Maria Fox, Derek Long
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains CoRR (2011)
Maria Fox, Derek Long, Daniele Magazzeni
Automatic Construction of Efficient Multiple Battery Usage Policies. ICAPS (2011)
Maria Fox, Derek Long, Daniele Magazzeni
Automatic Construction of Efficient Multiple Battery Usage Policies. IJCAI (2011)
Maria Fox, Derek Long
Efficient Implementation of the Plan Graph in STAN CoRR (2011)
Maria Fox, Derek Long
The 3rd International Planning Competition: Results and Analysis CoRR (2011)
Maria Fox, Derek Long
The Automatic Inference of State Invariants in TIM CoRR (2011)
Peter Gregory, Derek Long, Maria Fox
Constraint Based Planning with Composable Substate Graphs. ECAI (2010)
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
Forward-Chaining Partial-Order Planning. ICAPS (2010)
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
Extending the Use of Inference in Temporal Planning as Forwards Search. ICAPS (2009)
Keith Bell, Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
The role of AI planning as a decision support tool in power substation management. AI Commun. 22 (1) (2009)
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
Temporal Planning in Domains with Linear Processes. IJCAI (2009)
Alan Lindsay, Maria Fox, Derek Long
Lifting the Limitations in a Rule-based Policy Language. FLAIRS Conference (2009)
Maria Fox, Sylvie Thiébaux
Advances in automated plan generation. Artif. Intell. 173 (5-6) (2009)
Rong Qu, Maria Fox, Derek Long
Editorial for AI planning and scheduling. J. Sched. 12 (3) (2009)
Andrew Coles, Maria Fox, Keith Halsey, Derek Long, Amanda Smith
Managing concurrency in temporal planning using planner-scheduler interaction. Artif. Intell. 173 (1) (2009)
Peter Gregory, Maria Fox, Derek Long
A New Empirical Study of Weak Backdoors. CP (2008)
Andrew Coles, Maria Fox, Derek Long, Amanda Smith
Planning with Problems Requiring Temporal Coordination. AAAI (2008)
Mark S. Boddy, Maria Fox, Sylvie Thiébaux
The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). AI Mag. 29 (3) (2008)
Andrew Coles, Maria Fox, Derek Long, Amanda Smith
A Hybrid Relaxed Planning Graph'LP Heuristic for Numeric Planning Domains. ICAPS (2008)
Andrew Coles, Maria Fox, Derek Long, Amanda Smith
Additive-Disjunctive Heuristics for Optimal Planning. ICAPS (2008)
Muhammad Abdul Hakim Newton, John Levine, Maria Fox, Derek Long
Learning Macro-Actions for Arbitrary Planners and Domains. ICAPS (2007)
Maria Fox, Derek Long, Julie Porteous
Discovering Near Symmetry in Graphs. AAAI (2007)
Andrew Coles, Maria Fox, Derek Long, Amanda Smith
Planning with Respect to an Existing Schedule of Events. ICAPS (2007)
Maria Fox, Jonathan Gough, Derek Long
Detecting Execution Failures Using Learned Action Models. AAAI (2007)
Peter Gregory, Derek Long, Maria Fox
A Meta-CSP Model for Optimal Planning. SARA (2007)
Andrew Coles, Maria Fox, Amanda Smith
Online Identification of Useful Macro-Actions for Planning. ICAPS (2007)
Andrew Coles, Maria Fox, Amanda Smith
A New Local-Search Algorithm for Forward-Chaining Planning. ICAPS (2007)
Maria Fox, Malik Ghallab, Guillaume Infantes, Derek Long
Robot introspection through learned hidden Markov models. Artif. Intell. 170 (2) (2006)
Maria Fox, Richard Howey, Derek Long
Exploration of the Robustness of Plans. AAAI (2006)
Maria Fox, Derek Long
Modelling Mixed Discrete-Continuous Domains for Planning. J. Artif. Intell. Res. 27 (2006)
Maria Fox, Alfonso Gerevini, Derek Long, Ivan Serina
Plan Stability: Replanning versus Plan Repair. ICAPS (2006)
Maria Fox
Planning for Mixed Discrete Continuous Domains. CPAIOR (2006)
Maria Fox, Derek Long, Julie Porteous
Abstraction-based Action Ordering in Planning. IJCAI (2005)
Alexandra M. Coddington, Maria Fox, Jonathan Gough, Derek Long, Ivan Serina
MADbot: A Motivated and Goal Directed Robot. AAAI (2005)
Maria Fox, Richard Howey, Derek Long
Validating Plans in the Context of Processes and Exogenous Events. AAAI (2005)
Maria Fox, Derek Long, Keith Halsey
An Investigation into the Expressive Power of PDDL2.1. ECAI (2004)
Keith Halsey, Derek Long, Maria Fox
Multiple Relaxations in Temporal Planning. ECAI (2004)
Richard Howey, Derek Long, Maria Fox
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL. ICTAI (2004)
Derek Long, Maria Fox
Exploiting a Graphplan Framework in Temporal Planning. ICAPS (2003)
Maria Fox, Derek Long
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. J. Artif. Intell. Res. 20 (2003)
Derek Long, Maria Fox
The 3rd International Planning Competition: Results and Analysis. J. Artif. Intell. Res. 20 (2003)
Maria Fox, Derek Long
Fast Temporal Planning in a Graphplan Framework. AIPS Workshop on Planning for Temporal Domains (2002)
Derek Long, Maria Fox, Muna Hamdi
Reformulation in Planning. SARA (2002)
Maria Fox, Derek Long
The Third International Planning Competition: Temporal and Metric Planning. AIPS (2002)
Antonio Garrido, Maria Fox, Derek Long
A Temporal Planning System for Durative Actions of PDDL2.1. ECAI (2002)
Maria Fox, Derek Long
Extending the Exploitation of Symmetries in Planning. AIPS (2002)
Maria Fox, Derek Long
Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning. IJCAI (2001)
Maria Fox, Derek Long
STAN4: A Hybrid Planning Strategy Based on Subproblem Abstraction. AI Mag. 22 (3) (2001)

Maria Fox.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maria Fox