Dr Michael Cashmore

Strathclyde Chancellor's Fellow

Computer and Information Sciences

Publications

Joint chance constrained probabilistic simple temporal networks via column generation
Murray Andrew, Cashmore Michael, Arulselvan Ashwin, Frank Jeremy
15th International Symposium on Combinatorial Search , pp. 305-307 (2022)
Joint chance constrained probabilistic simple temporal networks via column generation (extended abstract)
Murray Andrew, Cashmore Michael, Arulselvan Ashwin
19th International Conference on the Integration of Constraint Programmng, Artificial Intelligence, and Operations Research (2022)
Towards automatic state recovery for replanning
Bezrucav Stefan-Octavian, Canal Gerard, Coles Andrew, Cashmore Michael, Corves Burkhard
IntEx Workshop on Integrated Planning, Acting, and Execution (2022)
Deep reinforcement learning for plan execution
Valle Gonzalo Montesino, Cashmore Michael
IntEx Workshop on Integrated Planning, Acting, and Execution (2022)
EgoPlan : A framework for multi-agent planning using single agent planners
McArthur Mark, Moshfeghi Yashar, Cashmore Michael
Proceedings of the International Florida Artificial Intelligence Research Society Conference, FLAIRS Vol 35 (2022)
https://doi.org/10.32473/flairs.v35i.130647
A logic-based explanation generation framework for classical and hybrid planning problems
Vasileiou Stylianos Loukas, Yeoh William, Son Tran Cao, Kumar Ashwin, Cashmore Michael, Magazzeni Dianele
Journal of Artificial Intelligence Research Vol 73, pp. 1473-1534 (2022)
https://doi.org/10.1613/jair.1.13431

More publications

Projects

Care & Equity - Logistics UAS Scotland Phase 3 (CAELUS 2) (Future Flight Challenge)
Fossati, Marco (Principal Investigator) Akartunali, Kerem (Co-investigator) Cashmore, Michael (Co-investigator) Irvine, James (Co-investigator) MacBryde, Jillian (Co-investigator) Maddock, Christie (Co-investigator) Patelli, Edoardo (Co-investigator) Tapinos, Efstathios (Co-investigator) Vasile, Massimiliano (Co-investigator)
01-Jan-2022 - 30-Jan-2024
Urban and rural UAS-enabled health-care over Scotland CAELUS (ex URANOS)
Fossati, Marco (Principal Investigator) Akartunali, Kerem (Co-investigator) Burt, Graeme (Co-investigator) Cashmore, Michael (Co-investigator) Maddock, Christie (Co-investigator) Patelli, Edoardo (Co-investigator) Tapinos, Efstathios (Co-investigator) Vasile, Massimiliano (Co-investigator)
01-Jan-2020 - 31-Jan-2022
Robust and Explainable Mission Planning and Scheduling (REMPS)
Riccardi, Annalisa (Principal Investigator) Cashmore, Michael (Co-investigator)
01-Jan-2020 - 30-Jan-2024
Maths DTP 2020 University of Strathclyde | Murray, Andrew
Cashmore, Michael (Principal Investigator) Roper, Marc (Principal Investigator) Arulselvan, Ashwin (Co-investigator) Weir, George (Co-investigator) Murray, Andrew (Research Co-investigator)
01-Jan-2020 - 01-Jan-2024
Doctoral Training Grant | Cashmore, Michael
Cashmore, Michael (Research Co-investigator)
01-Jan-2009 - 13-Jan-2013

More projects

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map