J. Smith, J. Cranney, D. Gratadour, C. Gretton. Enhanced Adaptive Optics Control with Image to Image Translation. In Proceedings 28th Conference on Uncertainty in Artificial Intelligence, 2022 (to appear).
M. Clifton and C. Gretton. Fast Parallel PDR Algorithms for Planning. ICAPS Workshop on Knowledge Engineering for Planning and Scheduling. 2022.
C. Johnson, P. Bercher and C. Gretton. A Study of the Power of Heuristic-based Pruning via SAT Planning. ICAPS Workshop on Knowledge Engineering for Planning and Scheduling AND ICAPS Workshop on Heuristics and Search for Domain-independent Planning. 2022.
[pdf]
J. Smith, D. Gratadour and C. Gretton. Smart Wavefront Estimation for Adaptive Optics. AI4ASTRO2 Online Workshop. 2021
M. Clifton and C. Gretton. Computing Multiple PDR Steps in a Single SAT Call and a PDR Comparison to Madagascar with Completeness Thresholds. ICAPS Workshop on Knowledge Engineering for Planning and Scheduling. 2021.
[pdf]
H. Grzybowska, B. Kerferd, C. Gretton and T. Waller. A simulation-optimisation genetic algorithm approach to product allocation in vending machine systems. Expert Systems with Applications 145: 113110, 2020.
M. Abdulaziz, C. Gretton and M. Norrish. A Verified Compositional Algorithm for AI Planning. ITP, 2019.
[pdf]
A. Allard, C. Gretton and P. Haslum. A TIL-Relaxed Heuristic for Planning with Time Windows. ICAPS, 2018.
[pdf] © AI Access Foundation
M. Abdulaziz, M. Norrish, and C. Gretton. Formally Verified Algorithms for Upper-Bounding State Space Diameters. Journal of Automated Reasoning. 61:485-520, 2018.
[pdf] © AI Access Foundation
M. Abdulaziz, C. Gretton and M. Norrish. A State Space Acyclicity Property for Exponentially Tighter Plan Length Bounds. ICAPS, 2017.
[pdf] © AI Access Foundation
H. Aziz, C. Cahan, C. Gretton, P. Kilby, N. Mattei and T. Walsh. A Study of Proxies for Shapley Allocations of Transport Costs. Journal of Artificial Intelligence Research 56:573-611, 2016.
[pdf]
H. Grzybowska, C. Gretton, P. Kilby, S. T. Waller. A Decision Support System for a Real-Time Field Service Engineer Scheduling Problem with Emergencies and Collaborations. Journal of the Transportation Research Board 2497:117-123. 2015.
H. Aziz, C. Cahan, C. Gretton, P. Kilby, N. Mattei and T. Walsh. A Study of Proxies for Shapley Allocations of Transport Costs. AAAI Workshop on Artificial Intelligence for Transportation. 2015.
[pdf]
M.
Abdulaziz, C. Gretton and M. Norrish. Verified Over-Approximation of
the Diameter of Propositionally Factored Transition Systems. In
proc. 6th conference on Interactive Theorem Proving (ITP-2015),
2015.
[pdf] – Reports new, tighter,
and formally verified upper bounds for Automated Planning
M. Abdulaziz, C. Gretton and M. Norrish. Exploiting Symmetries by Planning for a Descriptive Quotient. IJCAI, 2015.
[pdf] © AI Access Foundation
T. Allard and C. Gretton. A Realistic Multi-Modal Cargo Routing Benchmark. AAAI Workshop on Planning, Search, and Optimization. 2015.
[pdf]
M. Hanheide, M. Göbelbecke, G. Horn, A. Pronobis, K. Sjöö, P. Jensfelt, C. Gretton, R. Dearden, M. Janíček, H. Zender , G. J. Kruijff, N. Hawes, and J. Wyatt. Robot Task Planning and Explanation in Open and Uncertain Worlds. Artificial Intelligence, August 2015.
C. Gretton. A More Expressive Behavioral Logic for Decision-Theoretic Planning. 13th Pacific Rim International Conference on Artificial Intelligence. 2014.
[pdf-preprint] [Slides] © Springer-Verlag (the publication is available at www.springerlink.com)
M. Abdulaziz, C. Gretton and M. Norrish. Mechanising Theoretical Upper Bounds in Planning. Workshop on Knowledge Engineering for Planning and Scheduling, ICAPS 2014.
J. Rintanen and C. Gretton. Computing Upper Bounds on Lengths of Transition Sequences . IJCAI, 2013.
[pdf] © AI Access Foundation
C. Gretton, and P. Kilby. A Study of Shape Penalties in Vehicle Routing. TRISTAN VIII, 2013.
M. Göbelbecke, C. Gretton, and R. Dearden. A Switching Planner for Combined Task and Observation Planning. AAAI, 2011.
[pdf (with minor corrections)] © AI Access Foundation
Shorter Version: IJCAI-11. Appearing in Proceedings of the IJCAI'11 workshop on Decision Making in Partially Observable, Uncertain Worlds: Exploring Insights from Multiple Communities, Barcelona, Spain, 2011.
[pdf] © the authors.
M. Hanheide, C. Gretton, R. Dearden, N. Hawes, J. Wyatt, A. Pronobis, A. Aydemir, M. Göbelbecke, and H. Zender. Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour. IJCAI, 2011.
[pdf] © AI Access Foundation
J. Ernits, C. Gretton and R. Dearden. AyAlsoPlan: Bitstate Pruning for State-Based Planning on Massively Parallel Compute Clusters. 7th International Planning Competition. 2011.
[pdf]
D. Skočaj, M. Kristan, A. Leonardis, M. Mahnič, A.Vrečko, M. Janíček, GJ. Kruijff, P. Lison, M. Zillich, C. Gretton, M. Hanheide, and M. Göbelbecke. A system approach to interactive learning of visual concepts. In Tenth International Conference on Epigenetic Robotics, 2010.
N. Robinson, C. Gretton, D. Pham, and A. Sattar. Partial Weighted MaxSAT for Optimal Planning. 11th Pacific Rim International Conference on Artificial Intelligence (PRICAI-2010), Daegu (Korea), August 2010.
[pdf-preprint] © Springer-Verlag (the original publication is available at www.springerlink.com)
N. Robinson, C. Gretton, D. Pham, and A. Sattar. Cost-Optimal Planning using Wighted MaxSAT. ICAPS-2010 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, Toronto (Canada), May 2010.
[pdf] © the authors
N. Robinson, C. Gretton, D. Pham, and A. Sattar. SAT-Based Parallel Planning Using a Split Representation of Actions. International Conference on Automated Planning and Scheduling (ICAPS-09), Thessaloniki (Greece), September 2009.
[pdf] © AI Access Foundation
N. Robinson, C. Gretton, D. Pham, and A. Sattar. Propositional Probabilistic Planning-as-Satisfiability using Stochastic Local Search. ICAPS-08 Workshop on Planning under Uncertainty and Incomplete Information, Sydney (Australia), September 2008.
[pdf] © the authors
D. Pham, J. Thornton, C. Gretton, and A. Sattar. Combining Adaptive and Dynamic Local Search for Satisfiability. Journal on Satisfiability, Boolean Model Checking, and Computation, 2008.
[pdf] © TU Delft
F. Werner, C. Gretton, F. Maire, and J. Sitte. Induction of Topological Environment Maps from Sequences of Visited Places. IEEE/RSJ 2008 International Conference on Intelligent RObots and Systems, 2008.
N. Robinson, C. Gretton, D. Pham, and A. Sattar. A Compact and Efficient SAT Encoding for Planning. International Conference on Automated Planning and Scheduling (ICAPS-08). 2008.
[pdf] © AI Access Foundation
D-N.Pham, J.Thornton, C.Gretton, and A.Sattar. Advances in Local Search for Satisfiability. Proceedings of the 20th Australian Joint Conference on Artificial Intelligence, 2007. Proceedings: Lecture Notes in Computer Science, 4830, pp. 213-222, Heidelberg: Springer.
[pdf] © Springer-Verlag
S.Richter, M.Helmert and C.Gretton. A Stochastic Local Search Approach to Vertex Cover. Proceedings of the 30th German Conference on Artificial Intelligence (KI-2007), 2007.
[pdf] © Springer-Verlag
C. Gretton. Gradient-Based Relational Reinforcement-Learning of Temporally Extended Policies. International Conference on Automated Planning and Scheduling (ICAPS-07). 2007.
[pdf] © AI Access Foundation
S. Thiébaux, C. Gretton, J. Slaney, D. Price, and F. Kabanza. Decision-Theoretic Planning with non-Markovian Rewards. Journal of Artificial Intelligence Research 25:17-74, January 2006.
[pdf] © AI Access Foundation
C. Gretton and S. Thiébaux. Exploiting First-Order Regression in Inductive Policy Selection. 20th Conference on Uncertainty in Artificial Intelligence (UAI-04) Morgan Kaufmann, Banf (Canada), July 2004.
Extended Abstract: ICML-04. Appearing in Proceedings of the ICML'04 workshop on Relational Reinforcement Learning, Banff, Canada, 2004.
[ps.gz,pdf][slides.ps.gz,slides-ps.gz] © the authors.
K. Taylor, C. Gretton. Ants caught in the Semantic Web: A study in the application of description logic to animal systematics. 16th International Conference on Scientific and Statistical Database Management, IEEE, Santorini Island Greece, 21-23 June 2004.
C. Gretton, D. Price and S. Thiébaux. Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. 19th Conference on Uncertainty in Artificial Intelligence (UAI-03), Morgan Kaufmann, Acapulco (Mexico), August 2003.
Extended Version: ICAPS-03. Workshop on Planning under Uncertainty and Incomplete Information, Trento (Italy), June 2003.
– Click here to listen to Jeff Gordon's “Uh Yes Uh No” with Andy Warhol speaking – Sourced from ubu –