Lavindra de Silva

60 papers A* 7A 13B 1C 2Journal 21Unranked 16

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