| 2008 |
|---|
| 10 | | Nathan Robinson,
Charles Gretton,
Duc Nghia Pham,
Abdul Sattar:
A Compact and Efficient SAT Encoding for Planning.
ICAPS 2008: 296-303 |
| 9 | EE | Felix Werner,
Charles Gretton,
Frédéric Maire,
Joaquin Sitte:
Induction of topological environment maps from sequences of visited places.
IROS 2008: 2890-2895 |
| 8 | EE | Duc Nghia Pham,
John Thornton,
Charles Gretton,
Abdul Sattar:
Combining Adaptive and Dynamic Local Search for Satisfiability.
JSAT 4(2-4): 149-172 (2008) |
| 2007 |
|---|
| 7 | EE | Duc Nghia Pham,
John Thornton,
Charles Gretton,
Abdul Sattar:
Advances in Local Search for Satisfiability.
Australian Conference on Artificial Intelligence 2007: 213-222 |
| 6 | | Charles Gretton:
Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies.
ICAPS 2007: 168-175 |
| 5 | EE | Silvia Richter,
Malte Helmert,
Charles Gretton:
A Stochastic Local Search Approach to Vertex Cover.
KI 2007: 412-426 |
| 2006 |
|---|
| 4 | EE | Sylvie Thiébaux,
Charles Gretton,
John K. Slaney,
David Price,
Froduald Kabanza:
Decision-Theoretic Planning with non-Markovian Rewards.
J. Artif. Intell. Res. (JAIR) 25: 17-74 (2006) |
| 2004 |
|---|
| 3 | EE | Kerry T. Taylor,
Charles Gretton:
Ants caught in the Semantic Web: A study in the application of description logic to animal systematics.
SSDBM 2004: 441-442 |
| 2 | EE | Charles Gretton,
Sylvie Thiébaux:
Exploiting First-Order Regression in Inductive Policy Selection.
UAI 2004: 217-225 |
| 2003 |
|---|
| 1 | | Charles Gretton,
David Price,
Sylvie Thiébaux:
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards.
UAI 2003: 289-296 |
