E-LIB Suche - Ergebnisse für: Gretton, Charles

1

Dagster: Parallel Structured Search with Case Studies:

, In: Lecture Notes in Computer Science; PRICAI 2022: Trends in Artificial Intelligence,

Burgess, Mark Alexander ; Gretton, Charles ; Milthorpe, Josh... - p. 75-89 , 2022

2

A simulation-optimisation genetic algorithm approach to pro..:

Grzybowska, Hanna ; Kerferd, Briscoe ; Gretton, Charles.
Expert Systems with Applications. 145 (2020) - p. 113110 , 2020

Link: https://doi.org/10.1016/..

3

Formally Verified Algorithms for Upper-Bounding State Space..:

Abdulaziz, Mohammad ; Norrish, Michael ; Gretton, Charles
Journal of Automated Reasoning. 61 (2018) 1-4 - p. 485-520 , 2018

Link: https://doi.org/10.1007/..

4

Robot task planning and explanation in open and uncertain w..:

Hanheide, Marc ; Göbelbecker, Moritz ; Horn, Graham S....
Artificial Intelligence. 247 (2017) - p. 119-150 , 2017

Link: https://doi.org/10.1016/..

5

Decision Support System for a Real-Time Field Service Engin..:

Grzybowska, Hanna ; Gretton, Charles ; Kilby, Philip.
Transportation Research Record: Journal of the Transportation Research Board. 2497 (2015) 1 - p. 117-123 , 2015

Link: https://doi.org/10.3141/..

6

Combining Adaptive and Dynamic Local Search for Satisfiabil..:

Nghia Pham, Duc ; Thornton, John ; Gretton, Charles...
Journal on Satisfiability, Boolean Modeling and Computation. 4 (2008) 2-4 - p. 149-172 , 2008

Link: https://doi.org/10.3233/..

7

Exploiting first-order regression in inductive policy selec..:

, In: Proceedings of the 20th conference on Uncertainty in artificial intelligence,

Gretton, Charles ; Thiébaux, Sylvie - p. 217-225 , 2004

Link: https://dl.acm.org/doi/1..

8

A Study of Network-based Wavefront Estimation with Noise:

Smith, Jeffrey, Peter ; Cranney, Jesse ; Gretton, Charles.
info:eu-repo/semantics/altIdentifier/doi/10.13009/AO4ELT7-2023-084. , 2023

Link: https://hal.science/hal-..

9

A state-space acyclicity property for exponentially tighter..:

Mansour (Abdulaziz), Mohammad ; Gretton, Charles ; Norrish, Michael
27th International Conference on Automated Planning and Scheduling (ICAPS 2017). , 2022

Link: http://hdl.handle.net/18..

10

A Verified Compositional Algorithm for AI Planning:

Abdulaziz, Mohammad ; Gretton, Charles ; Norrish, Michael
Is Part Of LIPIcs, Volume 141, 10th International Conference on Interactive Theorem Proving (ITP 2019). , 2019

Link: https://doi.org/10.4230/..

11

Computer Assisted Composition in Continuous Time:

Koneputugodage, Chamin Hewa ; Healy, Rhys ; Lamont, Sean...
http://arxiv.org/abs/1909.05030. , 2019

Link: http://arxiv.org/abs/190..

12

Mechanising Theoretical Upper Bounds in Planning:

Mansour (Abdulaziz), Mohammad ; Gretton, Charles ; Norrish, Michael
24th International Conference on Automated Planning and Scheduling 2014 (ICAPS). , 2018

Link: http://hdl.handle.net/18..

13

NMRDPP: A System for Decision-theoretic Planning with Non-M..:

Gretton, Charles ; Price, David ; Thiebaux, Sylvie
International Workshop on Planning under Uncertainty and Incomplete Information. , 2015

Link: http://hdl.handle.net/18..

14

Implementation and Comparison of Solution Methods for Decis..:

Gretton, Charles ; Price, David ; Thiebaux, Sylvie
Conference on Uncertainty in Artificial Intelligence (UAI 2003). , 2015

Link: http://hdl.handle.net/18..

15

A Study of Proxies for Shapley Allocations of Transport Cos..:

Aziz, Haris ; Cahan, Casey ; Gretton, Charles...
http://arxiv.org/abs/1408.4901. , 2014

Link: http://arxiv.org/abs/140..