Maria Fox - RankMe

122 papers A* 44A 10B 2Misc 2Journal 42Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones. J. Artif. Intell. Res. Jonathan D. Smith, Samuel Hall, George Coombs, Harrison Abbot, Ayat Fekry, Michael A. S. Thorne, Derek Long, Maria Fox
2024	J	`jnl`	Sea ice detection using concurrent multispectral and synthetic aperture radar imagery. CoRR Martin S. J. Rogers, Maria Fox, Andrew Fleming, Louisa van Zeeland, Jeremy Wilkinson, J. Scott Hosking
2022	J	`jnl`	Autonomous Passage Planning for a Polar Vessel. CoRR Jonathan D. Smith, Samuel Hall, George Coombs, James Byrne, Michael A. S. Thorne, J. Alexander Brearley, Derek Long, Michael Meredith, Maria Fox
2022	J	`jnl`	Efficient Temporal Piecewise-Linear Numeric Planning With Lazy Consistency Checking. IEEE Trans. Artif. Intell. Josef Bajada, Maria Fox, Derek Long
2021	J	`jnl`	Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking. CoRR Josef Bajada, Maria Fox, Derek Long
2021	J	`jnl`	Long-Range Route-planning for Autonomous Vehicles in the Polar Oceans. CoRR Maria Fox, Michael Meredith, J. Alexander Brearley, Dan Jones, Derek Long
2018	J	`jnl`	Opportunistic Planning in Autonomous Underwater Missions. IEEE Trans Autom. Sci. Eng. Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder
2017	A*	`conf`	Boosting Search Guidance in Problems with Semantic Attachments. ICAPS Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini
2017	J	`jnl`	Combining temporal planning with probabilistic reasoning for autonomous surveillance missions. Auton. Robots Sara Bernardini, Maria Fox, Derek Long
2017	A*	`conf`	Deterministic versus Probabilistic Methods for Searching for an Evasive Target. AAAI Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini
2017	J	`jnl`	Explainable Planning. CoRR Maria Fox, Derek Long, Daniele Magazzeni
2017	—	`conf`	PDDL+ Planning with Temporal Pattern Databases. AAAI Workshops Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
2016	—	`conf`	A Compilation of the Full PDDL+ Language into SMT. AAAI Workshop: Planning for Hybrid Systems Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
2016	A*	`conf`	A Compilation of the Full PDDL+ Language into SMT. ICAPS Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
2016	A	`ed.`	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) ECAI Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen
2016	A*	`conf`	Heuristic Planning for Hybrid Systems. AAAI Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
2016	—	`conf`	Heuristic Planning for PDDL+ Domains. AAAI Workshop: Planning for Hybrid Systems Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
2016	A*	`conf`	Heuristic Planning for PDDL+ Domains. IJCAI Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
2016	A*	`conf`	Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking. ICAPS Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini
2016	—	`conf`	Pattern Based Temporal Inference In Forward Search Temporal Planning. PlanSIG Atif Talukdar, Maria Fox, Derek Long
2016	A	`conf`	Planning Using Actions with Control Parameters. ECAI Emre Savas, Maria Fox, Derek Long, Daniele Magazzeni
2016	A*	`conf`	Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions. ICAPS Chiara Piacentini, Daniele Magazzeni, Derek Long, Maria Fox, Chris J. Dent
2016	A	`conf`	Temporal Planning with Constants in Context. ECAI Josef Bajada, Maria Fox, Derek Long
2016	J	`jnl`	Toward persistent autonomous intervention in a subsea panel. Auton. Robots 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
2015	J	`jnl`	An extension of metric temporal planning with application to AC voltage control. Artif. Intell. Chiara Piacentini, Varvara Alimisis, Maria Fox, Derek Long
2015	A*	`conf`	Planning with Numeric Timed Initial Fluents. AAAI Chiara Piacentini, Maria Fox, Derek Long
2015	A*	`conf`	ROSPlan: Planning in the Robot Operating System. ICAPS Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder, Arnau Carrera, Narcís Palomeras, Natàlia Hurtós, Marc Carreras
2015	A*	`conf`	Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours. IJCAI Josef Bajada, Maria Fox, Derek Long
2014	J	`jnl`	A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning. CoRR Amanda Jane Coles, Andrew Ian Coles, Maria Fox, Derek Long
2014	A	`conf`	A Modular Architecture for Hybrid Planning with Theories. CP Maria Fox
2014	A*	`conf`	AUV mission control via temporal planning. ICRA Michael Cashmore, Maria Fox, Tom Larkworthy, Derek Long, Daniele Magazzeni
2014	J	`jnl`	Automated Planning and Model Checking (Dagstuhl Seminar 14482). Dagstuhl Reports Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku
2014	J	`jnl`	COLIN: Planning with Continuous Linear Numeric Change. CoRR Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
2014	A*	`conf`	Heuristic Evaluation Based on Lifted Relaxed Planning Graphs. ICAPS Bram Ridder, Maria Fox
2014	J	`jnl`	Introduction to the Special Issue on the ECAI 2012 Turing and Anniversary Track. AI Commun. Maria Fox, Luc De Raedt
2014	J	`jnl`	Plan-based Policies for Efficient Multiple Battery Load Management. CoRR Maria Fox, Derek Long, Daniele Magazzeni
2014	A*	`conf`	Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions. ICAPS Sara Bernardini, Maria Fox, Derek Long
2014	J	`jnl`	Policy learning for autonomous feature tracking. Auton. Robots Daniele Magazzeni, Frédéric Py, Maria Fox, Derek Long, Kanna Rajan
2014	A*	`conf`	Symbolic Domain Predictive Control. AAAI Johannes Löhr, Martin Wehrle, Maria Fox, Bernhard Nebel
2014	—	`conf`	Temporal Plan Quality Improvement and Repair using Local Search. STAIRS Josef Bajada, Maria Fox, Derek Long
2013	J	`jnl`	A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning. J. Artif. Intell. Res. Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
2013	A*	`conf`	Autonomous Search and Tracking via Temporal Planning. ICAPS Sara Bernardini, Maria Fox, Derek Long, John Bookless
2013	A*	`conf`	Challenge: Modelling Unit Commitment as a Planning Problem. ICAPS Joshua Campion, Chris J. Dent, Maria Fox, Derek Long, Daniele Magazzeni
2013	A*	`conf`	Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity Network. ICAPS Chiara Piacentini, Varvara Alimisis, Maria Fox, Derek Long
2013	—	`conf`	Load modelling and simulation of household electricity consumption for the evaluation of demand-side management strategies. ISGT Europe Josef Bajada, Maria Fox, Derek Long
2013	A*	`conf`	Partially Grounded Planning as Quantified Boolean Formula. ICAPS Michael Cashmore, Maria Fox, Enrico Giunchiglia
2013	J	`jnl`	Proceedings of the 2nd Workshop on Robots in Clutter: Preparing robots for the real world (Berlin, 2013). CoRR Michael Zillich, Maren Bennewitz, Maria Fox, Justus H. Piater, Dejan Pangercic
2012	J	`jnl`	COLIN: Planning with Continuous Linear Numeric Change. J. Artif. Intell. Res. Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
2012	J	`jnl`	Introducing Worldwide AI. AI Mag. Maria Fox, Manuela M. Veloso, Eric Horvitz
2012	A*	`conf`	Plan-Based Policy-Learning for Autonomous Feature Tracking. ICAPS Maria Fox, Derek Long, Daniele Magazzeni
2012	J	`jnl`	Plan-based Policies for Efficient Multiple Battery Load Management. J. Artif. Intell. Res. Maria Fox, Derek Long, Daniele Magazzeni
2012	A*	`conf`	Planning Modulo Theories: Extending the Planning Paradigm. ICAPS Peter Gregory, Derek Long, Maria Fox, J. Christopher Beck
2012	A	`conf`	Planning as Quantified Boolean Formula. ECAI Michael Cashmore, Maria Fox, Enrico Giunchiglia
2011	A*	`conf`	Automatic Construction of Efficient Multiple Battery Usage Policies. ICAPS Maria Fox, Derek Long, Daniele Magazzeni
2011	A*	`conf`	Automatic Construction of Efficient Multiple Battery Usage Policies. IJCAI Maria Fox, Derek Long, Daniele Magazzeni
2011	J	`jnl`	Efficient Implementation of the Plan Graph in STAN CoRR Maria Fox, Derek Long
2011	J	`jnl`	Modelling Mixed Discrete-Continuous Domains for Planning CoRR Maria Fox, Derek Long
2011	J	`jnl`	PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains CoRR Maria Fox, Derek Long
2011	J	`jnl`	The 3rd International Planning Competition: Results and Analysis CoRR Maria Fox, Derek Long
2011	J	`jnl`	The Automatic Inference of State Invariants in TIM CoRR Maria Fox, Derek Long
2010	—	`ch.`	Complex Networks: An Invitation. Network Science Ernesto Estrada, Maria Fox, Desmond J. Higham, Gian-Luca Oppo
2010	A	`conf`	Constraint Based Planning with Composable Substate Graphs. ECAI Peter Gregory, Derek Long, Maria Fox
2010	A*	`conf`	Forward-Chaining Partial-Order Planning. ICAPS Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
2010	—	`book`	Network Science - Complexity in Nature and Technology. Network Science Ernesto Estrada, Maria Fox, Desmond J. Higham, Gian-Luca Oppo
2010	A*	`ed.`	Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010 AAAI Maria Fox, David Poole
2009	J	`jnl`	Advances in automated plan generation. Artif. Intell. Maria Fox, Sylvie Thiébaux
2009	J	`jnl`	Editorial for AI planning and scheduling. J. Sched. Rong Qu, Maria Fox, Derek Long
2009	A*	`conf`	Extending the Use of Inference in Temporal Planning as Forwards Search. ICAPS Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
2009	Misc	`conf`	Lifting the Limitations in a Rule-based Policy Language. FLAIRS Alan Lindsay, Maria Fox, Derek Long
2009	J	`jnl`	Managing concurrency in temporal planning using planner-scheduler interaction. Artif. Intell. Andrew Coles, Maria Fox, Keith Halsey, Derek Long, Amanda Smith
2009	A*	`conf`	Temporal Planning in Domains with Linear Processes. IJCAI Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
2009	J	`jnl`	The role of AI planning as a decision support tool in power substation management. AI Commun. Keith Bell, Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long
2008	A*	`conf`	A Hybrid Relaxed Planning Graph'LP Heuristic for Numeric Planning Domains. ICAPS Andrew Coles, Maria Fox, Derek Long, Amanda Smith
2008	A	`conf`	A New Empirical Study of Weak Backdoors. CP Peter Gregory, Maria Fox, Derek Long
2008	A*	`conf`	Additive-Disjunctive Heuristics for Optimal Planning. ICAPS Andrew Coles, Maria Fox, Derek Long, Amanda Smith
2008	A*	`conf`	Planning with Problems Requiring Temporal Coordination. AAAI Andrew Coles, Maria Fox, Derek Long, Amanda Smith
2008	J	`jnl`	The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). AI Mag. Mark S. Boddy, Maria Fox, Sylvie Thiébaux
2007	—	`conf`	A Meta-CSP Model for Optimal Planning. SARA Peter Gregory, Derek Long, Maria Fox
2007	A*	`conf`	A New Local-Search Algorithm for Forward-Chaining Planning. ICAPS Andrew Coles, Maria Fox, Amanda Smith
2007	A*	`conf`	Detecting Execution Failures Using Learned Action Models. AAAI Maria Fox, Jonathan Gough, Derek Long
2007	A*	`conf`	Discovering Near Symmetry in Graphs. AAAI Maria Fox, Derek Long, Julie Porteous
2007	A*	`conf`	Learning Macro-Actions for Arbitrary Planners and Domains. ICAPS Muhammad Abdul Hakim Newton, John Levine, Maria Fox, Derek Long
2007	A*	`conf`	Online Identification of Useful Macro-Actions for Planning. ICAPS Andrew Coles, Maria Fox, Amanda Smith
2007	A*	`conf`	Planning with Respect to an Existing Schedule of Events. ICAPS Andrew Coles, Maria Fox, Derek Long, Amanda Smith
2007	A*	`ed.`	Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007 ICAPS Mark S. Boddy, Maria Fox, Sylvie Thiébaux
2006	A*	`conf`	Exploration of the Robustness of Plans. AAAI Maria Fox, Richard Howey, Derek Long
2006	J	`jnl`	Modelling Mixed Discrete-Continuous Domains for Planning. J. Artif. Intell. Res. Maria Fox, Derek Long
2006	A*	`conf`	Plan Stability: Replanning versus Plan Repair. ICAPS Maria Fox, Alfonso Gerevini, Derek Long, Ivan Serina
2006	B	`conf`	Planning for Mixed Discrete Continuous Domains. CPAIOR Maria Fox
2006	J	`jnl`	Robot introspection through learned hidden Markov models. Artif. Intell. Maria Fox, Malik Ghallab, Guillaume Infantes, Derek Long
2005	A*	`conf`	Abstraction-based Action Ordering in Planning. IJCAI Maria Fox, Derek Long, Julie Porteous
2005	A*	`conf`	MADbot: A Motivated and Goal Directed Robot. AAAI Alexandra M. Coddington, Maria Fox, Jonathan Gough, Derek Long, Ivan Serina
2005	—	`ch.`	Time in Planning. Handbook of Temporal Reasoning in Artificial Intelligence Maria Fox, Derek Long
2005	A*	`conf`	Validating Plans in the Context of Processes and Exogenous Events. AAAI Maria Fox, Richard Howey, Derek Long
2004	A	`conf`	An Investigation into the Expressive Power of PDDL2.1. ECAI Maria Fox, Derek Long, Keith Halsey
2004	A	`conf`	Multiple Relaxations in Temporal Planning. ECAI Keith Halsey, Derek Long, Maria Fox
2004	B	`conf`	VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL. ICTAI Richard Howey, Derek Long, Maria Fox
2003	A*	`conf`	Exploiting a Graphplan Framework in Temporal Planning. ICAPS Derek Long, Maria Fox
2003	J	`jnl`	PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. J. Artif. Intell. Res. Maria Fox, Derek Long
2003	J	`jnl`	The 3rd International Planning Competition: Results and Analysis. J. Artif. Intell. Res. Derek Long, Maria Fox
2002	A	`conf`	A Temporal Planning System for Durative Actions of PDDL2.1. ECAI Antonio Garrido, Maria Fox, Derek Long
2002	—	`ed.`	AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002 AIPS Workshop on Planning for Temporal Domains Maria Fox, Alexandra M. Coddington
2002	—	`conf`	Extending the Exploitation of Symmetries in Planning. AIPS Maria Fox, Derek Long
2002	—	`conf`	Fast Temporal Planning in a Graphplan Framework. AIPS Workshop on Planning for Temporal Domains Maria Fox, Derek Long
2002	—	`conf`	Reformulation in Planning. SARA Derek Long, Maria Fox, Muna Hamdi
2002	—	`conf`	The Third International Planning Competition: Temporal and Metric Planning. AIPS Maria Fox, Derek Long
2001	A*	`conf`	Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning. IJCAI Maria Fox, Derek Long
2001	J	`jnl`	STAN4: A Hybrid Planning Strategy Based on Subproblem Abstraction. AI Mag. Maria Fox, Derek Long
2000	—	`conf`	Automatic Synthesis and Use of Generic Types in Planning. AIPS Derek Long, Maria Fox
2000	—	`ed.`	Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings ECP Susanne Biundo, Maria Fox
2000	J	`jnl`	The AIPS-98 Planning Competition. AI Mag. 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
2000	—	`conf`	Utilizing Automatically Inferred Invariants in Graph Construction and Search. AIPS Maria Fox, Derek Long
1999	J	`jnl`	Efficient Implementation of the Plan Graph in STAN. J. Artif. Intell. Res. Derek Long, Maria Fox
1999	A*	`conf`	The Detection and Exploitation of Symmetry in Planning Problems. IJCAI Maria Fox, Derek Long
1998	J	`jnl`	The Automatic Inference of State Invariants in TIM. J. Artif. Intell. Res. Maria Fox, Derek Long
1997	—	`conf`	Natural Hierarchical Planning Using Operator Decomposition. ECP Maria Fox
1996	—	`conf`	An Architecture fro Argumentative Dialogue Planning. FAPR Chris Reed, Derek Long, Maria Fox
1996	J	`jnl`	An Efficient Algorithm for Managing Partial Orders in Planning. SIGART Bull. Maria Fox, Derek Long
1996	—	`conf`	Persuasion as a Form of Inter-Agent Negotiation. DAI Chris Reed, Derek Long, Maria Fox, Max Garagnani
1993	J	`jnl`	'Slick Systems' and 'Happy Hackers': experience with group projects at UCL. Softw. Eng. J. Nigel Chapman, Maria Fox, Elpida Keravnou, Matthew Lee, Mark Levene, Derek Long, Peter Rounce, Ray Offen, Paul A. Samet, Russel L. Winder
1993	Misc	`conf`	A Note on Chapman's Modal Truth Criterion. EPIA Maria Fox, Derek Long
1989	—	`—`	A constructive paradigm of hierarchical planning. Maria Fox