Browse by Author "Gretton, Charles"
Now showing items 1-12 of 12
| 1. |
Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2011 Author(s): Hanheide, M., Gretton, Charles, Dearden, R., Hawes, N., Wyatt, J., Pronobis, A., Aydemir, A., G¨obelbecker, M., Zender, H. |
| 2. |
A Switching Planner for Combined Task and Observation Planning
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2011 Author(s): G¨obelbecker, Moritz, Gretton, Charles |
| 3. |
Enumerating AG-Groups with a Study of Smaradache AG-Groups
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2011 Author(s): Shah, Muhammad, Gretton, Charles |
| 4. |
Partial Weighted MaxSAT for Optimal Planning
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2010 Author(s): Robinson, Nathan, Gretton, Charles, Pham, Duc Nghia, Sattar, Abdul |
| 5. |
Cost-Optimal Planning using Weighted MaxSAT
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2010 Author(s): Robinson, Nathan Mark, Gretton, Charles, Pham, Duc Nghia, Sattar, Abdul |
| 6. |
SAT-Based Parallel Planning Using a Split Representation of Actions
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2009 Author(s): Robinson, Nathan Mark, Gretton, Charles, Pham, Duc Nghia, Sattar, Abdul |
| 7. |
Combining Adaptive and Dynamic Local Search for Satisfiability
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2008 Author(s): Pham, Duc Nghia, Thornton, John Richard, Gretton, Charles, Sattar, Abdul |
| 8. |
A Compact and Efficient SAT Encoding for Planning
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2008 Author(s): Robinson, Nathan Mark, Gretton, Charles, Pham, Duc Nghia, Sattar, Abdul |
| 9. |
Propositional Probabilistic Planning-as-Satisfiability using Stochastic Local Search
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2008 Author(s): Robinson, Nathan Mark, Gretton, Charles, Pham, Duc Nghia, Sattar, Abdul |
| 10. |
Advances in Local Search for Satisfiability
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2007 Author(s): Pham, Duc Nghia, Thornton, John Richard, Gretton, Charles, Sattar, Abdul |
| 11. |
Gradient-Based Relational Reinforcement-Learning of Temporally Extended Policies
Publication Type: Conference Publications (Extract Paper) Year of Publication: 2007 Author(s): Gretton, Charles |
| 12. |
A Stochastic Local Search Approach to Vertex Cover
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2007 Author(s): Richter, Silvia, Helmert, Malte, Gretton, Charles |
Now showing items 1-12 of 12
Footer information
Back to top
This document has been optimised for printing, some elements from the original webpage may have been altered or removed.