Lavindra de Silva

According to our database, Lavindra de Silva authored at least 52 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards low-cost machine learning solutions for manufacturing SMEs.

Jan Kaiser, Germán Terrazas, Duncan C. McFarlane, Lavindra de Silva

AI Soc., December, 2023

Toward trustworthy programming for autonomous concurrent systems.

Lavindra de Silva, Alan Mycroft

AI Soc., April, 2023

Automated 3D Mapping, Localization and Pavement Inspection with Low Cost RGB-D Cameras and IMUs.

Nzebo Richard Anvo, Thomas George Thuruthel, Hussameldin M. Taha, Lavindra de Silva, Abir Al-Tabbaa, Ioannis K. Brilakis, Fumiya Iida

Proceedings of the Towards Autonomous Robotic Systems - 24th Annual Conference, 2023

Evaluation of Industrial Pilots of Low-Cost Digital (Shoestring) Solutions.

Duncan C. McFarlane, Gregory Hawkridge, Lavindra de Silva, Liz Salter

Proceedings of the Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, 2023

2022

HyperTensioN and Total-order Forward Decomposition optimizations.

Mauricio Cecilio Magnaguagno, Felipe Meneguzzi, Lavindra de Silva

CoRR, 2022

2021

A catalogue of digital solution areas for prioritising the needs of manufacturing SMEs.

Benjamin Schönfuß, Duncan C. McFarlane, Gregory Hawkridge, Liz Salter, Nicky Athanassopoulou, Lavindra de Silva

Comput. Ind., 2021

A Graphical Environment to Support the Development of Affordable Digital Manufacturing Solutions.

Zhengyang Ling, Lavindra de Silva, Gregory Hawkridge, Duncan C. McFarlane, Giovanna Martínez-Arellano, Benjamin Schönfuß, Alan Thorne

Proceedings of the Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, 2021

Designing Shoestring Solutions: An Approach for Designing Low-Cost Digital Solutions for Manufacturing.

Gregory Hawkridge, Duncan C. McFarlane, Jan Kaiser, Lavindra de Silva, Germán Terrazas

Proceedings of the Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, 2021

2020

BDI Agent Architectures: A Survey.

Lavindra de Silva, Felipe Meneguzzi, Brian Logan

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

An Application of HRI in Low-Cost Digital Manufacturing.

Lavindra de Silva, Gregory Hawkridge, Germán Terrazas, Marco E. Pérez Hernández, Alan Thorne, Duncan C. McFarlane, Yedige Tlegenov

Proceedings of the Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction, 2020

Towards Shoestring Solutions for UK Manufacturing SMEs.

Gregory Hawkridge, Benjamin Schönfuß, Duncan C. McFarlane, Lavindra de Silva, Germán Terrazas, Liz Salter, Alan Thorne

Proceedings of the Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction, 2020

An Operational Semantics for True Concurrency in BDI Agent Systems.

Lavindra de Silva

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

HTN-like solutions for classical planning problems: An application to BDI agent systems.

Lavindra de Silva, Lin Padgham, Sebastian Sardiña

Theor. Comput. Sci., 2019

Synthesising process controllers from formal models of transformable assembly systems.

Lavindra de Silva, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan, Svetan M. Ratchev

Robotics Comput. Integr. Manuf., 2019

Prioritising Low Cost Digital Solutions Required by Manufacturing SMEs: A Shoestring Approach.

Benjamin Schönfuß, Duncan C. McFarlane, Nicky Athanassopoulou, Liz Salter, Lavindra de Silva, Svetan M. Ratchev

Proceedings of the 9th Workshop on Service Oriented, 2019

Digital Manufacturing on a Shoestring: Low Cost Digital Solutions for SMEs.

Duncan C. McFarlane, Svetan M. Ratchev, Alan Thorne, Ajith Kumar Parlikad, Lavindra de Silva, Benjamin Schönfuß, Gregory Hawkridge, Germán Terrazas, Yedige Tlegenov

Proceedings of the 9th Workshop on Service Oriented, 2019

Tying Together Solutions for Digital Manufacturing: Assessment of Connectivity Technologies & Approaches.

Gregory Hawkridge, Marco E. Pérez Hernández, Lavindra de Silva, Germán Terrazas, Yedige Tlegenov, Duncan C. McFarlane, Alan Thorne

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Addendum to "HTN Acting: A Formalism and an Algorithm".

Lavindra de Silva

CoRR, 2018

An Operational Semantics for a Fragment of PRS.

Lavindra de Silva, Felipe Meneguzzi, Brian Logan

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Towards a Cloud-Based Analytics Framework for Assembly Systems.

Germán Terrazas, Lavindra de Silva, Svetan M. Ratchev

