Maria Fox

发表

Detecting Execution Failures Using Learned Action Models

Maria Fox, Jonathan Gough, Derek Long, 2007, AAAI.

Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling (COPLAS '09), ICAPS 09

Andrew Coles, Maria Fox, Amanda Coles, 2009 .

Additive-Disjunctive Heuristics for Optimal Planning

Andrew Coles, Maria Fox, Derek Long, 2008, ICAPS.

Advances in automated plan generation

Maria Fox, Sylvie Thiébaux, 2009, Artif. Intell..

Persuasion as a Form of Inter-Agent Negotiation

Chris Reed, Maria Fox, Derek Long, 1996, DAI.

Planning with Respect to an Existing Schedule of Events

Andrew Coles, Maria Fox, Derek Long, 2007, ICAPS.

A New Empirical Study of Weak Backdoors

Maria Fox, Derek Long, Peter Gregory, 2008, CP.

Utilizing Automatically Inferred Invariants in Graph Construction and Search

Maria Fox, Derek Long, D. Long, 2000, AIPS.

An efficient algorithm for managing partial orders in planning

Maria Fox, Derek Long, 1996, SGAR.

Extending the Exploitation of Symmetries in Planning

Maria Fox, Derek Long, D. Long, 2002, AIPS.

A Compilation of the Full PDDL+ Language into SMT

Maria Fox, Derek Long, Daniele Magazzeni, 2016, ICAPS.

An Investigation into the Expressive Power of PDDL2.1

Maria Fox, Derek Long, Keith Halsey, 2004, ECAI.

Planning inspection tasks for AUVs

Maria Fox, Derek Long, Daniele Magazzeni, 2013, 2013 OCEANS - San Diego.

Network Science - Complexity in Nature and Technology

Desmond J. Higham, Maria Fox, Ernesto Estrada, 2010, Network Science.

ICAPS Workshop on Scheduling and Planning Applications (SPARK)

Derek Long, Andrew Coles, Maria Fox, 2008 .

Explainable Planning pdf

Maria Fox, Derek Long, Daniele Magazzeni, 2017, ArXiv.

A Modular Architecture for Hybrid Planning with Theories

Maria Fox, 2014, CP.

Automatic Synthesis and Use of Generic Types in Planning

Maria Fox, Derek Long, D. Long, 2000, AIPS.

Plan validation and mixed-initiative planning in space operations

Derek Long, Maria Fox, Daniel Borrajo, 2005 .

Task Planning with Control Parameters

Derek Long, Maria Fox, Daniele Magazzeni, 2016 .

Planning for Mixed Discrete Continuous Domains

Maria Fox, 2006, CPAIOR.

Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS 09).

Derek Long, Andrew Coles, Maria Fox, 2009, ICAPS 2009.

Using learned action models in execution monitoring

Derek Long, Maria Fox, J. Gough, 2006 .

PDDL+ : Modelling Continuous Time-dependent Effects

Maria Fox, Derek Long, 1999 .

CRIKEY - a temporal planner looking at the integration of scheduling and planning

Maria Fox, Derek Long, Keith Halsey, 2004 .

Introduction to the Special Issue on the ECAI 2012 Turing and Anniversary Track

Luc De Raedt, Maria Fox, 2014, AI Commun..

COLIN: Planning with Continuous Linear Numeric Change pdf

Andrew Coles, Maria Fox, Derek Long, 2012, J. Artif. Intell. Res..

Exploiting a Graphplan Framework in Temporal Planning

Maria Fox, Derek Long, D. Long, 2003, ICAPS.

Progress in AI Planning Research and Applications

Maria Fox, Derek Long, D. Long, 2002 .

ROSPlan: Planning in the Robot Operating System

Natàlia Hurtós, Maria Fox, Derek Long, 2015, ICAPS.

Pattern Based Temporal Inference In Forward Search Temporal Planning

Maria Fox, Derek Long, Atif Talukdar, 2016, PlanSIG.

Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours

Maria Fox, Derek Long, Josef Bajada, 2015, IJCAI.

