| 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 | 226 | 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 | 128 | 2006 |
| A stochastic local search approach to vertex cover S Richter, M Helmert, C Gretton annual conference on artificial intelligence, 412-426, 2007 | 111 | 2007 |
| Exploiting first-order regression in inductive policy selection C Gretton, S Thiébaux arXiv preprint arXiv:1207.4107, 2012 | 90 | 2012 |
| Exploiting probabilistic knowledge under uncertain sensing for efficient robot behaviour M Hanheide, C Gretton, R Dearden, N Hawes, J Wyatt, A Pronobis, ... IJCAI-11, 2011 | 84 | 2011 |
| 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 | 69 | 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 | 49 | 2011 |
| Combining adaptive and dynamic local search for satisfiability D Nghia Pham, J Thornton, C Gretton, A Sattar Journal on Satisfiability, Boolean Modelling and Computation 4 (2-4), 149-172, 2008 | 41 | 2008 |
| A compact and efficient SAT encoding for planning N Robinson, C Gretton, DN Pham, A Sattar The International Conference on Automated Planning and Scheduling (ICAPS'08), 2008 | 38 | 2008 |
| Partial weighted MaxSAT for optimal planning N Robinson, C Gretton, DN Pham, A Sattar Pacific rim international conference on artificial intelligence, 231-243, 2010 | 37 | 2010 |
| 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 | 31 | 2020 |
| Advances in local search for satisfiability DN Pham, J Thornton, C Gretton, A Sattar Australasian Joint Conference on Artificial Intelligence, 213-222, 2007 | 30 | 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 | 28 | 2016 |
| gnovelty+(v. 2) DN Pham, C Gretton Solver description. SAT Competition, 2009 | 25 | 2009 |
| Computing Upper Bounds on Lengths of Transition Sequences J Rintanen, CO Gretton International Joing Conference on Artificial Intelligence, 2013 | 20 | 2013 |
| 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 | 18 | 2017 |
| Formally verified algorithms for upper-bounding state space diameters M Abdulaziz, M Norrish, C Gretton Journal of Automated Reasoning 61 (1), 485-520, 2018 | 17 | 2018 |
| Co-plan: Combining SAT-based planning with forward-search N Robinson, C Gretton, DN Pham Proc. IPC-6, 2008 | 17 | 2008 |
| Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies. C Gretton ICAPS, 168-175, 2007 | 16 | 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 | 14 | 2012 |
Duc Nghia PhamMIMOS BerhadVerified email at griffith.edu.au
