Volgen
Lavindra de Silva
Lavindra de Silva
Principal Researcher (Research Professor), Cambridge University
Geverifieerd e-mailadres voor cam.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
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
1712006
First principles planning in BDI systems
L de Silva, S Sardina, L Padgham
Proceedings of The 8th International Conference on Autonomous Agents and …, 2009
812009
HATP: An HTN planner for robotics
R Lallement, L De Silva, R Alami
ICAPS Workshop on Planning and Robotics, 2014
752014
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, 2013
752013
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
742011
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
682013
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
512015
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
472013
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
462012
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
452004
Planning on demand in BDI systems
L de Silva, L Padgham
International Conference on Automated Planning and Scheduling (ICAPS) Poster …, 2005
40*2005
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
382011
The HATP hierarchical planner: Formalisation and an initial study of its usability and practicality
L De Silva, R Lallement, R Alami
2015 IEEE/RSJ international conference on intelligent robots and systems …, 2015
372015
A Catalogue of Digital Solution Areas for Prioritising the Needs of Manufacturing SMEs
B Schönfuß, D McFarlane, G Hawkridge, L Salter, N Athanassopoulou, ...
Computers in Industry 133 (103532), 2021
352021
Digital manufacturing on a shoestring: Low cost digital solutions for SMEs
D McFarlane, S Ratchev, A Thorne, AK Parlikad, L De Silva, B Schönfuß, ...
International Workshop on Service Orientation in Holonic and Multi-Agent …, 2019
352019
BDI Agent Architectures: A Survey
L de Silva, F Meneguzzi, B Logan
Proceedings of the International Joint Conference on Artificial Intelligence …, 2020
312020
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
282016
Rock Solid Software: A Verifiable and Correct-by-Construction Controller for Rover and Spacecraft Functional Levels
S Bensalem, L De Silva, M Gallien, F Ingrand, R Yan
In Proc. of the 10th Int. Symp. on Artificial Intelligence, Robotics and …, 2010
272010
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
26*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
242014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20