Charles Gretton

40 papers A* 11A 4B 5Misc 1Journal 13Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Augmentation and Transformation for Nighttime Cloud Segmentation in All-Sky Camera Images. AI (2) Jirui Yang, Charles Gretton, Tony Travouillon
2025	J	`jnl`	Evaluation and Verification of Physics-Informed Neural Models of the Grad-Shafranov Equation. CoRR Fauzan Nazranda Rizqan, Matthew Hole, Charles Gretton
2025	J	`jnl`	Fried Parameter Estimation from Single Wavefront Sensor Image with Artificial Neural Networks. CoRR Jeffrey Smith, Taisei Fujii, Jesse Cranney, Charles Gretton
2024	A*	`conf`	A Counter-Example Based Approach to Probabilistic Conformant Planning. ICAPS Xiaodi Zhang, Alban Grastien, Charles Gretton
2024	—	`conf`	Pattern-Based Trading by Continual Learning of Price and Volume Patterns. AI (1) Patrick Liston, Charles Gretton, Artem Lensky
2024	—	`conf`	The Role of Stop-Loss Orders in Market Efficiency and Stability: An Agent-Based Study. ICAART (1) Patrick Liston, Charles Gretton, Artem Lensky
2023	A*	`conf`	Dagster: Parallel Structured Search. AAAI Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu
2023	A*	`conf`	Property Directed Reachability for Planning Revisited. KR Ava Clifton, Charles Gretton
2022	—	`conf`	Dagster: Parallel Structured Search with Case Studies. PRICAI (1) Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu
2022	A	`conf`	Enhanced adaptive optics control with image to image translation. UAI Jeffrey Smith, Jesse Cranney, Charles Gretton, Damien Gratadour
2020	J	`jnl`	A simulation-optimisation genetic algorithm approach to product allocation in vending machine systems. Expert Syst. Appl. Hanna Grzybowska, Briscoe Kerferd, Charles Gretton, S. Travis Waller
2019	B	`conf`	A Verified Compositional Algorithm for AI Planning. ITP Mohammad Abdulaziz, Charles Gretton, Michael Norrish
2019	J	`jnl`	Computer Assisted Composition in Continuous Time. CoRR 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
2018	A*	`conf`	A TIL-Relaxed Heuristic for Planning with Time Windows. ICAPS Tony Allard, Charles Gretton, Patrik Haslum
2018	J	`jnl`	Formally Verified Algorithms for Upper-Bounding State Space Diameters. J. Autom. Reason. Mohammad Abdulaziz, Michael Norrish, Charles Gretton
2017	A*	`conf`	A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds. ICAPS Mohammad Abdulaziz, Charles Gretton, Michael Norrish
2017	J	`jnl`	Robot task planning and explanation in open and uncertain worlds. Artif. Intell. 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
2016	J	`jnl`	A Study of Proxies for Shapley Allocations of Transport Costs. J. Artif. Intell. Res. Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh
2015	—	`conf`	A Study of Proxies for Shapley Allocations of Transport Costs. AAAI Workshop: AI for Transportation Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Scott Mattei, Toby Walsh
2015	A*	`conf`	Exploiting Symmetries by Planning for a Descriptive Quotient. IJCAI Mohammad Abdulaziz, Michael Norrish, Charles Gretton
2015	B	`conf`	Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems. ITP Mohammad Abdulaziz, Charles Gretton, Michael Norrish
2014	B	`conf`	A More Expressive Behavioral Logic for Decision-Theoretic Planning. PRICAI Charles Gretton
2014	J	`jnl`	A Study of Proxies for Shapley Allocations of Transport Costs. CoRR Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh
2012	J	`jnl`	Exploiting First-Order Regression in Inductive Policy Selection CoRR Charles Gretton, Sylvie Thiébaux
2012	J	`jnl`	Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards CoRR Charles Gretton, David Price, Sylvie Thiébaux
2011	A*	`conf`	A Switching Planner for Combined Task and Observation Planning. AAAI Moritz Göbelbecker, Charles Gretton, Richard Dearden
2011	J	`jnl`	Decision-Theoretic Planning with non-Markovian Rewards CoRR Charles Gretton, Froduald Kabanza, David Price, John K. Slaney, Sylvie Thiébaux
2011	A*	`conf`	Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour. IJCAI Marc Hanheide, Charles Gretton, Richard Dearden, Nick Hawes, Jeremy L. Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Göbelbecker, Hendrik Zender
2010	B	`conf`	Partial Weighted MaxSAT for Optimal Planning. PRICAI Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar
2009	A*	`conf`	SAT-Based Parallel Planning Using a Split Representation of Actions. ICAPS Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar
2008	A*	`conf`	A Compact and Efficient SAT Encoding for Planning. ICAPS Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar
2008	J	`jnl`	Combining Adaptive and Dynamic Local Search for Satisfiability. J. Satisf. Boolean Model. Comput. Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar
2008	A	`conf`	Induction of topological environment maps from sequences of visited places. IROS Felix Werner, Charles Gretton, Frédéric Maire, Joaquin Sitte
2007	Misc	`conf`	A Stochastic Local Search Approach to Vertex Cover. KI Silvia Richter, Malte Helmert, Charles Gretton
2007	—	`conf`	Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar
2007	A*	`conf`	Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies. ICAPS Charles Gretton
2006	J	`jnl`	Decision-Theoretic Planning with non-Markovian Rewards. J. Artif. Intell. Res. Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza
2004	B	`conf`	Ants caught in the Semantic Web: A study in the application of description logic to animal systematics. SSDBM Kerry L. Taylor, Charles Gretton
2004	A	`conf`	Exploiting First-Order Regression in Inductive Policy Selection. UAI Charles Gretton, Sylvie Thiébaux
2003	A	`conf`	Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. UAI Charles Gretton, David Price, Sylvie Thiébaux