A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning. - Lavindra de Silva; Lin Padgham (Australian Conference on Artificial Intelligence, 2004)

Hierarchical planning in BDI agent programming languages: a formal approach. - Sebastian Sardiña; Lavindra de Silva; Lin Padgham (AAMAS, 2006)

Investigating Organisational Structures with Networks of Planning Agents. - Anthony Dekker; Lavindra de Silva (CIMCA/IAWTIC, 2006)

Planning with Time Limits in BDI Agent Programming Languages. - Lavindra de Silva; Anthony Dekker; James Harland (CATS, 2007)

First principles planning in BDI systems. - Lavindra de Silva; Sebastian Sardiña; Lin Padgham (AAMAS (2), 2009)

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 (SC@TOOLS, 2011)

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)

An interface for interleaved symbolic-geometric planning and backtracking. - Lavindra de Silva; Amit Kumar Pandey; Rachid Alami 001 (IROS, 2013)

A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. - Saddek Bensalem; Lavindra de Silva; Félix Ingrand; Rongjie Yan (CoRR, 2013)

Towards Combining HTN Planning and Geometric Task Planning. - Lavindra de Silva; Amit Kumar Pandey; Mamoun Gharbi; Rachid Alami 001 (CoRR, 2013)

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 001 (ICRA, 2014)

HATP: An HTN Planner for Robotics. - Raphaël Lallement; Lavindra de Silva; Rachid Alami 001 (CoRR, 2014)

Extending Agents by Transmitting Protocols in Open Systems. - Lavindra de Silva; Michael Winikoff; Wei Liu 006 (CoRR, 2014)

Interfacing Agents with an Industrial Assembly System for "Plug and Produce": (Demonstration). - Nikolas Antzoulatos; Elkin Castro; Lavindra de Silva; Svetan M. Ratchev (AAMAS, 2015)

A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. - Lavindra de Silva; Rongjie Yan; Félix Ingrand; Rachid Alami 001; Saddek Bensalem (HRI (Extended Abstracts), 2015)

The HATP hierarchical planner: Formalisation and an initial study of its usability and practicality. - Lavindra de Silva; Raphaël Lallement; Rachid Alami 001 (IROS, 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 (SOHOMA, 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)

Reasoning About the Executability of Goal-Plan Trees. - Yuan Yao 007; Lavindra de Silva; Brian Logan 001 (EMAS@AAMAS, 2016)

Realisability of Production Recipes. - Lavindra de Silva; Paolo Felli; Jack C. Chaplin; Brian Logan 001; David Sanderson; Svetan M. Ratchev (ECAI, 2016)

Summary Information for Reasoning About Hierarchical Plans. - Lavindra de Silva; Sebastian Sardiña; Lin Padgham (ECAI, 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 001 (HRI, 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 (FAS*W@SASO/ICCAC, 2016)

A Human-Robot Competition: Towards Evaluating Robots' Reasoning Abilities for HRI. - Amit Kumar Pandey; Lavindra de Silva; Rachid Alami 001 (ICSR, 2016)

BDI Agent Reasoning with Guidance from HTN Recipes. - Lavindra de Silva (AAMAS, 2017)

Synthesising Industry-Standard Manufacturing Process Controllers. - Lavindra de Silva; Paolo Felli; Jack C. Chaplin; Brian Logan 001; David Sanderson; Svetan M. Ratchev (AAMAS, 2017)

Process Plan Controllers for Non-Deterministic Manufacturing Systems. - Paolo Felli; Lavindra de Silva; Brian Logan 001; Svetan M. Ratchev (IJCAI, 2017)

Addendum to: Summary Information for Reasoning About Hierarchical Plans. - Lavindra de Silva; Sebastian Sardiña; Lin Padgham (CoRR, 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)

Composite Capabilities for Cloud Manufacturing. - Paolo Felli; Lavindra de Silva; Brian Logan 001; Svetan M. Ratchev (AAMAS, 2018)

HATP: Hierarchical Agent-based Task Planner. - Raphaël Lallement; Lavindra de Silva; Rachid Alami 001 (AAMAS, 2018)

HTN Acting: A Formalism and an Algorithm. - Lavindra de Silva (AAMAS, 2018)

Towards a Cloud-Based Analytics Framework for Assembly Systems. - Germán Terrazas; Lavindra de Silva; Svetan M. Ratchev (IPAS, 2018)

An Operational Semantics for a Fragment of PRS. - Lavindra de Silva; Felipe Meneguzzi; Brian Logan 001 (IJCAI, 2018)

Addendum to "HTN Acting: A Formalism and an Algorithm". - Lavindra de Silva (CoRR, 2018)

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 (ETFA, 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 (SOHOMA, 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 (SOHOMA, 2019)

Synthesising process controllers from formal models of transformable assembly systems. - Lavindra de Silva; Paolo Felli; David Sanderson; Jack C. Chaplin; Brian Logan 001; Svetan M. Ratchev (Robotics Comput. Integr. Manuf., 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)

An Operational Semantics for True Concurrency in BDI Agent Systems. - Lavindra de Silva (AAAI, 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 (HRI (Companion), 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 (HRI (Companion), 2020)

BDI Agent Architectures: A Survey. - Lavindra de Silva; Felipe Meneguzzi; Brian Logan 001 (IJCAI, 2020)

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 (SOHOMA, 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 (SOHOMA, 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)

Evaluation of Industrial Pilots of Low-Cost Digital (Shoestring) Solutions. - Duncan C. McFarlane; Gregory Hawkridge; Lavindra de Silva; Liz Salter (SOHOMA, 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 (TAROS, 2023)

Toward trustworthy programming for autonomous concurrent systems. - Lavindra de Silva; Alan Mycroft (AI Soc., 2023)

Towards low-cost machine learning solutions for manufacturing SMEs. - Jan Kaiser; Germán Terrazas; Duncan C. McFarlane; Lavindra de Silva (AI Soc., 2023)

Bayesian dynamic modelling for probabilistic prediction of pavement condition. - Yiming Zhang; Alix Marie d'Avigneau; Georgios M. Hadjidemetriou; Lavindra de Silva; Mark Girolami; Ioannis K. Brilakis (Eng. Appl. Artif. Intell., 2024)

CRAAC: Consistency Regularised Active Learning with Automatic Corrections for Real-Life Road Image Annotations. - Percy Lam; Sooyong Park; Weiwei Chen 005; Lavindra de Silva; Ioannis K. Brilakis (WACV, 2025)

Data-efficient classification of road inspection texts with a semantic similarity criterion. - Ching Yau Fergus Mok; Lavindra de Silva; Varun Kumar Reja; Stephen Green 001; Ioannis K. Brilakis (Adv. Eng. Informatics, 2025)

CAMHighways: The Cambridge Highways dataset. - Alix Marie d'Avigneau; Lilia Potseluyko; Nzebo Richard Anvo; Hussameldin M. Taha; Varun Kumar Reja; Diana Davletshina; Percy Lam; Lavindra de Silva; Abir Al-Tabbaa; Ioannis K. Brilakis (Adv. Eng. Informatics, 2025)

Digitalizing Road Maintenance: A Novel Approach for the Preparation and Integration of 2D and 3D Road Data through Image Shadow Removal and Point Cloud Densification. - Ellie Pang; Diana Davletshina; Alix Marie d'Avigneau; Nicolas Park; Lavindra de Silva; Ioannis K. Brilakis (J. Comput. Civ. Eng., 2025)

Hypertension and total-order forward decomposition optimizations. - Maurício Cecílio Magnaguagno; Felipe Meneguzzi; Lavindra de Silva (Auton. Agents Multi Agent Syst., 2025)