default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLavindra de Silva
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j9]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: 108637 (2024)- 2023
- [j8]Lavindra de Silva, Alan Mycroft:
Toward trustworthy programming for autonomous concurrent systems. AI Soc. 38(2): 963-965 (2023) - [j7]Jan Kaiser, Germán Terrazas, Duncan C. McFarlane, Lavindra de Silva:
Towards low-cost machine learning solutions for manufacturing SMEs. AI Soc. 38(6): 2659-2665 (2023) - [c37]Duncan C. McFarlane, Gregory Hawkridge, Lavindra de Silva, Liz Salter:
Evaluation of Industrial Pilots of Low-Cost Digital (Shoestring) Solutions. SOHOMA 2023: 297-308 - [c36]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: 279-291 - 2022
- [i7]Mauricio Cecilio Magnaguagno, Felipe Meneguzzi, Lavindra de Silva:
HyperTensioN and Total-order Forward Decomposition optimizations. CoRR abs/2207.00345 (2022) - 2021
- [j6]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: 103532 (2021) - [c35]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: 249-262 - [c34]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: 263-275 - 2020
- [c33]Lavindra de Silva:
An Operational Semantics for True Concurrency in BDI Agent Systems. AAAI 2020: 7119-7126 - [c32]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: 71 - [c31]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: 72 - [c30]Lavindra de Silva, Felipe Meneguzzi, Brian Logan:
BDI Agent Architectures: A Survey. IJCAI 2020: 4914-4921
2010 – 2019
- 2019
- [j5]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: 130-144 (2019) - [j4]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: 12-37 (2019) - [c29]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: 1383-1387 - [c28]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: 40-51 - [c27]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: 290-300 - 2018
- [c26]Lavindra de Silva:
HTN Acting: A Formalism and an Algorithm. AAMAS 2018: 363-371 - [c25]Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev:
Composite Capabilities for Cloud Manufacturing. AAMAS 2018: 1809-1811 - [c24]Raphaël Lallement, Lavindra de Silva, Rachid Alami:
HATP: Hierarchical Agent-based Task Planner. AAMAS 2018: 1823-1825 - [c23]Germán Terrazas, Lavindra de Silva, Svetan M. Ratchev:
Towards a Cloud-Based Analytics Framework for Assembly Systems. IPAS 2018: 134-141 - [c22]Lavindra de Silva, Felipe Meneguzzi, Brian Logan:
An Operational Semantics for a Fragment of PRS. IJCAI 2018: 195-202 - [i6]Lavindra de Silva:
Addendum to "HTN Acting: A Formalism and an Algorithm". CoRR abs/1806.02127 (2018) - 2017
- [j3]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): 2950-2960 (2017) - [c21]Lavindra de Silva:
BDI Agent Reasoning with Guidance from HTN Recipes. AAMAS 2017: 759-767 - [c20]Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev:
Synthesising Industry-Standard Manufacturing Process Controllers. AAMAS 2017: 1811-1813 - [c19]Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev:
Process Plan Controllers for Non-Deterministic Manufacturing Systems. IJCAI 2017: 1023-1030 - [i5]Lavindra de Silva, Sebastian Sardiña, Lin Padgham:
Addendum to: Summary Information for Reasoning About Hierarchical Plans. CoRR abs/1708.03019 (2017) - 2016
- [c18]Yuan Yao, Lavindra de Silva, Brian Logan:
Reasoning About the Executability of Goal-Plan Trees. EMAS@AAMAS 2016: 176-191 - [c17]Lavindra de Silva, Sebastian Sardiña, Lin Padgham:
Summary Information for Reasoning About Hierarchical Plans. ECAI 2016: 1300-1308 - [c16]Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev:
Realisability of Production Recipes. ECAI 2016: 1449-1457 - [c15]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: 491-492 - [c14]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: 263-264 - [c13]Amit Kumar Pandey, Lavindra de Silva, Rachid Alami:
A Human-Robot Competition: Towards Evaluating Robots' Reasoning Abilities for HRI. ICSR 2016: 138-147 - 2015
- [j2]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): 1-44 (2015) - [c12]Nikolas Antzoulatos, Elkin Castro, Lavindra de Silva, Svetan M. Ratchev:
Interfacing Agents with an Industrial Assembly System for "Plug and Produce": (Demonstration). AAMAS 2015: 1957-1958 - [c11]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: 281 - [c10]Lavindra de Silva, Raphaël Lallement, Rachid Alami:
The HATP hierarchical planner: Formalisation and an initial study of its usability and practicality. IROS 2015: 6465-6472 - [c9]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: 179-188 - 2014
- [c8]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: 3757-3763 - [i4]Lavindra de Silva, Michael Winikoff, Wei Liu:
Extending Agents by Transmitting Protocols in Open Systems. CoRR abs/1403.0429 (2014) - [i3]Raphaël Lallement, Lavindra de Silva, Rachid Alami:
HATP: An HTN Planner for Robotics. CoRR abs/1405.5345 (2014) - 2013
- [c7]Lavindra de Silva, Amit Kumar Pandey, Rachid Alami:
An interface for interleaved symbolic-geometric planning and backtracking. IROS 2013: 232-239 - [i2]Lavindra de Silva, Amit Kumar Pandey, Mamoun Gharbi, Rachid Alami:
Towards Combining HTN Planning and Geometric Task Planning. CoRR abs/1307.1482 (2013) - [i1]Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan:
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. CoRR abs/1309.0442 (2013) - 2012
- [j1]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): 1563-1578 (2012) - 2011
- [c6]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: 116-132
2000 – 2009
- 2009
- [c5]Lavindra de Silva, Sebastian Sardiña, Lin Padgham:
First principles planning in BDI systems. AAMAS (2) 2009: 1105-1112 - 2007
- [c4]Lavindra de Silva, Anthony Dekker, James Harland:
Planning with Time Limits in BDI Agent Programming Languages. CATS 2007: 131-139 - 2006
- [c3]Sebastian Sardiña, Lavindra de Silva, Lin Padgham:
Hierarchical planning in BDI agent programming languages: a formal approach. AAMAS 2006: 1001-1008 - [c2]Anthony Dekker, Lavindra de Silva:
Investigating Organisational Structures with Networks of Planning Agents. CIMCA/IAWTIC 2006: 25 - 2004
- [c1]Lavindra de Silva, Lin Padgham:
A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning. Australian Conference on Artificial Intelligence 2004: 1167-1173
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
