Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. - Charles Gretton; David Price; Sylvie Thiébaux (UAI, 2003)

Ants caught in the Semantic Web: A study in the application of description logic to animal systematics. - Kerry L. Taylor; Charles Gretton (SSDBM, 2004)

Exploiting First-Order Regression in Inductive Policy Selection. - Charles Gretton; Sylvie Thiébaux (UAI, 2004)

Decision-Theoretic Planning with non-Markovian Rewards. - Sylvie Thiébaux; Charles Gretton; John K. Slaney; David Price; Froduald Kabanza (J. Artif. Intell. Res., 2006)

Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies. - Charles Gretton (ICAPS, 2007)

Advances in Local Search for Satisfiability. - Duc Nghia Pham; John Thornton 001; Charles Gretton; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2007)

A Stochastic Local Search Approach to Vertex Cover. - Silvia Richter; Malte Helmert; Charles Gretton (KI, 2007)

A Compact and Efficient SAT Encoding for Planning. - Nathan Robinson; Charles Gretton; Duc Nghia Pham; Abdul Sattar 001 (ICAPS, 2008)

Induction of topological environment maps from sequences of visited places. - Felix Werner; Charles Gretton; Frédéric Maire; Joaquin Sitte (IROS, 2008)

Combining Adaptive and Dynamic Local Search for Satisfiability. - Duc Nghia Pham; John Thornton 001; Charles Gretton; Abdul Sattar 001 (J. Satisf. Boolean Model. Comput., 2008)

SAT-Based Parallel Planning Using a Split Representation of Actions. - Nathan Robinson; Charles Gretton; Duc Nghia Pham; Abdul Sattar 001 (ICAPS, 2009)

Partial Weighted MaxSAT for Optimal Planning. - Nathan Robinson; Charles Gretton; Duc Nghia Pham; Abdul Sattar 001 (PRICAI, 2010)

A Switching Planner for Combined Task and Observation Planning. - Moritz Göbelbecker; Charles Gretton; Richard Dearden (AAAI, 2011)

Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour. - Marc Hanheide; Charles Gretton; Richard Dearden; Nick Hawes; Jeremy L. Wyatt; Andrzej Pronobis; Alper Aydemir; Moritz Göbelbecker; Hendrik Zender (IJCAI, 2011)

Computing Upper Bounds on Lengths of Transition Sequences. - Jussi Rintanen; Charles Orgill Gretton (IJCAI, 2013)

A More Expressive Behavioral Logic for Decision-Theoretic Planning. - Charles Gretton (PRICAI, 2014)

Exploiting Symmetries by Planning for a Descriptive Quotient. - Mohammad Abdulaziz; Michael Norrish; Charles Gretton (IJCAI, 2015)

Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems. - Mohammad Abdulaziz; Charles Gretton; Michael Norrish (ITP, 2015)

A Study of Proxies for Shapley Allocations of Transport Costs. - Haris Aziz 001; Casey Cahan; Charles Gretton; Philip Kilby; Nicholas Mattei; Toby Walsh (J. Artif. Intell. Res., 2016)

A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds. - Mohammad Abdulaziz; Charles Gretton; Michael Norrish (ICAPS, 2017)

Robot task planning and explanation in open and uncertain worlds. - 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; et al. (Artif. Intell., 2017)

A TIL-Relaxed Heuristic for Planning with Time Windows. - Tony Allard; Charles Gretton; Patrik Haslum (ICAPS, 2018)

Formally Verified Algorithms for Upper-Bounding State Space Diameters. - Mohammad Abdulaziz; Michael Norrish; Charles Gretton (J. Autom. Reason., 2018)

A Verified Compositional Algorithm for AI Planning. - Mohammad Abdulaziz; Charles Gretton; Michael Norrish (ITP, 2019)

Computer Assisted Composition in Continuous Time. - Chamin Hewa Koneputugodage; Rhys Healy; Sean Lamont; Ian Mallett 002; Matt Brown; Matt Walters; Ushini Attanayake; Libo Zhang; Roger T. Dean; Alexander Hunter; Charles Gretton; Christian Walder (CoRR, 2019)

A simulation-optimisation genetic algorithm approach to product allocation in vending machine systems. - Hanna Grzybowska; Briscoe Kerferd; Charles Gretton; S. Travis Waller (Expert Syst. Appl., 2020)

Dagster: Parallel Structured Search with Case Studies. - Mark Alexander Burgess; Charles Gretton; Josh Milthorpe; Luke Croak; Thomas Willingham; Alwen Tiu (PRICAI (1), 2022)

Enhanced adaptive optics control with image to image translation. - Jeffrey Smith 001; Jesse Cranney; Charles Gretton; Damien Gratadour (UAI, 2022)

Dagster: Parallel Structured Search. - Mark Alexander Burgess; Charles Gretton; Josh Milthorpe; Luke Croak; Thomas Willingham; Alwen Tiu (AAAI, 2023)

Property Directed Reachability for Planning Revisited. - Ava Clifton; Charles Gretton (KR, 2023)

Pattern-Based Trading by Continual Learning of Price and Volume Patterns. - Patrick Liston; Charles Gretton; Artem Lensky (AI (1), 2024)

The Role of Stop-Loss Orders in Market Efficiency and Stability: An Agent-Based Study. - Patrick Liston; Charles Gretton; Artem Lensky (ICAART (1), 2024)

A Counter-Example Based Approach to Probabilistic Conformant Planning. - Xiaodi Zhang 002; Alban Grastien; Charles Gretton (ICAPS, 2024)

Fried Parameter Estimation from Single Wavefront Sensor Image with Artificial Neural Networks. - Jeffrey Smith 001; Taisei Fujii; Jesse Cranney; Charles Gretton (CoRR, 2025)

Evaluation and Verification of Physics-Informed Neural Models of the Grad-Shafranov Equation. - Fauzan Nazranda Rizqan; Matthew Hole; Charles Gretton (CoRR, 2025)