Charles Gretton

发表

A simulation-optimisation genetic algorithm approach to product allocation in vending machine systems

Hanna Grzybowska, S. Travis Waller, Briscoe Kerferd, 2020, Expert Syst. Appl..

NMRDPP: A System for Decision-theoretic Planning with Non-Markovian Rewards

Sylvie Thiébaux, Charles Gretton, David Price, 2003 .

A Compact and Efficient SAT Encoding for Planning

Abdul Sattar, Duc Nghia Pham, Charles Gretton, 2008, ICAPS.

AyAlsoPlan: Bitstate Pruning for State-Based Planning on Massively Parallel Compute Clusters

Richard Dearden, Charles Gretton, Juhan Ernits, 2011 .

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

David Price, Sylvie Thiébaux, Charles Gretton, 2002, UAI.

A TIL-Relaxed Heuristic for Planning with Time Windows

Patrik Haslum, Charles Gretton, Tony Allard, 2018, ICAPS.

Computer Assisted Composition in Continuous Time pdf

Roger T. Dean, Ushini Attanayake, Ian Mallett, 2019, ArXiv.

Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour

Marc Hanheide, Richard Dearden, Alper Aydemir, 2011, IJCAI.

Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies

Charles Gretton, 2007, ICAPS.

A Switching Planner for Combined Task and Observation Planning

Richard Dearden, Charles Gretton, Moritz Göbelbecker, 2011, AAAI.

Combining Adaptive and Dynamic Local Search for Satisfiability

Abdul Sattar, John Thornton, Duc Nghia Pham, 2008, J. Satisf. Boolean Model. Comput..

Advances in Local Search for Satisfiability

Abdul Sattar, John Thornton, Duc Nghia Pham, 2007, Australian Conference on Artificial Intelligence.

A Study of Proxies for Shapley Allocations of Transport Costs pdf

Toby Walsh, Nicholas Mattei, Philip Kilby, 2014, AAAI Workshop: AI for Transportation.

Mechanising theoretical upper bounds in planning

Michael Norrish, Charles Gretton, Mohammad Abdulaziz, 2014, ICAPS 2014.

Propositional Probabilistic Planning-as-Satisfiability using Stochastic Local Search

Abdul Sattar, Duc Nghia Pham, Charles Gretton, 2008, ICAPS 2008.

Formally Verified Algorithms for Upper-Bounding State Space Diameters

Michael Norrish, Charles Gretton, Mohammad Abdulaziz, 2018, Journal of Automated Reasoning.

Robot task planning and explanation in open and uncertain worlds

Marc Hanheide, Patric Jensfelt, Richard Dearden, 2017, Artif. Intell..

A More Expressive Behavioral Logic for Decision-Theoretic Planning

Charles Gretton, Charles Gretton, 2014, PRICAI.

Partial Weighted MaxSAT for Optimal Planning

Abdul Sattar, Duc Nghia Pham, Charles Gretton, 2010, PRICAI.

Exploiting Symmetries by Planning for a Descriptive Quotient

Michael Norrish, Charles Gretton, Mohammad Abdulaziz, 2015, IJCAI.

Non-Markovian phenomena in decision-theoretic planning : a study of memory in reward, policies and generalisation

Charles Gretton, Charles Gretton, 2007 .

Ants caught in the semantic Web: a study in the application of description logic to animal systematics

Kerry L. Taylor, Charles Gretton, 2004, Proceedings. 16th International Conference on Scientific and Statistical Database Management, 2004..

SAT-Based Parallel Planning Using a Split Representation of Actions

Abdul Sattar, Duc Nghia Pham, Charles Gretton, 2009, ICAPS.

Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems

Michael Norrish, Charles Gretton, Mohammad Abdulaziz, 2015, ITP.

A Realistic Multi-Modal Cargo Routing Benchmark

Charles Gretton, Tony Allard, 2015, AAAI 2015.

A More Expressive Behavioral Logic for Decision-Theoretic Planning

Charles Gretton, 2014, PRICAI.

Induction of topological environment maps from sequences of visited places

Frédéric Maire, Charles Gretton, Joaquin Sitte, 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

A Verified Compositional Algorithm for AI Planning

Michael Norrish, Charles Gretton, Mohammad Abdulaziz, 2019, ITP.

Decision Support System for a Real-Time Field Service Engineer Scheduling Problem with Emergencies and Collaborations

S. Travis Waller, Hanna Grzybowska, Philip Kilby, 2015 .

Cost-Optimal Planning using Weighted MaxSAT

Abdul Sattar, Duc Nghia Pham, Charles Gretton, 2010 .

Decision-Theoretic Planning with non-Markovian Rewards pdf

John K. Slaney, David Price, Sylvie Thiébaux, 2011, J. Artif. Intell. Res..

Exploiting First-Order Regression in Inductive Policy Selection

Sylvie Thiébaux, Charles Gretton, Charles Gretton, 2004, UAI.

A Stochastic Local Search Approach to Vertex Cover

Malte Helmert, Silvia Richter, Charles Gretton, 2007, KI.

A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds

Michael Norrish, Charles Gretton, Mohammad Abdulaziz, 2017, ICAPS.

NMRDPP : Decision-Theoretic Planning with Control Knowledge

Sylvie Thiébaux, Charles Gretton, Charles Gretton, 2022 .