PDDL+ Planning with Temporal Pattern Databases

Maria Fox, Derek Long, Daniele Magazzeni, 2017, AAAI Workshops.

Introducing Worldwide AI

Eric Horvitz, Manuela M. Veloso, Maria Fox, 2012, AI Mag..

Learning Macro-Actions for Arbitrary Planners and Domains

John Levine, Maria Fox, Derek Long, 2007, ICAPS.

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

Dejan Pangercic, Justus H. Piater, Maria Fox, 2013, ArXiv.

An Architecture fro Argumentative Dialogue Planning

Chris Reed, Maria Fox, Derek Long, 1996, FAPR.

Complex Networks: An Invitation

Desmond J. Higham, Maria Fox, Ernesto Estrada, 2010, Network Science.

Load modelling and simulation of household electricity consumption for the evaluation of demand-side management strategies

Maria Fox, Derek Long, Josef Bajada, 2013, IEEE PES ISGT Europe 2013.

Planning Using Actions with Control Parameters

Maria Fox, Derek Long, Daniele Magazzeni, 2016, ECAI.

AUV mission control via temporal planning

Maria Fox, Derek Long, Daniele Magazzeni, 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

Robot introspection through learned hidden Markov models

Malik Ghallab, Maria Fox, Derek Long, 2006, Artif. Intell..

Adaptive Water Sampling based on Unsupervised Clustering

Alan T. Sherman, Maria Fox, Derek Long, 2007 .

Planning with Problems Requiring Temporal Coordination

Andrew Coles, Maria Fox, Derek Long, 2008, AAAI.

Planning with generic types

Maria Fox, Derek Long, D. Long, 2003 .

Automatic Construction of Efficient Multiple Battery Usage Policies

Maria Fox, Derek Long, Daniele Magazzeni, 2011, IJCAI.

Opportunistic Planning for Increased Plan Utility

Derek Long, Maria Fox, Daniele Magazzeni, 2016 .

Planning Domains and Plans: Validation, Verification and Analysis

Derek Long, Maria Fox, Richard Howey, 2009 .

Generic types as design patterns for planning domain specifications

T. L. McCluskey, Derek Long, Maria Fox, 2002 .

Opportunistic Planning in Autonomous Underwater Missions

Maria Fox, Derek Long, Daniele Magazzeni, 2018, IEEE Transactions on Automation Science and Engineering.

ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016)

Frank Dignum, Maria Fox, Paolo Bouquet, 2016, ECAI.

Interaction, planning and motivation

Nicholas R. Jennings, Michael Luck, Derek Long, 2006 .

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007

Mark S. Boddy, Maria Fox, Sylvie Thiébaux, 2007, ICAPS.

A New Local-Search Algorithm for Forward-Chaining Planning

Andrew Coles, Maria Fox, Amanda Jane Coles, 2007, ICAPS.

Forward-Chaining Partial-Order Planning

Andrew Coles, Maria Fox, Derek Long, 2010, ICAPS.

Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob 2016)

Derek Long, Maria Fox, Daniele Magazzeni, 2016 .

Temporal Planning with Constants in Context

Maria Fox, Derek Long, Josef Bajada, 2016, ECAI.

Deterministic versus Probabilistic Methods for Searching for an Evasive Target

Maria Fox, Derek Long, Sara Bernardini, 2017, AAAI.

Heuristic Planning for PDDL+ Domains

Maria Fox, Derek Long, Daniele Magazzeni, 2016, AAAI Workshop: Planning for Hybrid Systems.

Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning

Maria Fox, Derek Long, 2001, IJCAI.

Toward persistent autonomous intervention in a subsea panel

Joaquim Salvi, Charalampos P. Bechlioulis, Kostas J. Kyriakopoulos, 2016, Auton. Robots.

Artificial Intelligence Planning for AUV Mission Control

Derek Long, Maria Fox, Daniele Magazzeni, 2015 .

Lifting the Limitations in a Rule-based Policy Language

Maria Fox, Derek Long, Alan Lindsay, 2009, FLAIRS.

