Lavindra de Silva

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 35

Top Topics

Classical Planning

Planning Problems

Assembly Systems

Top Venues

Publications

Yiming Zhang, Alix Marie d'Avigneau, Georgios M. Hadjidemetriou, Lavindra de Silva, Mark Girolami, Ioannis K. Brilakis
Bayesian dynamic modelling for probabilistic prediction of pavement condition. Eng. Appl. Artif. Intell. 133 (2024)
Duncan C. McFarlane, Gregory Hawkridge, Lavindra de Silva, Liz Salter
Evaluation of Industrial Pilots of Low-Cost Digital (Shoestring) Solutions. SOHOMA (2023)
Jan Kaiser, Germán Terrazas, Duncan C. McFarlane, Lavindra de Silva
Towards low-cost machine learning solutions for manufacturing SMEs. AI Soc. 38 (6) (2023)
Lavindra de Silva, Alan Mycroft
Toward trustworthy programming for autonomous concurrent systems. AI Soc. 38 (2) (2023)
Nzebo Richard Anvo, Thomas George Thuruthel, Hussameldin M. Taha, Lavindra de Silva, Abir Al-Tabbaa, Ioannis K. Brilakis, Fumiya Iida
Automated 3D Mapping, Localization and Pavement Inspection with Low Cost RGB-D Cameras and IMUs. TAROS (2023)
Mauricio Cecilio Magnaguagno, Felipe Meneguzzi, Lavindra de Silva
HyperTensioN and Total-order Forward Decomposition optimizations. CoRR (2022)
Gregory Hawkridge, Duncan C. McFarlane, Jan Kaiser, Lavindra de Silva, Germán Terrazas
Designing Shoestring Solutions: An Approach for Designing Low-Cost Digital Solutions for Manufacturing. SOHOMA (2021)
Zhengyang Ling, Lavindra de Silva, Gregory Hawkridge, Duncan C. McFarlane, Giovanna Martínez-Arellano, Benjamin Schönfuß, Alan Thorne
A Graphical Environment to Support the Development of Affordable Digital Manufacturing Solutions. SOHOMA (2021)
Benjamin Schönfuß, Duncan C. McFarlane, Gregory Hawkridge, Liz Salter, Nicky Athanassopoulou, Lavindra de Silva
A catalogue of digital solution areas for prioritising the needs of manufacturing SMEs. Comput. Ind. 133 (2021)
Lavindra de Silva, Gregory Hawkridge, Germán Terrazas, Marco E. Pérez Hernández, Alan Thorne, Duncan C. McFarlane, Yedige Tlegenov
An Application of HRI in Low-Cost Digital Manufacturing. HRI (Companion) (2020)
Lavindra de Silva, Felipe Meneguzzi, Brian Logan
BDI Agent Architectures: A Survey. IJCAI (2020)
Lavindra de Silva
An Operational Semantics for True Concurrency in BDI Agent Systems. AAAI (2020)
Gregory Hawkridge, Benjamin Schönfuß, Duncan C. McFarlane, Lavindra de Silva, Germán Terrazas, Liz Salter, Alan Thorne
Towards Shoestring Solutions for UK Manufacturing SMEs. HRI (Companion) (2020)
Lavindra de Silva, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan, Svetan M. Ratchev
Synthesising process controllers from formal models of transformable assembly systems. Robotics Comput. Integr. Manuf. 58 (2019)
Benjamin Schönfuß, Duncan C. McFarlane, Nicky Athanassopoulou, Liz Salter, Lavindra de Silva, Svetan M. Ratchev
Prioritising Low Cost Digital Solutions Required by Manufacturing SMEs: A Shoestring Approach. SOHOMA (2019)
Gregory Hawkridge, Marco E. Pérez Hernández, Lavindra de Silva, Germán Terrazas, Yedige Tlegenov, Duncan C. McFarlane, Alan Thorne
Tying Together Solutions for Digital Manufacturing: Assessment of Connectivity Technologies & Approaches. ETFA (2019)
Duncan C. McFarlane, Svetan M. Ratchev, Alan Thorne, Ajith Kumar Parlikad, Lavindra de Silva, Benjamin Schönfuß, Gregory Hawkridge, Germán Terrazas, Yedige Tlegenov
Digital Manufacturing on a Shoestring: Low Cost Digital Solutions for SMEs. SOHOMA (2019)
Lavindra de Silva, Lin Padgham, Sebastian Sardiña
HTN-like solutions for classical planning problems: An application to BDI agent systems. Theor. Comput. Sci. 763 (2019)
Raphaël Lallement, Lavindra de Silva, Rachid Alami
HATP: Hierarchical Agent-based Task Planner. AAMAS (2018)
Lavindra de Silva
Addendum to "HTN Acting: A Formalism and an Algorithm". CoRR (2018)
Lavindra de Silva, Felipe Meneguzzi, Brian Logan
An Operational Semantics for a Fragment of PRS. IJCAI (2018)
Lavindra de Silva
HTN Acting: A Formalism and an Algorithm. AAMAS (2018)
Germán Terrazas, Lavindra de Silva, Svetan M. Ratchev
Towards a Cloud-Based Analytics Framework for Assembly Systems. IPAS (2018)
Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev
Composite Capabilities for Cloud Manufacturing. AAMAS (2018)
Lavindra de Silva
BDI Agent Reasoning with Guidance from HTN Recipes. AAMAS (2017)
Lavindra de Silva, Sebastian Sardiña, Lin Padgham
Addendum to: Summary Information for Reasoning About Hierarchical Plans. CoRR (2017)
Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev
Synthesising Industry-Standard Manufacturing Process Controllers. AAMAS (2017)
Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev
Process Plan Controllers for Non-Deterministic Manufacturing Systems. IJCAI (2017)
Nikolas Antzoulatos, Elkin Castro, Lavindra de Silva, André Dionísio Rocha, Svetan M. Ratchev, José Barata
A multi-agent framework for capability-based reconfiguration of industrial assembly systems. Int. J. Prod. Res. 55 (10) (2017)
Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev
Realisability of Production Recipes. ECAI (2016)
Lavindra de Silva, Sebastian Sardiña, Lin Padgham
Summary Information for Reasoning About Hierarchical Plans. ECAI (2016)
Amit Kumar Pandey, Lavindra de Silva, Rachid Alami
A Human-Robot Competition: Towards Evaluating Robots' Reasoning Abilities for HRI. ICSR (2016)
Yuan Yao, Lavindra de Silva, Brian Logan
Reasoning About the Executability of Goal-Plan Trees. EMAS@AAMAS (2016)
Amit Kumar Pandey, Lavindra de Silva, Rachid Alami
A Novel Concept of Human-Robot Competition for Evaluating a Robot's Reasoning Capabilities in HRI. HRI (2016)
David Sanderson, Jack C. Chaplin, Lavindra de Silva, Paul Holmes, Svetan M. Ratchev
Smart Manufacturing and Reconfigurable Technologies: Towards an Integrated Environment for Evolvable Assembly Systems. FAS*W@SASO/ICCAC (2016)
Lavindra de Silva, Felipe Meneguzzi, David Sanderson, Jack C. Chaplin, Otto J. Bakker, Nikolas Antzoulatos, Svetan M. Ratchev
Interfacing Belief-Desire-Intention Agent Systems with Geometric Reasoning for Robotics and Manufacturing. SOHOMA (2015)
Lavindra de Silva, Raphaël Lallement, Rachid Alami
The HATP hierarchical planner: Formalisation and an initial study of its usability and practicality. IROS (2015)
Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem
A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. HRI (Extended Abstracts) (2015)
Nikolas Antzoulatos, Elkin Castro, Lavindra de Silva, Svetan M. Ratchev
Interfacing Agents with an Industrial Assembly System for "Plug and Produce": (Demonstration). AAMAS (2015)
Felipe Meneguzzi, Lavindra de Silva
Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoning. Knowl. Eng. Rev. 30 (1) (2015)
Lavindra de Silva, Mamoun Gharbi, Amit Kumar Pandey, Rachid Alami
A new approach to combined symbolic-geometric backtracking in the context of human-robot interaction. ICRA (2014)
Lavindra de Silva, Michael Winikoff, Wei Liu
Extending Agents by Transmitting Protocols in Open Systems. CoRR (2014)
Raphaël Lallement, Lavindra de Silva, Rachid Alami
HATP: An HTN Planner for Robotics. CoRR (2014)
Lavindra de Silva, Amit Kumar Pandey, Mamoun Gharbi, Rachid Alami
Towards Combining HTN Planning and Geometric Task Planning. CoRR (2013)
Lavindra de Silva, Amit Kumar Pandey, Rachid Alami
An interface for interleaved symbolic-geometric planning and backtracking. IROS (2013)
Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. CoRR (2013)
Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand
Rigorous design of robot software: A formal component-based approach. Robotics Auton. Syst. 60 (12) (2012)
Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. SC@TOOLS (2011)
Lavindra de Silva, Sebastian Sardiña, Lin Padgham
First principles planning in BDI systems. AAMAS (2) (2009)
Lavindra de Silva, Anthony Dekker, James Harland
Planning with Time Limits in BDI Agent Programming Languages. CATS (2007)
Anthony Dekker, Lavindra de Silva
Investigating Organisational Structures with Networks of Planning Agents. CIMCA/IAWTIC (2006)
Sebastian Sardiña, Lavindra de Silva, Lin Padgham
Hierarchical planning in BDI agent programming languages: a formal approach. AAMAS (2006)
Lavindra de Silva, Lin Padgham
A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning. Australian Conference on Artificial Intelligence (2004)