Toby O. Davies

According to our database, Toby O. Davies authored at least 5 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Learning from conflict in multi-agent, classical, and temporal planning.

Toby O. Davies

PhD thesis, 2017

Automatic Logic-Based Benders Decomposition with MiniZinc.

Toby O. Davies, Graeme Gange, Peter J. Stuckey

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2015

Optimisation and Relaxation for Multiagent Planning in the Situation Calculus.

Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Sequencing Operator Counts.

Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky

Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

2014

Fragment-Based Planning Using Column Generation.

Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014