Modelling Mixed Discrete-Continuous Domains for Planning pdf

Maria Fox, Derek Long, D. Long, 2006, J. Artif. Intell. Res..

The PANDORA project: A success story in AUV autonomy

Marc Carreras, Joaquim Salvi, Maria Fox, 2016, OCEANS 2016 - Shanghai.

The AIPS-98 Planning Competition

Blai Bonet, Hector Geffner, Jörg Hoffmann, 2000, AI Mag..

Boosting Search Guidance in Problems with Semantic Attachments

Maria Fox, Derek Long, Sara Bernardini, 2017, ICAPS.

Validating Plans in the Context of Processes and Exogenous Events

Maria Fox, Derek Long, Richard Howey, 2005, AAAI.

Planning as Quantified Boolean Formula

Enrico Giunchiglia, Maria Fox, Michael Cashmore, 2012, ECAI.

A constructive paradigm of hierarchical planning

Maria Fox, 1989 .

Genetically evolved macro-actions in AI planning problems

John Levine, Maria Fox, M. A. H. Newton, 2005 .

Challenge: Modelling Unit Commitment as a Planning Problem

Maria Fox, Derek Long, Daniele Magazzeni, 2013, ICAPS.

The Automatic Inference of State Invariants in TIM pdf

Maria Fox, Derek Long, D. Long, 1998, J. Artif. Intell. Res..

Developing an autonomous timeline management capability for a robotic mars mission

Derek Long, Mark Woods, Ruth Aylett, 2006 .

A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning pdf

Andrew Coles, Maria Fox, Derek Long, 2014, J. Artif. Intell. Res..

Proceedings of the Eight International Workshop on Planning and Scheduling for Space

Maria Fox, Derek Long, Sara Bernardini, 2013 .

Multiple Relaxations in Temporal Planning

Maria Fox, Derek Long, Keith Halsey, 2004, ECAI.

Encoding reachability with quantification

Enrico Giunchiglia, Maria Fox, Michael Cashmore, 2014 .

Combining temporal planning with probabilistic reasoning for autonomous surveillance missions

Maria Fox, Derek Long, Sara Bernardini, 2017, Auton. Robots.

IJCAI International Joint Conference on Artificial Intelligence

Maria Fox, Derek Long, Josef Bajada, 2015, IJCAI 2015.

Time in Planning

Maria Fox, Derek Long, D. Long, 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

Natural Hierarchical Planning Using Operator Decomposition

Maria Fox, M. Fox, 1997, ECP.

Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions

Maria Fox, Derek Long, Sara Bernardini, 2014, ICAPS.

An extension of metric temporal planning with application to AC voltage control

Maria Fox, Derek Long, Chiara Piacentini, 2015, Artif. Intell..

VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL

Maria Fox, Derek Long, Richard Howey, 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.

The role of AI planning as a decision support tool in power substation management

Andrew Coles, Maria Fox, Derek Long, 2009, AI Commun..

A Meta-CSP Model for Optimal Planning

Maria Fox, Derek Long, Peter Gregory, 2007, SARA.

Fast Temporal Planning in a Graphplan Framework

Maria Fox, Derek Long, 2002, AIPS Workshop on Planning for Temporal Domains.

'Slick Systems' and 'Happy Hackers': experience with group projects at UCL

Mark Levene, Elpida T. Keravnou, Ray Offen, 1993, Softw. Eng. J..

Validating plans with exogenous events

Derek Long, Maria Fox, Richard Howey, 2004 .

Automated Planning and Model Checking (Dagstuhl Seminar 14482)

Maria Fox, Stefan Edelkamp, Daniele Magazzeni, 2014, Dagstuhl Reports.

An examination of resources in planning

Maria Fox, Derek Long, Laura Sebastia, 2000 .

Planning with Numeric Timed Initial Fluents

Maria Fox, Derek Long, Chiara Piacentini, 2015, AAAI.

Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia

Derek Long, Maria Fox, Peter Gregory, 2008 .

Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking

Maria Fox, Derek Long, Sara Bernardini, 2016, ICAPS.

