Charles Gretton

According to our database1, Charles Gretton authored at least 29 papers between 2003 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Computer Assisted Composition in Continuous Time.
CoRR, 2019

A Verified Compositional Algorithm for AI Planning.
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018
Formally Verified Algorithms for Upper-Bounding State Space Diameters.
J. Autom. Reasoning, 2018

A TIL-Relaxed Heuristic for Planning with Time Windows.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017
Robot task planning and explanation in open and uncertain worlds.
Artif. Intell., 2017

A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016
A Study of Proxies for Shapley Allocations of Transport Costs.
J. Artif. Intell. Res., 2016

2015
Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems.
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Exploiting Symmetries by Planning for a Descriptive Quotient.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Study of Proxies for Shapley Allocations of Transport Costs.
Proceedings of the Artificial Intelligence for Transportation: Advice, 2015

2014
A Study of Proxies for Shapley Allocations of Transport Costs.
CoRR, 2014

A More Expressive Behavioral Logic for Decision-Theoretic Planning.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

2012
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards
CoRR, 2012

Exploiting First-Order Regression in Inductive Policy Selection
CoRR, 2012

2011
Decision-Theoretic Planning with non-Markovian Rewards
CoRR, 2011

Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour.
Proceedings of the IJCAI 2011, 2011

A Switching Planner for Combined Task and Observation Planning.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Partial Weighted MaxSAT for Optimal Planning.
Proceedings of the PRICAI 2010: Trends in Artificial Intelligence, 2010

2009
SAT-Based Parallel Planning Using a Split Representation of Actions.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
Combining Adaptive and Dynamic Local Search for Satisfiability.
JSAT, 2008

Induction of topological environment maps from sequences of visited places.
Proceedings of the 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2008

A Compact and Efficient SAT Encoding for Planning.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2007
A Stochastic Local Search Approach to Vertex Cover.
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Advances in Local Search for Satisfiability.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2006
Decision-Theoretic Planning with non-Markovian Rewards.
J. Artif. Intell. Res., 2006

2004
Exploiting First-Order Regression in Inductive Policy Selection.
Proceedings of the UAI '04, 2004

Ants caught in the Semantic Web: A study in the application of description logic to animal systematics.
Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 2004

2003
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards.
Proceedings of the UAI '03, 2003


  Loading...