Lavindra de Silva
6 papers · 2017–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌍 Conference Polyglot (3) 🏃 Academic Marathon (8) 🌈 Renaissance Researcher (6) 🌉 Interdisciplinary Bridge 🗺️ Taxonomy Completionist (13)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
IJCAI (3)
AAAI (2)
WACV (1)
Top co-authors
Keywords
agent programming language
(2)
agent programming
(2)
operational semantics
(2)
bdi agents
(1)
image annotation
(1)
expressive power
(1)
domain knowledge
(1)
consistency regularization
(1)
planning algorithm
(1)
task decomposition
(1)
concurrent execution
(1)
hierarchical task network
(1)
bdi architecture
(1)
controller synthesis
(1)
formal semantics
(1)
consistency regularisation
(1)
symbolic model
(1)
multi-agent system
(1)
manufacturing system
(1)
automatic correction
(1)
Papers
Hypertension and Total-Order Forward Decomposition Optimizations (Abstract Reprint)
AAAI 2026
CRAAC: Consistency Regularised Active Learning with Automatic Corrections for Real-Life Road Image Annotations
WACV 2025
An Operational Semantics for True Concurrency in BDI Agent Systems
AAAI 2020
BDI Agent Architectures: A Survey
IJCAI 2020
An Operational Semantics for a Fragment of PRS
IJCAI 2018
Process Plan Controllers for Non-Deterministic Manufacturing Systems
IJCAI 2017