Plan-Based Policy-Learning for Autonomous Feature Tracking

Maria Fox, Derek Long, Daniele Magazzeni, 2012, ICAPS.

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010

Maria Fox, David Poole, D. Poole, 2010, AAAI.

Discovering Near Symmetry in Graphs

Maria Fox, Derek Long, Julie Porteous, 2007, AAAI.

Extracting Route-Planning: First Steps in Automatic Problem Decomposition

Maria Fox, Derek P. Long, 2000 .

Exploration of the Robustness of Plans

Maria Fox, Derek Long, Richard Howey, 2005, AAAI.

STAN4: A Hybrid Planning Strategy Based on Subproblem Abstraction

Maria Fox, Derek Long, D. Long, 2001, AI Mag..

Constraint Based Planning with Composable Substate Graphs

Maria Fox, Derek Long, Peter Gregory, 2010, ECAI.

The Detection and Exploitation of Symmetry in Planning Problems

Maria Fox, Derek Long, D. Long, 1999, IJCAI.

Symbolic Domain Predictive Control

Bernhard Nebel, Maria Fox, Martin Wehrle, 2014, AAAI.

MMOPS: Assessing the Impact of On-Board Autonomy for Planetary Exploration Missions

Mark Woods, Ruth Aylett, Maria Fox, 2006 .

AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002

Maria Fox, Alexandra M. Coddington, 2002, AIPS Workshop on Planning for Temporal Domains.

The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07)

Mark S. Boddy, Maria Fox, Sylvie Thiébaux, 2008, AI Mag..

Extending {TIM} domain analysis to handle {ADL} constructs

Maria Fox, Derek Long, Stephen Cresswell, 2002 .

Proceedings of IEEE International Conference on Robotics and Automation (ICRA 2014)

Derek Long, Maria Fox, Daniele Magazzeni, 2014 .

Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions

Maria Fox, Derek Long, Daniele Magazzeni, 2016, ICAPS.

Editorial for AI planning and scheduling

Maria Fox, Derek Long, Rong Qu, 2009, J. Sched..

The Third International Planning Competition: Temporal and Metric Planning

Maria Fox, Derek Long, D. Long, 2002, AIPS.

Reformulation in Planning

Maria Fox, Derek Long, Muna Hamdi, 2002, SARA.

Proceedings of the 27th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2008)

Andrew Coles, Maria Fox, Amanda Coles, 2008 .

Temporal Planning in Domains with Linear Processes

Andrew Coles, Maria Fox, Derek Long, 2009, IJCAI.

Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning

Maria Fox, Susanne Biundo, 1999 .

Temporal Plan Quality Improvement and Repair using Local Search

Maria Fox, Derek Long, Josef Bajada, 2014, STAIRS.

Isolating where planning and scheduling interact

Maria Fox, Derek Long, Keith Halsey, 2003 .

Autonomous Search and Tracking via Temporal Planning

Maria Fox, Derek Long, Sara Bernardini, 2013, ICAPS.

MADbot: A Motivated and Goal Directed Robot

Ivan Serina, Maria Fox, Jonathan Gough, 2005, AAAI.

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference

Maria Fox, Derek Long, Alan Lindsay, 2009 .

Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity Network

Maria Fox, Derek Long, Chiara Piacentini, 2013, ICAPS.

Planning Modulo Theories: Extending the Planning Paradigm

J. Christopher Beck, Maria Fox, Derek Long, 2012, ICAPS.

Plan execution under resource consumption uncertainty

Derek Long, Maria Fox, J. Gough, 2004 .

Heuristic Planning for Hybrid Systems

Maria Fox, Derek Long, Daniele Magazzeni, 2016, AAAI.

An Algorithm for Automated Separation of Trabecular Bone From Variably Thick Cortices in High-Resolution Computed Tomography Data

Maria Fox, John D Polk, Ida C Ang, 2020, IEEE Transactions on Biomedical Engineering.

Policy learning for autonomous feature tracking

