Charles Gretton

Artem Lensky

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Property Directed Reachability for Planning Revisited.

[BibT_eX]

[DOI]

Ava Clifton

Chamin Hewa Koneputugodage

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Dagster: Parallel Structured Search.

[BibT_eX]

[DOI]

Mark Alexander Burgess

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Enhanced adaptive optics control with image to image translation.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Artificial Intelligence, 2022

Dagster: Parallel Structured Search with Case Studies.

[BibT_eX]

[DOI]

Mark Alexander Burgess

Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022

2020

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

[BibT_eX]

[DOI]

Expert Syst. Appl., 2020

2019

Computer Assisted Composition in Continuous Time.

[BibT_eX]

[DOI]

CoRR, 2019

A Verified Compositional Algorithm for AI Planning.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Formally Verified Algorithms for Upper-Bounding State Space Diameters.

[BibT_eX]

[DOI]

J. Autom. Reason., 2018

A TIL-Relaxed Heuristic for Planning with Time Windows.

[BibT_eX]

[DOI]

Tony Allard

Patrik Haslum

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Robot task planning and explanation in open and uncertain worlds.

[BibT_eX]

[DOI]

Artif. Intell., 2017

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

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

A Study of Proxies for Shapley Allocations of Transport Costs.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

2015

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

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Exploiting Symmetries by Planning for a Descriptive Quotient.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

A More Expressive Behavioral Logic for Decision-Theoretic Planning.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

2011

Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

A Switching Planner for Combined Task and Observation Planning.

[BibT_eX]

[DOI]

Moritz Göbelbecker

Richard Dearden

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Partial Weighted MaxSAT for Optimal Planning.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2010: Trends in Artificial Intelligence, 2010

2009

SAT-Based Parallel Planning Using a Split Representation of Actions.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008

Combining Adaptive and Dynamic Local Search for Satisfiability.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2008

Induction of topological environment maps from sequences of visited places.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2008

A Compact and Efficient SAT Encoding for Planning.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2007

A Stochastic Local Search Approach to Vertex Cover.

[BibT_eX]

[DOI]

Silvia Richter

Malte Helmert

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Advances in Local Search for Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2006

Decision-Theoretic Planning with non-Markovian Rewards.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2006

2004

Exploiting First-Order Regression in Inductive Policy Selection.

[BibT_eX]

[DOI]

Sylvie Thiébaux

Proceedings of the UAI '04, 2004

Ants caught in the Semantic Web: A study in the application of description logic to animal systematics.

[BibT_eX]

[DOI]

Kerry L. Taylor

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.

[BibT_eX]

[DOI]