default search action
Maria Fox 0001
Person information
- affiliation: British Antarctic Survey, Cambridge, UK
Other persons with the same name
- Maria Fox 0002 — University of Illinois at Urbana-Champaign, IL, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [i15]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 abs/2401.06009 (2024) - 2022
- [j26]Josef Bajada, Maria Fox, Derek Long:
Efficient Temporal Piecewise-Linear Numeric Planning With Lazy Consistency Checking. IEEE Trans. Artif. Intell. 3(4): 506-517 (2022) - [i14]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 abs/2209.02389 (2022) - 2021
- [i13]Josef Bajada, Maria Fox, Derek Long:
Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking. CoRR abs/2105.10176 (2021) - [i12]Maria Fox, Michael Meredith, J. Alexander Brearley, Dan Jones, Derek Long:
Long-Range Route-planning for Autonomous Vehicles in the Polar Oceans. CoRR abs/2111.00293 (2021)
2010 – 2019
- 2018
- [j25]Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder:
Opportunistic Planning in Autonomous Underwater Missions. IEEE Trans Autom. Sci. Eng. 15(2): 519-530 (2018) - 2017
- [j24]Sara Bernardini, Maria Fox, Derek Long:
Combining temporal planning with probabilistic reasoning for autonomous surveillance missions. Auton. Robots 41(1): 181-203 (2017) - [c71]Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini:
Deterministic versus Probabilistic Methods for Searching for an Evasive Target. AAAI 2017: 3709-3715 - [c70]Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio:
PDDL+ Planning with Temporal Pattern Databases. AAAI Workshops 2017 - [c69]Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini:
Boosting Search Guidance in Problems with Semantic Attachments. ICAPS 2017: 29-37 - [i11]Maria Fox, Derek Long, Daniele Magazzeni:
Explainable Planning. CoRR abs/1709.10256 (2017) - 2016
- [j23]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): 1279-1306 (2016) - [c68]Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni:
A Compilation of the Full PDDL+ Language into SMT. AAAI Workshop: Planning for Hybrid Systems 2016 - [c67]Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio:
Heuristic Planning for Hybrid Systems. AAAI 2016: 4254-4255 - [c66]Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio:
Heuristic Planning for PDDL+ Domains. AAAI Workshop: Planning for Hybrid Systems 2016 - [c65]Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini:
Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking. ICAPS 2016: 47-55 - [c64]Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni:
A Compilation of the Full PDDL+ Language into SMT. ICAPS 2016: 79-87 - [c63]Chiara Piacentini, Daniele Magazzeni, Derek Long, Maria Fox, Chris J. Dent:
Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions. ICAPS 2016: 421-430 - [c62]Emre Savas, Maria Fox, Derek Long, Daniele Magazzeni:
Planning Using Actions with Control Parameters. ECAI 2016: 1185-1193 - [c61]Josef Bajada, Maria Fox, Derek Long:
Temporal Planning with Constants in Context. ECAI 2016: 1712-1713 - [c60]Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio:
Heuristic Planning for PDDL+ Domains. IJCAI 2016: 3213-3219 - [c59]Atif Talukdar, Maria Fox, Derek Long:
Pattern Based Temporal Inference In Forward Search Temporal Planning. PlanSIG 2016 - [e6]Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen:
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). Frontiers in Artificial Intelligence and Applications 285, IOS Press 2016, ISBN 978-1-61499-671-2 [contents] - 2015
- [j22]Chiara Piacentini, Varvara Alimisis, Maria Fox, Derek Long:
An extension of metric temporal planning with application to AC voltage control. Artif. Intell. 229: 210-245 (2015) - [c58]Chiara Piacentini, Maria Fox, Derek Long:
Planning with Numeric Timed Initial Fluents. AAAI 2015: 4196-4197 - [c57]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: 333-341 - [c56]Josef Bajada, Maria Fox, Derek Long:
Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours. IJCAI 2015: 1523-1529 - 2014
- [j21]Maria Fox, Luc De Raedt:
Introduction to the Special Issue on the ECAI 2012 Turing and Anniversary Track. AI Commun. 27(1): 1 (2014) - [j20]Daniele Magazzeni, Frédéric Py, Maria Fox, Derek Long, Kanna Rajan:
Policy learning for autonomous feature tracking. Auton. Robots 37(1): 47-69 (2014) - [c55]Johannes Löhr, Martin Wehrle, Maria Fox, Bernhard Nebel:
Symbolic Domain Predictive Control. AAAI 2014: 2315-2321 - [c54]Sara Bernardini, Maria Fox, Derek Long:
Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions. ICAPS 2014 - [c53]Bram Ridder, Maria Fox:
Heuristic Evaluation Based on Lifted Relaxed Planning Graphs. ICAPS 2014 - [c52]Maria Fox:
A Modular Architecture for Hybrid Planning with Theories. CP 2014: 1-2 - [c51]Michael Cashmore, Maria Fox, Tom Larkworthy, Derek Long, Daniele Magazzeni:
AUV mission control via temporal planning. ICRA 2014: 6535-6541 - [c50]Josef Bajada, Maria Fox, Derek Long:
Temporal Plan Quality Improvement and Repair using Local Search. STAIRS 2014: 41-50 - [i10]Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long:
COLIN: Planning with Continuous Linear Numeric Change. CoRR abs/1401.5857 (2014) - [i9]Maria Fox, Derek Long, Daniele Magazzeni:
Plan-based Policies for Efficient Multiple Battery Load Management. CoRR abs/1401.5859 (2014) - [i8]Amanda Jane Coles, Andrew Ian Coles, Maria Fox, Derek Long:
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning. CoRR abs/1402.0564 (2014) - [i7]Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku:
Automated Planning and Model Checking (Dagstuhl Seminar 14482). Dagstuhl Reports 4(11): 227-245 (2014) - 2013
- [j19]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: 343-412 (2013) - [c49]Sara Bernardini, Maria Fox, Derek Long, John Bookless:
Autonomous Search and Tracking via Temporal Planning. ICAPS 2013 - [c48]Joshua Campion, Chris J. Dent, Maria Fox, Derek Long, Daniele Magazzeni:
Challenge: Modelling Unit Commitment as a Planning Problem. ICAPS 2013 - [c47]Michael Cashmore, Maria Fox, Enrico Giunchiglia:
Partially Grounded Planning as Quantified Boolean Formula. ICAPS 2013 - [c46]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 - [c45]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: 1-5 - [i6]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 abs/1306.3551 (2013) - 2012
- [j18]Maria Fox, Manuela M. Veloso, Eric Horvitz:
Introducing Worldwide AI. AI Mag. 33(1): 95- (2012) - [j17]Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long:
COLIN: Planning with Continuous Linear Numeric Change. J. Artif. Intell. Res. 44: 1-96 (2012) - [j16]Maria Fox, Derek Long, Daniele Magazzeni:
Plan-based Policies for Efficient Multiple Battery Load Management. J. Artif. Intell. Res. 44: 335-382 (2012) - [c44]Maria Fox, Derek Long, Daniele Magazzeni:
Plan-Based Policy-Learning for Autonomous Feature Tracking. ICAPS 2012 - [c43]Peter Gregory, Derek Long, Maria Fox, J. Christopher Beck:
Planning Modulo Theories: Extending the Planning Paradigm. ICAPS 2012 - [c42]Michael Cashmore, Maria Fox, Enrico Giunchiglia:
Planning as Quantified Boolean Formula. ECAI 2012: 217-222 - 2011
- [c41]Maria Fox, Derek Long, Daniele Magazzeni:
Automatic Construction of Efficient Multiple Battery Usage Policies. ICAPS 2011 - [c40]Maria Fox, Derek Long, Daniele Magazzeni:
Automatic Construction of Efficient Multiple Battery Usage Policies. IJCAI 2011: 2620-2625 - [i5]Maria Fox, Derek Long:
The Automatic Inference of State Invariants in TIM. CoRR abs/1105.5451 (2011) - [i4]Maria Fox, Derek Long:
Efficient Implementation of the Plan Graph in STAN. CoRR abs/1105.5457 (2011) - [i3]Maria Fox, Derek Long:
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. CoRR abs/1106.4561 (2011) - [i2]Maria Fox, Derek Long:
The 3rd International Planning Competition: Results and Analysis. CoRR abs/1106.5998 (2011) - [i1]Maria Fox, Derek Long:
Modelling Mixed Discrete-Continuous Domains for Planning. CoRR abs/1110.2200 (2011) - 2010
- [c39]Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long:
Forward-Chaining Partial-Order Planning. ICAPS 2010: 42-49 - [c38]Peter Gregory, Derek Long, Maria Fox:
Constraint Based Planning with Composable Substate Graphs. ECAI 2010: 453-458 - [p1]Ernesto Estrada, Maria Fox, Desmond J. Higham, Gian-Luca Oppo:
Complex Networks: An Invitation. Network Science 2010: 1-11 - [e5]Ernesto Estrada, Maria Fox, Desmond J. Higham, Gian-Luca Oppo:
Network Science - Complexity in Nature and Technology. Springer 2010, ISBN 978-1-84996-395-4 [contents] - [e4]Maria Fox, David Poole:
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. AAAI Press 2010 [contents]
2000 – 2009
- 2009
- [j15]Andrew Coles, Maria Fox, Keith Halsey, Derek Long, Amanda Smith:
Managing concurrency in temporal planning using planner-scheduler interaction. Artif. Intell. 173(1): 1-44 (2009) - [j14]Maria Fox, Sylvie Thiébaux:
Advances in automated plan generation. Artif. Intell. 173(5-6): 501-502 (2009) - [j13]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): 37-57 (2009) - [j12]Rong Qu, Maria Fox, Derek Long:
Editorial for AI planning and scheduling. J. Sched. 12(3): 225-226 (2009) - [c37]Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long:
Extending the Use of Inference in Temporal Planning as Forwards Search. ICAPS 2009 - [c36]Alan Lindsay, Maria Fox, Derek Long:
Lifting the Limitations in a Rule-based Policy Language. FLAIRS 2009 - [c35]Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long:
Temporal Planning in Domains with Linear Processes. IJCAI 2009: 1671-1676 - 2008
- [j11]Mark S. Boddy, Maria Fox, Sylvie Thiébaux:
The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). AI Mag. 29(3): 116-119 (2008) - [c34]Andrew Coles, Maria Fox, Derek Long, Amanda Smith:
Planning with Problems Requiring Temporal Coordination. AAAI 2008: 892-897 - [c33]Andrew Coles, Maria Fox, Derek Long, Amanda Smith:
Additive-Disjunctive Heuristics for Optimal Planning. ICAPS 2008: 44-51 - [c32]Andrew Coles, Maria Fox, Derek Long, Amanda Smith:
A Hybrid Relaxed Planning Graph'LP Heuristic for Numeric Planning Domains. ICAPS 2008: 52-59 - [c31]Peter Gregory, Maria Fox, Derek Long:
A New Empirical Study of Weak Backdoors. CP 2008: 618-623 - 2007
- [c30]Maria Fox, Derek Long, Julie Porteous:
Discovering Near Symmetry in Graphs. AAAI 2007: 415-420 - [c29]Maria Fox, Jonathan Gough, Derek Long:
Detecting Execution Failures Using Learned Action Models. AAAI 2007: 968-973 - [c28]Andrew Coles, Maria Fox, Derek Long, Amanda Smith:
Planning with Respect to an Existing Schedule of Events. ICAPS 2007: 81-88 - [c27]Andrew Coles, Maria Fox, Amanda Smith:
A New Local-Search Algorithm for Forward-Chaining Planning. ICAPS 2007: 89-96 - [c26]Andrew Coles, Maria Fox, Amanda Smith:
Online Identification of Useful Macro-Actions for Planning. ICAPS 2007: 97-104 - [c25]Muhammad Abdul Hakim Newton, John Levine, Maria Fox, Derek Long:
Learning Macro-Actions for Arbitrary Planners and Domains. ICAPS 2007: 256-263 - [c24]Peter Gregory, Derek Long, Maria Fox:
A Meta-CSP Model for Optimal Planning. SARA 2007: 200-214 - [e3]Mark S. Boddy, Maria Fox, Sylvie Thiébaux:
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007. AAAI 2007, ISBN 978-1-57735-344-7 [contents] - 2006
- [j10]Maria Fox, Malik Ghallab, Guillaume Infantes, Derek Long:
Robot introspection through learned hidden Markov models. Artif. Intell. 170(2): 59-113 (2006) - [j9]Maria Fox, Derek Long:
Modelling Mixed Discrete-Continuous Domains for Planning. J. Artif. Intell. Res. 27: 235-297 (2006) - [c23]Maria Fox, Richard Howey, Derek Long:
Exploration of the Robustness of Plans. AAAI 2006: 834-839 - [c22]Maria Fox, Alfonso Gerevini, Derek Long, Ivan Serina:
Plan Stability: Replanning versus Plan Repair. ICAPS 2006: 212-221 - [c21]Maria Fox:
Planning for Mixed Discrete Continuous Domains. CPAIOR 2006: 2 - 2005
- [c20]Maria Fox, Richard Howey, Derek Long:
Validating Plans in the Context of Processes and Exogenous Events. AAAI 2005: 1151-1156 - [c19]Alexandra M. Coddington, Maria Fox, Jonathan Gough, Derek Long, Ivan Serina:
MADbot: A Motivated and Goal Directed Robot. AAAI 2005: 1680-1681 - [c18]Maria Fox, Derek Long, Julie Porteous:
Abstraction-based Action Ordering in Planning. IJCAI 2005: 1220-1225 - [r1]Maria Fox, Derek Long:
Time in Planning. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 497-536 - 2004
- [c17]Maria Fox, Derek Long, Keith Halsey:
An Investigation into the Expressive Power of PDDL2.1. ECAI 2004: 328-342 - [c16]Keith Halsey, Derek Long, Maria Fox:
Multiple Relaxations in Temporal Planning. ECAI 2004: 1029-1030 - [c15]Richard Howey, Derek Long, Maria Fox:
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL. ICTAI 2004: 294-301 - 2003
- [j8]Derek Long, Maria Fox:
The 3rd International Planning Competition: Results and Analysis. J. Artif. Intell. Res. 20: 1-59 (2003) - [j7]Maria Fox, Derek Long:
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. J. Artif. Intell. Res. 20: 61-124 (2003) - [c14]Derek Long, Maria Fox:
Exploiting a Graphplan Framework in Temporal Planning. ICAPS 2003: 52-61 - 2002
- [c13]Maria Fox, Derek Long:
Fast Temporal Planning in a Graphplan Framework. AIPS Workshop on Planning for Temporal Domains 2002: 9-17 - [c12]Maria Fox, Derek Long:
Extending the Exploitation of Symmetries in Planning. AIPS 2002: 83-91 - [c11]Maria Fox, Derek Long:
The Third International Planning Competition: Temporal and Metric Planning. AIPS 2002: 333- - [c10]Antonio Garrido, Maria Fox, Derek Long:
A Temporal Planning System for Durative Actions of PDDL2.1. ECAI 2002: 586-590 - [c9]Derek Long, Maria Fox, Muna Hamdi:
Reformulation in Planning. SARA 2002: 18-32 - [e2]Maria Fox, Alexandra M. Coddington:
AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002. 2002 [contents] - 2001
- [j6]Maria Fox, Derek Long:
STAN4: A Hybrid Planning Strategy Based on Subproblem Abstraction. AI Mag. 22(3): 81-84 (2001) - [c8]Maria Fox, Derek Long:
Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning. IJCAI 2001: 445-452 - 2000
- [j5]Derek Long, Henry A. Kautz, Bart Selman, Blai Bonet, Hector Geffner, Jana Koehler, Michael Brenner, Jörg Hoffmann, Frank Rittinger, Corin R. Anderson, Daniel S. Weld, David E. Smith, Maria Fox:
The AIPS-98 Planning Competition. AI Mag. 21(2): 13-33 (2000) - [c7]Maria Fox, Derek Long:
Utilizing Automatically Inferred Invariants in Graph Construction and Search. AIPS 2000: 102-111 - [c6]Derek Long, Maria Fox:
Automatic Synthesis and Use of Generic Types in Planning. AIPS 2000: 196-205 - [e1]Susanne Biundo, Maria Fox:
Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings. Lecture Notes in Computer Science 1809, Springer 2000, ISBN 3-540-67866-2 [contents]
1990 – 1999
- 1999
- [j4]Derek Long, Maria Fox:
Efficient Implementation of the Plan Graph in STAN. J. Artif. Intell. Res. 10: 87-115 (1999) - [c5]Maria Fox, Derek Long:
The Detection and Exploitation of Symmetry in Planning Problems. IJCAI 1999: 956-961 - 1998
- [j3]Maria Fox, Derek Long:
The Automatic Inference of State Invariants in TIM. J. Artif. Intell. Res. 9: 367-421 (1998) - 1997
- [c4]Maria Fox:
Natural Hierarchical Planning Using Operator Decomposition. ECP 1997: 195-207 - 1996
- [j2]Maria Fox, Derek Long:
An Efficient Algorithm for Managing Partial Orders in Planning. SIGART Bull. 7(4): 3-12 (1996) - [c3]Chris Reed, Derek Long, Maria Fox, Max Garagnani:
Persuasion as a Form of Inter-Agent Negotiation. DAI 1996: 120-136 - [c2]Chris Reed, Derek Long, Maria Fox:
An Architecture fro Argumentative Dialogue Planning. FAPR 1996: 555-566 - 1993
- [j1]Nigel Chapman, Maria Fox, Elpida Keravnou, Matthew Lee, Mark Levene, Derek Long, Peter Rounce, Ray Offen, Paul A. Samet, Russel L. Winder:
'Slick Systems' and 'Happy Hackers': experience with group projects at UCL. Softw. Eng. J. 8(3): 132-136 (1993) - [c1]Maria Fox, Derek Long:
A Note on Chapman's Modal Truth Criterion. EPIA 1993: 307-310
1980 – 1989
- 1989
- [b1]Maria Fox:
A constructive paradigm of hierarchical planning. University of Hertfordshire, UK, 1989