Maria Fox, Derek Long, Daniele Magazzeni, 2014, Auton. Robots.

Plan Stability: Replanning versus Plan Repair

Ivan Serina, Alfonso Gerevini, Maria Fox, 2006, ICAPS.

Planform: An open environment for building planners

Ruth Aylett, Maria Fox, Thomas Leo McCluskey, 2002 .

Automated Planning and Policy Learning for Surveillance Missions

Maria Fox, Derek Long, Sara Bernardini, 2013 .

A Note on Chapman's Modal Truth Criterion

Maria Fox, Derek Long, 1993, EPIA.

The application of planning to power substation voltage control

Derek Long, Andrew Coles, Maria Fox, 2008 .

Abstraction-based Action Ordering in Planning

Maria Fox, Derek Long, Julie Porteous, 2005, IJCAI.

Heuristic Evaluation Based on Lifted Relaxed Planning Graphs

Maria Fox, Bram Ridder, 2014, ICAPS.

Partially Grounded Planning as Quantified Boolean Formula

Enrico Giunchiglia, Maria Fox, Michael Cashmore, 2013, ICAPS.

PANDORA - Persistent Autonomy Through Learning, Adaptation, Observation and Replanning

Konstantinos Kyriakopoulos, Marc Carreras, Maria Fox, 2012 .

Online Identification of Useful Macro-Actions for Planning

Andrew Coles, Maria Fox, Amanda Jane Coles, 2007, ICAPS.

Comment: New approach for determining non-Gaussian mode fields of single-mode fibres from measurements in far field

Maria Fox, 1986 .

Plan-based Policies for Efficient Multiple Battery Load Management

Maria Fox, Derek Long, Daniele Magazzeni, 2012, J. Artif. Intell. Res..

A Hybrid Relaxed Planning Graph'LP Heuristic for Numeric Planning Domains

Andrew Coles, Maria Fox, Derek Long, 2008, ICAPS.

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

Maria Fox, Derek Long, D. Long, 2003, J. Artif. Intell. Res..

Learning macro-actions genetically from plans

John Levine, Maria Fox, Derek Long, 2006 .

The International planning competition series and empirical evaluation of AI planning systems

Maria Fox, Derek Long, D. Long, 2006 .

Extending the Use of Inference in Temporal Planning as Forwards Search

Andrew Coles, Maria Fox, Derek Long, 2009, ICAPS.

Long-Range Route-planning for Autonomous Vehicles in the Polar Oceans pdf

Maria Fox, Derek Long, British Antarctic Survey, 2021, ArXiv.

Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking pdf

Maria Fox, Derek Long, Josef Bajada, 2022, IEEE Transactions on Artificial Intelligence.

PDDL Authoring and Validation Environment for Building end-to-end Planning Solutions

Maria Fox, Derek Long, Jan Dolejsi, 2018 .

A Note on Concurrency and Complexity in Temporal Planning

Maria Fox, Derek Long, 2007 .

Planning with Linear Continuous Numeric Change

Andrew Coles, Maria Fox, Derek Long, 2008 .

The identification and exploitation of almost symmetry in planning problems

Maria Fox, Derek Long, Julie Porteous, 2004 .

The AIPS-98 planning competition: competitors' perspectives

Henry Kautz, Derek Long, Blai Bonet, 2000 .

Symmetries in planning problems

Maria Fox, Derek Long, 2003 .

Wizard : Compiled Macro-Actions for Planner-Domain Pairs

John Levine, Maria Fox, Derek Long, .

The Effects of the Integrated Learning Environment on Student Performance at the Navy and Marine Corps Intelligence Training Center

Maria Fox, Maria Fox, 2009 .

Developing Autonomous AI Planning and Scheduling Technologies for Remote Planetary Exploration

Maria Fox, Roger Ward, D. P. Long, 2003 .

Efficient Search for Known Objects in Unknown Environments Using Autonomous Indoor Robots

Maria Fox, Derek Long, Zeyn Saigol, 2015 .

Plan permutation symmetries as a source of inefficiency in planning

Maria Fox, Derek Long, 2003 .