Charles Gretton, FIEAust
Cited by
Cited by
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
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
A stochastic local search approach to vertex cover
S Richter, M Helmert, C Gretton
annual conference on artificial intelligence, 412-426, 2007
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
Exploiting first-order regression in inductive policy selection
C Gretton, S Thiébaux
arXiv preprint arXiv:1207.4107, 2012
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
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
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
Partial weighted MaxSAT for optimal planning
N Robinson, C Gretton, DN Pham, A Sattar
PRICAI 2010: Trends in Artificial Intelligence: 11th Pacific Rim …, 2010
A Compact and Efficient SAT Encoding for Planning.
N Robinson, C Gretton, DN Pham, A Sattar
ICAPS, 296-303, 2008
Advances in local search for satisfiability
DN Pham, J Thornton, C Gretton, A Sattar
AI 2007: Advances in Artificial Intelligence: 20th Australian Joint …, 2007
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
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
gnovelty+(v. 2)
DN Pham, C Gretton
Solver description. SAT Competition, 2009
Computing Upper Bounds on Lengths of Transition Sequences
J Rintanen, CO Gretton
International Joing Conference on Artificial Intelligence, 2013
Formally verified algorithms for upper-bounding state space diameters
M Abdulaziz, M Norrish, C Gretton
Journal of Automated Reasoning 61, 485-520, 2018
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
Co-plan: Combining SAT-based planning with forward-search
N Robinson, C Gretton, DN Pham
Proc. IPC-6, 2008
Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies.
C Gretton
ICAPS, 168-175, 2007
Implementation and comparison of solution methods for decision processes with non-Markovian rewards
C Gretton, D Price, S Thiébaux
arXiv preprint arXiv:1212.2482, 2012
The system can't perform the operation now. Try again later.
Articles 1–20