Follow
Charles Gretton, FIEAust
Title
Cited by
Cited by
Year
Robot task planning and explanation in open and uncertain worlds
M Hanheide, M Göbelbecker, GS Horn, A Pronobis, K Sjöö, A Aydemir, ...
Artificial Intelligence 247, 119-150, 2017
1832017
Decision-theoretic planning with non-Markovian rewards
S Thiébaux, C Gretton, J Slaney, D Price, F Kabanza
Journal of Artificial Intelligence Research 25, 17-74, 2006
1062006
A stochastic local search approach to vertex cover
S Richter, M Helmert, C Gretton
annual conference on artificial intelligence, 412-426, 2007
1052007
Exploiting first-order regression in inductive policy selection
C Gretton, S Thiébaux
arXiv preprint arXiv:1207.4107, 2012
832012
Exploiting probabilistic knowledge under uncertain sensing for efficient robot behaviour
M Hanheide, C Gretton, RW Dearden, NA Hawes, JL Wyatt, A Pronobis, ...
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
822011
SAT-based parallel planning using a split representation of actions
N Robinson, C Gretton, DN Pham, A Sattar
Proceedings of the international conference on automated planning and …, 2009
622009
A switching planner for combined task and observation planning
M Göbelbecker, C Gretton, R Dearden
Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 964-970, 2011
482011
Combining adaptive and dynamic local search for satisfiability
D Nghia Pham, J Thornton, C Gretton, A Sattar
Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 149-172, 2008
412008
Partial weighted MaxSAT for optimal planning
N Robinson, C Gretton, DN Pham, A Sattar
PRICAI 2010: Trends in Artificial Intelligence: 11th Pacific Rim …, 2010
362010
A Compact and Efficient SAT Encoding for Planning.
N Robinson, C Gretton, DN Pham, A Sattar
ICAPS, 296-303, 2008
362008
Advances in local search for satisfiability
DN Pham, J Thornton, C Gretton, A Sattar
AI 2007: Advances in Artificial Intelligence: 20th Australian Joint …, 2007
272007
gnovelty+(v. 2)
DN Pham, C Gretton
Solver description. SAT Competition, 2009
252009
A study of proxies for shapley allocations of transport costs
H Aziz, C Cahan, C Gretton, P Kilby, N Mattei, T Walsh
Journal of Artificial Intelligence Research 56, 573-611, 2016
242016
A simulation-optimisation genetic algorithm approach to product allocation in vending machine systems
H Grzybowska, B Kerferd, C Gretton, ST Waller
Expert Systems with Applications 145, 113110, 2020
212020
Computing Upper Bounds on Lengths of Transition Sequences
J Rintanen, CO Gretton
International Joing Conference on Artificial Intelligence, 2013
192013
Formally verified algorithms for upper-bounding state space diameters
M Abdulaziz, M Norrish, C Gretton
Journal of Automated Reasoning 61, 485-520, 2018
172018
Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies.
C Gretton
ICAPS, 168-175, 2007
172007
A state-space acyclicity property for exponentially tighter plan length bounds
M Abdulaziz, C Gretton, M Norrish
Proceedings of the International Conference on Automated Planning and …, 2017
162017
Co-plan: Combining SAT-based planning with forward-search
N Robinson, C Gretton, DN Pham
Proc. IPC-6, 2008
142008
GNovelty+
DN Pham, C Gretton
Solver description, SAT competition 2007, 2007
132007
The system can't perform the operation now. Try again later.
Articles 1–20