default search action
Charles Gretton
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c25]Patrick Liston, Charles Gretton, Artem Lensky:
The Role of Stop-Loss Orders in Market Efficiency and Stability: An Agent-Based Study. ICAART (1) 2024: 280-288 - [c24]Xiaodi Zhang, Alban Grastien, Charles Gretton:
A Counter-Example Based Approach to Probabilistic Conformant Planning. ICAPS 2024: 689-697 - 2023
- [c23]Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu:
Dagster: Parallel Structured Search. AAAI 2023: 16404-16406 - [c22]Ava Clifton, Charles Gretton:
Property Directed Reachability for Planning Revisited. KR 2023: 156-166 - 2022
- [c21]Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu:
Dagster: Parallel Structured Search with Case Studies. PRICAI (1) 2022: 75-89 - [c20]Jeffrey Smith, Jesse Cranney, Charles Gretton, Damien Gratadour:
Enhanced adaptive optics control with image to image translation. UAI 2022: 1846-1856 - 2020
- [j6]Hanna Grzybowska, Briscoe Kerferd, Charles Gretton, S. Travis Waller:
A simulation-optimisation genetic algorithm approach to product allocation in vending machine systems. Expert Syst. Appl. 145: 113110 (2020)
2010 – 2019
- 2019
- [c19]Mohammad Abdulaziz, Charles Gretton, Michael Norrish:
A Verified Compositional Algorithm for AI Planning. ITP 2019: 4:1-4:19 - [i5]Chamin Hewa Koneputugodage, Rhys Healy, Sean Lamont, Ian Mallett, Matt Brown, Matt Walters, Ushini Attanayake, Libo Zhang, Roger T. Dean, Alexander Hunter, Charles Gretton, Christian Walder:
Computer Assisted Composition in Continuous Time. CoRR abs/1909.05030 (2019) - 2018
- [j5]Mohammad Abdulaziz, Michael Norrish, Charles Gretton:
Formally Verified Algorithms for Upper-Bounding State Space Diameters. J. Autom. Reason. 61(1-4): 485-520 (2018) - [c18]Tony Allard, Charles Gretton, Patrik Haslum:
A TIL-Relaxed Heuristic for Planning with Time Windows. ICAPS 2018: 2-10 - 2017
- [j4]Marc Hanheide, Moritz Göbelbecker, Graham S. Horn, Andrzej Pronobis, Kristoffer Sjöö, Alper Aydemir, Patric Jensfelt, Charles Gretton, Richard Dearden, Miroslav Janícek, Hendrik Zender, Geert-Jan M. Kruijff, Nick Hawes, Jeremy L. Wyatt:
Robot task planning and explanation in open and uncertain worlds. Artif. Intell. 247: 119-150 (2017) - [c17]Mohammad Abdulaziz, Charles Gretton, Michael Norrish:
A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds. ICAPS 2017: 2-10 - 2016
- [j3]Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh:
A Study of Proxies for Shapley Allocations of Transport Costs. J. Artif. Intell. Res. 56: 573-611 (2016) - 2015
- [c16]Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Scott Mattei, Toby Walsh:
A Study of Proxies for Shapley Allocations of Transport Costs. AAAI Workshop: AI for Transportation 2015 - [c15]Mohammad Abdulaziz, Michael Norrish, Charles Gretton:
Exploiting Symmetries by Planning for a Descriptive Quotient. IJCAI 2015: 1479-1486 - [c14]Mohammad Abdulaziz, Charles Gretton, Michael Norrish:
Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems. ITP 2015: 1-16 - 2014
- [c13]Charles Gretton:
A More Expressive Behavioral Logic for Decision-Theoretic Planning. PRICAI 2014: 13-25 - [i4]Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh:
A Study of Proxies for Shapley Allocations of Transport Costs. CoRR abs/1408.4901 (2014) - 2012
- [i3]Charles Gretton, Sylvie Thiébaux:
Exploiting First-Order Regression in Inductive Policy Selection. CoRR abs/1207.4107 (2012) - [i2]Charles Gretton, David Price, Sylvie Thiébaux:
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. CoRR abs/1212.2482 (2012) - 2011
- [c12]Moritz Göbelbecker, Charles Gretton, Richard Dearden:
A Switching Planner for Combined Task and Observation Planning. AAAI 2011: 964-970 - [c11]Marc Hanheide, Charles Gretton, Richard Dearden, Nick Hawes, Jeremy L. Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Göbelbecker, Hendrik Zender:
Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour. IJCAI 2011: 2442-2449 - [i1]Charles Gretton, Froduald Kabanza, David Price, John K. Slaney, Sylvie Thiébaux:
Decision-Theoretic Planning with non-Markovian Rewards. CoRR abs/1109.2355 (2011) - 2010
- [c10]Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar:
Partial Weighted MaxSAT for Optimal Planning. PRICAI 2010: 231-243
2000 – 2009
- 2009
- [c9]Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar:
SAT-Based Parallel Planning Using a Split Representation of Actions. ICAPS 2009 - 2008
- [j2]Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar:
Combining Adaptive and Dynamic Local Search for Satisfiability. J. Satisf. Boolean Model. Comput. 4(2-4): 149-172 (2008) - [c8]Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar:
A Compact and Efficient SAT Encoding for Planning. ICAPS 2008: 296-303 - [c7]Felix Werner, Charles Gretton, Frédéric Maire, Joaquin Sitte:
Induction of topological environment maps from sequences of visited places. IROS 2008: 2890-2895 - 2007
- [c6]Charles Gretton:
Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies. ICAPS 2007: 168-175 - [c5]Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar:
Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence 2007: 213-222 - [c4]Silvia Richter, Malte Helmert, Charles Gretton:
A Stochastic Local Search Approach to Vertex Cover. KI 2007: 412-426 - 2006
- [j1]Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza:
Decision-Theoretic Planning with non-Markovian Rewards. J. Artif. Intell. Res. 25: 17-74 (2006) - 2004
- [c3]Kerry L. Taylor, Charles Gretton:
Ants caught in the Semantic Web: A study in the application of description logic to animal systematics. SSDBM 2004: 441-442 - [c2]Charles Gretton, Sylvie Thiébaux:
Exploiting First-Order Regression in Inductive Policy Selection. UAI 2004: 217-225 - 2003
- [c1]Charles Gretton, David Price, Sylvie Thiébaux:
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. UAI 2003: 289-296
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint