| Hierarchical planning in BDI agent programming languages: A formal approach S Sardina, L De Silva, L Padgham Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 153 | 2006 |
| First principles planning in BDI systems L de Silva, S Sardina, L Padgham Proceedings of The 8th International Conference on Autonomous Agents and …, 2009 | 69 | 2009 |
| A goal-oriented autonomous controller for space exploration A Ceballos, S Bensalem, A Cesta, L de Silva, S Fratini, F Ingrand, J Ocon, ... ASTRA 11, 2011 | 61 | 2011 |
| Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoning F Meneguzzi, L de Silva The Knowledge Engineering Review, 1-44, 2015 | 59 | 2015 |
| HATP: An HTN planner for robotics R Lallement, L de Silva, R Alami Workshop on Planning and Robotics @ ICAPS, 2014 | 59 | 2014 |
| Towards combining HTN planning and geometric task planning L de Silva, AK Pandey, M Gharbi, R Alami Workshop on Combined Robot Motion Planning and AI Planning for Practical …, 2013 | 53 | 2013 |
| Rigorous design of robot software: A formal component-based approach T Abdellatif, S Bensalem, J Combaz, L de Silva, F Ingrand Robotics and Autonomous Systems 60 (12), 1563-1578, 2012 | 46 | 2012 |
| A comparison of BDI based real-time reasoning and HTN based planning L de Silva, L Padgham AI 2004: Advances in Artificial Intelligence, 1167-1173, 2004 | 43 | 2004 |
| Evolvable assembly systems: a distributed architecture for intelligent manufacturing JC Chaplin, OJ Bakker, L De Silva, D Sanderson, E Kelly, B Logan, ... IFAC-PapersOnLine 48 (3), 2065-2070, 2015 | 40 | 2015 |
| An interface for interleaved symbolic-geometric planning and backtracking L de Silva, AK Pandey, R Alami Intelligent Robots and Systems (IROS), 2013 IEEE/RSJ International …, 2013 | 38 | 2013 |
| A Verifiable and Correct-by-Construction Controller for Robots in Human Environments L de Silva, R Yan, F Ingrand, A Rachid, S Bensalem ACM/IEEE International Conference on Human-Robot Interaction (HRI), 281, 2015 | 35* | 2015 |
| A verifiable and correct-by-construction controller for robot functional levels S Bensalem, L de Silva, F Ingrand, R Yan Journal of Software Engineering for Robotics 1 (2), 1-19, 2011 | 35 | 2011 |
| Planning on demand in BDI systems L de Silva, L Padgham International Conference on Automated Planning and Scheduling (ICAPS) Poster …, 2005 | 31 | 2005 |
| A multi-agent framework for capability-based reconfiguration of industrial assembly systems N Antzoulatos, E Castro, L de Silva, AD Rocha, S Ratchev, J Barata International Journal of Production Research 55 (10), 2950-2960, 2017 | 25* | 2017 |
| The HATP Hierarchical Planner: Formalisation and an Initial Study of its Usability and Practicality L de Silva, R Lallement, R Alami Intelligent Robots and Systems (IROS), 2015 IEEE/RSJ International Conference on, 2015 | 22 | 2015 |
| A new approach to combined symbolic-geometric backtracking in the context of human-robot interaction L de Silva, M Gharbi, AK Pandey, R Alami Robotics and Automation (ICRA), 2014 IEEE International Conference on, 3757-3763, 2014 | 21 | 2014 |
| Extending agents by transmitting protocols in open systems L de Silva, M Winikoff, W Liu Workshop on Challenges in Open Agent Systems @ AAMAS, 2014 | 20 | 2014 |
| Realisability of production recipes L de Silva, P Felli, JC Chaplin, B Logan, D Sanderson, S Ratchev ECAI 2016: 22nd European Conference on Artificial Intelligence, 29 August-2 …, 2016 | 18 | 2016 |
| GenoM as a Robotics Framework for Planetary Rover Surface Operations A Ceballos, L de Silva, M Herrb, F Ingrand, A Mallet, A Medina, M Prieto Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA), 1-7, 2011 | 16 | 2011 |
| "Rock solid” software: a verifiable and correctby-construction controller for rover and spacecraft functional levels S Bensalem, L De Silva, M Gallien, F Ingrand, R Yan In i-SAIRAS-10. Proc. of the 10th Int. Symp. on Artificial Intelligence …, 2010 | 13 | 2010 |
Svetan RatchevCripps Professor of Production Engineering, The University of NottinghamVerified email at nottingham.ac.uk
