Lavindra de Silva
6 papers · 2017–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge · Bronze 🏃 Academic Marathon · Sprint 🗺️ Taxonomy Completionist (13) 🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze
🏆
Keyword Champion
(2)
🌈
Renaissance Researcher
(5)
Top co-authors
Research topics
Artificial Intelligence
(3)
Core AI
(3)
Computer Science
(2)
Knowledge & Reasoning
(2)
Machine Learning
(2)
Reasoning
(2)
Computer Vision
(1)
Reinforcement Learning
(1)
Analysis
(1)
Applications · Reinforcement Learning
(1)
Applications · Computer Science
(1)
Domain-Specific
(1)
Foundations
(1)
Learning Types
(1)
Optimization & Theory
(1)
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