팔로우
Charles Gretton, FIEAust
제목
인용
인용
연도
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
1742017
A stochastic local search approach to vertex cover
S Richter, M Helmert, C Gretton
annual conference on artificial intelligence, 412-426, 2007
1082007
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
1032006
Exploiting first-order regression in inductive policy selection
C Gretton, S Thiébaux
arXiv preprint arXiv:1207.4107, 2012
822012
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
802011
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
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
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
352008
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
192020
Computing Upper Bounds on Lengths of Transition Sequences
J Rintanen, CO Gretton
International Joing Conference on Artificial Intelligence, 2013
182013
Formally verified algorithms for upper-bounding state space diameters
M Abdulaziz, M Norrish, C Gretton
Journal of Automated Reasoning 61, 485-520, 2018
162018
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
Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies.
C Gretton
ICAPS, 168-175, 2007
162007
GNovelty+
DN Pham, C Gretton
Solver description, SAT competition 2007, 2007
132007
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20