Takip et
Charles Gretton, FIEAust
Charles Gretton, FIEAust
The Australian National University
anu.edu.au üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
2022017
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
1172006
A stochastic local search approach to vertex cover
S Richter, M Helmert, C Gretton
annual conference on artificial intelligence, 412-426, 2007
1112007
Exploiting first-order regression in inductive policy selection
C Gretton, S Thiébaux
arXiv preprint arXiv:1207.4107, 2012
872012
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
832011
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
662009
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
492011
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
402008
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
392008
Partial weighted MaxSAT for optimal planning
N Robinson, C Gretton, DN Pham, A Sattar
PRICAI 2010: Trends in Artificial Intelligence: 11th Pacific Rim …, 2010
372010
Advances in local search for satisfiability
DN Pham, J Thornton, C Gretton, A Sattar
AI 2007: Advances in Artificial Intelligence: 20th Australian Joint …, 2007
292007
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
282020
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
272016
gnovelty+(v. 2)
DN Pham, C Gretton
Solver description. SAT Competition, 2009
242009
Computing Upper Bounds on Lengths of Transition Sequences
J Rintanen, CO Gretton
International Joing Conference on Artificial Intelligence, 2013
192013
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
172017
Co-plan: Combining SAT-based planning with forward-search
N Robinson, C Gretton, DN Pham
Proc. IPC-6, 2008
172008
Formally verified algorithms for upper-bounding state space diameters
M Abdulaziz, M Norrish, C Gretton
Journal of Automated Reasoning 61, 485-520, 2018
162018
Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies.
C Gretton
ICAPS, 168-175, 2007
162007
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
122012
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20