Publications

Cashmore, M. Fox, M. Long, D. Magazzeni, D and Ridder, B.
Opportunistic Planning in Autonomous Underwater Missions
IEEE Transactions on Automation Science and Engineering, 2018

Buksz, D. Cashmore, M. Krarup, B. Magazzeni, D. Ridder, B.
Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons
Proceedings of EEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Borgo, R. Cashmore, M. Magazzeni, D.
Towards Providing Justifications for Planner Decisions
Proceedings of IJCAI-18 Workshop on Explainable AI, 2018

Cashmore, M., Coles, A. I., Cserna, B., Karpas, E., Magazzeni, D. & Ruml, W.
Situated Planning for Execution Under Temporal Constraints
Proceedings of the AAAI 2018 Spring Symposium on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy, 2018

Cashmore, M., Coles, A. I., Cserna, B., Karpas, E., Magazzeni, D. & Ruml, W.
Temporal Planning While the Clock Ticks
Proceedings of the 28th International Conference on Automated Planning and Scheduling, 2018

Langer, E. Ridder, B. Cashmore, M. Magazzeni, D. Zillich, M. Vincze, M.
On-the-fly detection of novel objects in indoor environments
IEEE International Conference on Robotics and Biomimetics (ROBIO), 2017

Krivic, S. Cashmore, M. Magazzeni, D. Ridder, B. Szedmak, S. Piater, J.
Decreasing Uncertainty in Planning with State Prediction
Proceedings of the 26th International Joint Conference on Artificial Intelligence, 2017

Cashmore, M. Fox, M. Long, D. Magazzeni, D and Ridder, B.
Short-Term Human-Robot Interaction through Conditional Planning and Execution
Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017)

Cashmore, M. Fox, M. Long, D. Magazzeni, D and Ridder, B.
Strategic Planning for Autonomous Systems over Long Horizons
Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob 2016)

Cashmore, M. Fox, M. Long, D. Magazzeni, D and Fox, M. Long, D. and Magazzeni, D.
Opportunistic Planning for Increased Plan Utility
Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob 2016)

Cashmore, M. Fox, M. Long, D. and Magazzeni, D.
A Compilation of the Full PDDL+ Language into SMT
Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016)

Krivic, S. Cashmore, M. Ridder, B. Magazzeni, D. Szedmak, S. Piater, J.
Initial State Prediction in Planning
Knowledge-based techniques for problem solving and reasoning (KnowProS 2017)

Krivic, S. Cashmore, M. Ridder, B. Piater, J.
Initial State Prediction in Planning
Proceedings of the 31st Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2016)

Cashmore, M. Fox, M. Long, D. and Magazzeni, D.
Full PDDL+ Planning through SMT
Proceedings of the AAAI Workshop on Planning for Hybrid Systems (PlanHS 2016)

N. Palomeras, A. Carrera, N. Hurts, G. C. Karras, C. P. Bechlioulis, M. Cashmore, D. Magazzeni, D. Long, M. Fox, K. J. Kyriakopoulos, P. Kormushev, J. Salvi and M. Carreras
Toward persistent autonomous intervention in a subsea panel
Autonomous Robots, 2016

Cashmore, M. Fox, M. Long, D. Magazzeni, D. Ridder, B. Maurelli, F.
Dynamically Extending Planning Models using an Ontology
Proceedings of the 2nd ICAPS Workshop on Planning and Robotics (PlanRob 2015)

Cashmore, M. Fox, M. Long, D. Magazzeni, D. Carrera, A. Palomeras, N. Hurtos, N. and Carreras, M.
ROSPlan: Planning in the Robot Operating System
Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015)

Cashmore, M. Fox, M. Long, D. Magazzeni, D. Ridder, B. Savas, E.
ROSPlan: Planning in the Robot Operating System
Proceedings of the 6th Italian Workshop on Planning and Scheduling (IPS 2015)

Cashmore, M. Fox, M. Long, D. Magazzeni, D. Ridder, B.
Articial Intelligence Planning for AUV Mission Control
Proceedings of the IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles (NGCUV 2015)

Maurelli, F. Saigol, Z. Lane, D. Cashmore, M. Ridder, B. Magazzeni, D.
On AUV actions to correctly label world information
Proceedings of the MTS/IEEE Oceans 2014 Conference, St-Johns (OCEANS 2014)

Cashmore, M. Fox, M. and Giunchiglia, E.
Encoding Reachability with Quantification
1st Workshop on Quantification (QUANTIFY 2014)
Proceedings of the Vienna Summer of Logic 2014

Cashmore, M. Fox, M. Long, D. Larkworthy, T. and Magazzeni D.
AUV Mission Control Via Temporal Planning
2014 IEEE International Conference on Robotics and Automation (ICRA 2014)

Cashmore, M. Fox, M. Long, D. and Larkworthy, T.
Planning Inspection Tasks for AUVs
Proceedings of the MTS/IEEE Oceans 2013 Conference, San Diego (OCEANS 2013)

Cashmore, M.
Planning as Quantified Boolean Formulae
PhD thesis, Department of Computer Science, University of Strathclyde, UK. (2013)

Cashmore, M. Fox, M. and Giunchiglia, E.
Partially Grounded Planning as Quantified Boolean Formula
Proceedings of the 23rd Internationsal Conference on Automated Planning and Scheduling (ICAPS 2013)

Cashmore, M. Fox, M. and Giunchiglia, E.
Planning as Quantified Boolean Formula
Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012)

Cashmore, M. and Fox, M.
Partially Grounded Planning as Quantified Boolean Formula
Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'12)

Cashmore, M. Fox, M. and Giunchiglia, E.
Planning as Quantified Boolean Formula
Proceedings of the 29th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG'11)

Cashmore, M. and Fox, M.
Planning as QBF
International Conference on Automated Planning and Scheduling Doctoral Consortium (ICAPS 2010)