Skip to content

Lavindra de Silva

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

8

Active years

2013–2026

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAIHypertension and Total-Order Forward Decomposition Optimizations (Abstract Reprint).Maurcio Ceclio Magnaguagno, Felipe Meneguzzi, Lavindra de Silva
2025WACVCRAAC: Consistency Regularised Active Learning with Automatic Corrections for Real-Life Road Image Annotations.Percy Lam, Sooyong Park, Weiwei Chen, Lavindra de Silva, Ioannis K. Brilakis
2020AAAIAn Operational Semantics for True Concurrency in BDI Agent Systems.Lavindra de Silva
2020HRITowards Shoestring Solutions for UK Manufacturing SMEs.Gregory Hawkridge, Benjamin Schnfu, Duncan C. McFarlane, Lavindra de Silva, Germn Terrazas, Liz Salter, Alan Thorne
2020HRIAn Application of HRI in Low-Cost Digital Manufacturing.Lavindra de Silva, Gregory Hawkridge, Germn Terrazas, Marco E. Prez Hernndez, Alan Thorne, Duncan C. McFarlane, Yedige Tlegenov
2020IJCAIBDI Agent Architectures: A Survey.Lavindra de Silva, Felipe Meneguzzi, Brian Logan
2019ETFATying Together Solutions for Digital Manufacturing: Assessment of Connectivity Technologies & Approaches.Gregory Hawkridge, Marco E. Prez Hernndez, Lavindra de Silva, Germn Terrazas, Yedige Tlegenov, Duncan C. McFarlane, Alan Thorne
2018IJCAIAn Operational Semantics for a Fragment of PRS.Lavindra de Silva, Felipe Meneguzzi, Brian Logan
2017IJCAIProcess Plan Controllers for Non-Deterministic Manufacturing Systems.Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev
2016ECAIRealisability of Production Recipes.Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev
2016ECAISummary Information for Reasoning About Hierarchical Plans.Lavindra de Silva, Sebastian Sardia, Lin Padgham
2016HRIA Novel Concept of Human-Robot Competition for Evaluating a Robot's Reasoning Capabilities in HRI.Amit Kumar Pandey, Lavindra de Silva, Rachid Alami
2015HRIA Verifiable and Correct-by-Construction Controller for Robots in Human Environments.Lavindra de Silva, Rongjie Yan, Flix Ingrand, Rachid Alami, Saddek Bensalem
2015IROSThe HATP hierarchical planner: Formalisation and an initial study of its usability and practicality.Lavindra de Silva, Raphal Lallement, Rachid Alami
2014ICRAA new approach to combined symbolic-geometric backtracking in the context of human-robot interaction.Lavindra de Silva, Mamoun Gharbi, Amit Kumar Pandey, Rachid Alami
2013IROSAn interface for interleaved symbolic-geometric planning and backtracking.Lavindra de Silva, Amit Kumar Pandey, Rachid Alami