I am a lecturer in the
Recent major contributions of my work include development of the planners: Colin, capable of reasoning with continuous numeric change; LPRPG, discrete numeric change using an LP to perform complex numerical reasoning; and LPRPG-P an extension of LPRPG making use of the LP as an optimisation tool to create plans satisfying preferences. The planner POPF, which extends Colin to allow partial commitment in forward search temporal planning, is the most recent success having been awarded the runner up prize in the temporal track of the 2011 International Planning Competition. POPF was the only planner in this competition to support the full range of temporally expressive planning problems.
Temporal and numeric reasoning is vital in allowing planning to be applied to real world problems, which contain much of this type of structure: charge in Martian Rovers, Fuel in Logistics and Power Demand in Electricity supply. My research interests therefore extend to application of planning to real-world tasks, and through this I have been involved in developing VOLTS in conjunction with the Department for Electronic and Electrical Engineering at the University of Strathclyde. VOLTS is a system for asset management based on the Grendon Substation, part of the UK's National Grid, near London. I have also been involved in work with Rune Moller Jensen and Kevin Tierney of ITU Copenhagen on automated planning of ocean-liner repositioning for the shipping company MAERSK.
If you are looking for Amanda Smith, that's me, I got married in June 2008.
Senior Programme Committee Memberships
- 22nd European Conference on Artificial Intelligence (ECAI 16)
- 23rd International Conference on Automated Planning and Scheduling (ICAPS 13)
- 22nd, 24th International Joint Conference on Artificial Intelligence (IJCAI 15, 11)
Programme Committee Memberships
- 23rd, 21st International Joint Conference on Artificial Intelligence (IJCAI 13, 09)
- 29th, 28th, 27th, 26th Conference on Artificial Intelligence (AAAI 15, 14, 13, 12)
- 21st, 20th, 19th European Conference on Artificial Intelligence (ECAI 14, 12, 10)
- 25th, 24th, 22nd, 21st, 20th, 19th International Conference on Automated Planning and Scheduling (ICAPS 15, 14, 12, 11, 10, 09)
- 32nd, 30th, 29th, 28th, 27th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 14, 12, 11, 10, 08)
- Programme Chair, ICAPS 2016.
- Workshop Chair, ICAPS 2014.
- Publicity Co-Chair, ICAPS 2013.
- Co-organiser of the ICAPS 2012 workshop on The International Planning Competition.
- Member of the organising committee for the Learning Track of IPC-2011 .
- Co-organiser of the ICAPS 2009 workshop on Planning and Learning.
- Artificial Intelligence
- Journal of Artificial Intelligence Research (JAIR)
- Journal of Scheduling (JOSH)
- Knowledge Engineering Review (KER)
Tanja Daub, PhD Student (King's College London), Joint supervised with Elizabeth Black, Generating Argumentation Strategies via AI Planning
Liana Marinescu, PhD Student (King's College London), Second Supervisor, Planning with Continuous and Discrete Uncertainty
Past Visiting Students
- November 2011 - Present, King's College London: Lecturer
- November 2011 - April 2013, King's College London: EPSRC Post Doctoral Research Fellowship "Maximising Efficiency of Resource Usage Under Uncertainty in AI Planning"
- April 2010 - October 2011, University of Strathclyde: EPSRC Post Doctoral Research Fellowship "Maximising Efficiency of Resource Usage Under Uncertainty in AI Planning"
- December 2008 - March 2010, University of Strathclyde: Research Fellow, EPSRC project "Automated Modelling and Reformulation in Planning" EP/G023360/1
- September 2006 - November 2008, University of Strathclyde: Research Fellow EPSRC project "Planning in Mixed Discrete-Continuous Domains" EP/D062721/1
PhD in Artificial Intelligence Planning
Department of Computer and Information Sciences, University of Strathclyde.
Start date: October 2003, thesis submission September 2006. Conferred July 2007.
My thesis, entitled "On The Inference and use of Macro-Actions in Forward Chaining Planning", can be found on my publications page
BSc (Hons) Artificial Intelligence, First Class
University of Durham
October 2000 to July 2003
Outside of work I coach gymnastics at St Albans and District Gymnastics Club and am also a qualified trampolining coach. I enjoy playing the piano.