Proceedings of the Precision Assembly in the Digital Age, 2018

HTN Acting: A Formalism and an Algorithm.

Lavindra de Silva

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

HATP: Hierarchical Agent-based Task Planner.

Raphaël Lallement, Lavindra de Silva, Rachid Alami

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Composite Capabilities for Cloud Manufacturing.

Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

A multi-agent framework for capability-based reconfiguration of industrial assembly systems.

Nikolas Antzoulatos, Elkin Castro, Lavindra de Silva, André Dionísio Rocha, Svetan M. Ratchev, José Barata

Int. J. Prod. Res., 2017

Addendum to: Summary Information for Reasoning About Hierarchical Plans.

Lavindra de Silva, Sebastian Sardiña, Lin Padgham

CoRR, 2017

Process Plan Controllers for Non-Deterministic Manufacturing Systems.

Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Synthesising Industry-Standard Manufacturing Process Controllers.

Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

BDI Agent Reasoning with Guidance from HTN Recipes.

Lavindra de Silva

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

A Human-Robot Competition: Towards Evaluating Robots' Reasoning Abilities for HRI.

Amit Kumar Pandey, Lavindra de Silva, Rachid Alami

Proceedings of the Social Robotics - 8th International Conference, 2016

Smart Manufacturing and Reconfigurable Technologies: Towards an Integrated Environment for Evolvable Assembly Systems.

David Sanderson, Jack C. Chaplin, Lavindra de Silva, Paul Holmes, Svetan M. Ratchev

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

A Novel Concept of Human-Robot Competition for Evaluating a Robot's Reasoning Capabilities in HRI.

Amit Kumar Pandey, Lavindra de Silva, Rachid Alami

Proceedings of the Eleventh ACM/IEEE International Conference on Human Robot Interation, 2016

Summary Information for Reasoning About Hierarchical Plans.

Lavindra de Silva, Sebastian Sardiña, Lin Padgham

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Realisability of Production Recipes.

Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Reasoning About the Executability of Goal-Plan Trees.

Yuan Yao, Lavindra de Silva, Brian Logan

Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

2015

Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoning.

Felipe Meneguzzi, Lavindra de Silva

Knowl. Eng. Rev., 2015

Interfacing Belief-Desire-Intention Agent Systems with Geometric Reasoning for Robotics and Manufacturing.

Lavindra de Silva, Felipe Meneguzzi, David Sanderson, Jack C. Chaplin, Otto J. Bakker, Nikolas Antzoulatos, Svetan M. Ratchev

Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2015

The HATP hierarchical planner: Formalisation and an initial study of its usability and practicality.

Lavindra de Silva, Raphaël Lallement, Rachid Alami

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

A Verifiable and Correct-by-Construction Controller for Robots in Human Environments.

Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem

Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, 2015

Interfacing Agents with an Industrial Assembly System for "Plug and Produce": (Demonstration).

Nikolas Antzoulatos, Elkin Castro, Lavindra de Silva, Svetan M. Ratchev

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Extending Agents by Transmitting Protocols in Open Systems.

Lavindra de Silva, Michael Winikoff, Wei Liu

CoRR, 2014

HATP: An HTN Planner for Robotics.

Raphaël Lallement, Lavindra de Silva, Rachid Alami

CoRR, 2014

A new approach to combined symbolic-geometric backtracking in the context of human-robot interaction.

Lavindra de Silva, Mamoun Gharbi, Amit Kumar Pandey, Rachid Alami

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

Towards Combining HTN Planning and Geometric Task Planning.

Lavindra de Silva, Amit Kumar Pandey, Mamoun Gharbi, Rachid Alami

CoRR, 2013

A Verifiable and Correct-by-Construction Controller for Robot Functional Levels.

Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan

CoRR, 2013

An interface for interleaved symbolic-geometric planning and backtracking.

Lavindra de Silva, Amit Kumar Pandey, Rachid Alami

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

2012

Rigorous design of robot software: A formal component-based approach.

Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand

Robotics Auton. Syst., 2012

2011

A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems.

Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan

Proceedings of the Software Composition - 10th International Conference, 2011

2009

First principles planning in BDI systems.

Lavindra de Silva, Sebastian Sardiña, Lin Padgham

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2007

Planning with Time Limits in BDI Agent Programming Languages.

Lavindra de Silva, Anthony Dekker, James Harland

Proceedings of the Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30, 2007

2006

Investigating Organisational Structures with Networks of Planning Agents.

Anthony Dekker, Lavindra de Silva

Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

Hierarchical planning in BDI agent programming languages: a formal approach.

Sebastian Sardiña, Lavindra de Silva, Lin Padgham

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2004

A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning.

Lavindra de Silva, Lin Padgham

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004