Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Gretton, Charles - National ICT Australia (NICTA)
A Compact and Efficient SAT Encoding for Planning Nathan Robinson, Charles Gretton, Duc-Nghia Pham, and Abdul Sattar
A Stochastic Local Search Approach to Vertex Cover
Implementation and Comparison of Solution Methods for Decision Processes with NonMarkovian Rewards
CO-PLAN: Combining SAT-Based Planning with Forward-Search Nathan Robinson, Charles Gretton and Duc-Nghia Pham
Journal on Satisfiability, Boolean Modeling and Computation * (2007) 01-25 Combining Adaptive and Dynamic Local Search for
Advances in Local Search for Satisfiability Duc Nghia Pham, John Thornton, Charles Gretton, and Abdul Sattar
Exploiting First-Order Regression in Inductive Policy Selection
FirstOrder {charlesg,thiebaux}@csl.anu.edu.au Computer
Exploiting First-Order Regression in Inductive Policy Selection Charles Gretton and Sylvie Thiebaux
Journal of Artificial Intelligence Research 25 (2006) 17-74 Submitted 12/04; published 01/06 Decision-Theoretic Planning with non-Markovian Rewards
NMRDPP: A System for DecisionTheoretic Planning with NonMarkovian Rewards
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards
Gradient-Based Relational Reinforcement-Learning of Temporally Extended Charles Gretton
NMRDPP: A System for Decision-Theoretic Planning with Non-Markovian Rewards
Exploiting FirstOrder Regression in Inductive Policy Selection Charles Gretton and Sylvie Thi ebaux
