Charles Gretton

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 14

Top Topics

Heuristic Search

Enforced Hill Climbing

Planning Problems

Top Venues

Publications

Xiaodi Zhang, Alban Grastien, Charles Gretton
A Counter-Example Based Approach to Probabilistic Conformant Planning. ICAPS (2024)
Patrick Liston, Charles Gretton, Artem Lensky
The Role of Stop-Loss Orders in Market Efficiency and Stability: An Agent-Based Study. ICAART (1) (2024)
Ava Clifton, Charles Gretton
Property Directed Reachability for Planning Revisited. KR (2023)
Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu
Dagster: Parallel Structured Search. AAAI (2023)
Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu
Dagster: Parallel Structured Search with Case Studies. PRICAI (1) (2022)
Jeffrey Smith, Jesse Cranney, Charles Gretton, Damien Gratadour
Enhanced adaptive optics control with image to image translation. UAI (2022)
Hanna Grzybowska, Briscoe Kerferd, Charles Gretton, S. Travis Waller
A simulation-optimisation genetic algorithm approach to product allocation in vending machine systems. Expert Syst. Appl. 145 (2020)
Mohammad Abdulaziz, Charles Gretton, Michael Norrish
A Verified Compositional Algorithm for AI Planning. ITP (2019)
Chamin Hewa Koneputugodage, Rhys Healy, Sean Lamont, Ian Mallett, Matt Brown, Matt Walters, Ushini Attanayake, Libo Zhang, Roger T. Dean, Alexander Hunter, Charles Gretton, Christian Walder
Computer Assisted Composition in Continuous Time. CoRR (2019)
Mohammad Abdulaziz, Michael Norrish, Charles Gretton
Formally Verified Algorithms for Upper-Bounding State Space Diameters. J. Autom. Reason. 61 (1-4) (2018)
Tony Allard, Charles Gretton, Patrik Haslum
A TIL-Relaxed Heuristic for Planning with Time Windows. ICAPS (2018)
Marc Hanheide, Moritz Göbelbecker, Graham S. Horn, Andrzej Pronobis, Kristoffer Sjöö, Alper Aydemir, Patric Jensfelt, Charles Gretton, Richard Dearden, Miroslav Janícek, Hendrik Zender, Geert-Jan M. Kruijff, Nick Hawes, Jeremy L. Wyatt
Robot task planning and explanation in open and uncertain worlds. Artif. Intell. 247 (2017)
Mohammad Abdulaziz, Charles Gretton, Michael Norrish
A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds. ICAPS (2017)
Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh
A Study of Proxies for Shapley Allocations of Transport Costs. J. Artif. Intell. Res. 56 (2016)
Mohammad Abdulaziz, Charles Gretton, Michael Norrish
Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems. ITP (2015)
Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Scott Mattei, Toby Walsh
A Study of Proxies for Shapley Allocations of Transport Costs. AAAI Workshop: AI for Transportation (2015)
Mohammad Abdulaziz, Michael Norrish, Charles Gretton
Exploiting Symmetries by Planning for a Descriptive Quotient. IJCAI (2015)
Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh
A Study of Proxies for Shapley Allocations of Transport Costs. CoRR (2014)
Charles Gretton
A More Expressive Behavioral Logic for Decision-Theoretic Planning. PRICAI (2014)
Charles Gretton, David Price, Sylvie Thiébaux
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards CoRR (2012)
Charles Gretton, Sylvie Thiébaux
Exploiting First-Order Regression in Inductive Policy Selection CoRR (2012)
Moritz Göbelbecker, Charles Gretton, Richard Dearden
A Switching Planner for Combined Task and Observation Planning. AAAI (2011)
Charles Gretton, Froduald Kabanza, David Price, John K. Slaney, Sylvie Thiébaux
Decision-Theoretic Planning with non-Markovian Rewards CoRR (2011)
Marc Hanheide, Charles Gretton, Richard Dearden, Nick Hawes, Jeremy L. Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Göbelbecker, Hendrik Zender
Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour. IJCAI (2011)
Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar
Partial Weighted MaxSAT for Optimal Planning. PRICAI (2010)
Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar
SAT-Based Parallel Planning Using a Split Representation of Actions. ICAPS (2009)
Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar
Combining Adaptive and Dynamic Local Search for Satisfiability. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar
A Compact and Efficient SAT Encoding for Planning. ICAPS (2008)
Felix Werner, Charles Gretton, Frédéric Maire, Joaquin Sitte
Induction of topological environment maps from sequences of visited places. IROS (2008)
Charles Gretton
Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies. ICAPS (2007)
Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar
Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence (2007)
Silvia Richter, Malte Helmert, Charles Gretton
A Stochastic Local Search Approach to Vertex Cover. KI (2007)
Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza
Decision-Theoretic Planning with non-Markovian Rewards. J. Artif. Intell. Res. 25 (2006)
Charles Gretton, Sylvie Thiébaux
Exploiting First-Order Regression in Inductive Policy Selection. UAI (2004)
Kerry L. Taylor, Charles Gretton
Ants caught in the Semantic Web: A study in the application of description logic to animal systematics. SSDBM (2004)
Charles Gretton, David Price, Sylvie Thiébaux
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. UAI (2003)