Publications
Currently viewing:
Page 1 of 4 Results 1 to 50 of 164
-
-
A Graphical Interface for Visualising and Debugging MASPY Agents
-
Neuro-Symbolic Pump Scheduling for Safe and Cost-efficient Water Distribution Networks
-
Towards Collaborative BDI Agents for Human-AI Teamwork
-
MASPY: A Python Framework for Developing BDI Agents with Reinforcement Learning
- Digital Object Identifier
- https://doi.org/10.65109/YIGW5980
-
Sentence representations for semantic textual similarity: A systematic review
- Digital Object Identifier
- https://doi.org/10.1016/j.csl.2026.101970
- Open Access
- http://aura.abdn.ac.uk/bitstreams/157f32d9-c571-42bc-bb14-0c6f9b043631/download
-
Beyond Mimicry: Toward Lifelong Adaptability in Imitation Learning
- Digital Object Identifier
- https://doi.org/10.48550/arXiv.2602.19930
- Open Access
- http://aura.abdn.ac.uk/bitstreams/0e90bc85-a04d-4f88-8db5-9d99a84e47c5/download
-
Grail: Goal Recognition Alignment through Imitation Learning
- Digital Object Identifier
- https://doi.org/10.48550/arXiv.2602.14252
- Open Access
- http://aura.abdn.ac.uk/bitstreams/58c7c197-2303-41f0-99e0-b2dc2d1ff517/download
-
Towards AI-Sympathy Using Agents
-
Open-World Verification: A Grand Challenge for Autonomous System
-
A Multi-Robot Architecture for Continuous Planning and Execution using BDI Agents
-
An ML-BDI Reasoner to Support Crime Investigation in Digital Forensics
-
Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning
- Digital Object Identifier
- https://doi.org/10.1613/jair.1.20151
- Open Access
- http://aura.abdn.ac.uk/bitstreams/268a56f8-71e1-4a5d-a431-13c89d04a286/download
-
Bases for Weighted Gradual Semantics and Inverse Problems in Argumentation Theory
- Digital Object Identifier
- https://doi.org/10.1613/jair.1.20450
-
TrafficSim: A Simulation Framework for the Scottish Rail Network in ROS2
- Digital Object Identifier
- https://doi.org/10.1007/978-3-032-11442-6_34
- Open Access
- http://aura.abdn.ac.uk/bitstreams/816b4ff4-39f7-4126-bc14-d477e2811812/download
-
Run-time verification of robot-assisted surgery using visual input
-
Reliable Intention Selection in BDI Agents with Recovery Shields
- Digital Object Identifier
- https://doi.org/10.3233/FAIA251228
- Open Access
- http://aura.abdn.ac.uk/bitstreams/c7846450-ab13-4356-a2d1-8e32bb881881/download
-
A BDI Task-oriented Agent in Belief Space
- Digital Object Identifier
- https://doi.org/10.1145/3770857
- Open Access
- http://aura.abdn.ac.uk/bitstreams/eb62b1ff-a1bb-4523-9742-37490d08f674/download
-
Synthesising Minimum Cost Dynamic Norms
-
Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023)
- Digital Object Identifier
- https://doi.org/10.1007/s10472-025-09991-9
- Additional Links
- Provided by the Springer Nature SharedIt content-sharing initiative
- View publication in Scopus
-
Evaluating BDI Agents in ROS: From Basic Integration to Fault Tolerant Multi-Robot Systems
-
Pushdown Reward Machines for Reinforcement Learning
-
Patient-Centred Explainability in IVF Outcome Prediction
- Digital Object Identifier
- https://doi.org/10.48550/arXiv.2506.18760
-
Generalised BDI Planning
- Digital Object Identifier
- https://doi.org/10.5555/3709347.3743782
-
Hypertension and total-order forward decomposition optimizations
- Digital Object Identifier
- https://doi.org/10.1007/s10458-025-09705-9
- Open Access
- http://aura.abdn.ac.uk/bitstreams/ba480a4f-cfe3-47ba-86cc-dc121ad69f6f/download
- Additional Links
- View publication in Scopus
-
Probabilistic Strategy Logic with Degrees of Observability
- Digital Object Identifier
- https://doi.org/10.1609/aaai.v39i14.33655
- Open Access
- http://aura.abdn.ac.uk/bitstreams/04d9740e-e77e-4ae0-8eac-22c4d1f00fb7/download
-
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems
- Digital Object Identifier
- https://doi.org/10.1609/aaai.v39i22.34492
- Open Access
- http://aura.abdn.ac.uk/bitstreams/f073fbff-d670-45d0-8f0c-8e06050015c6/download
- Additional Links
- https://aaai.org/aaai-publications/aaai-conference-proceedings/
-
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
- Digital Object Identifier
- https://doi.org/10.1609/aaai.v39i14.33639
- Open Access
- http://aura.abdn.ac.uk/bitstreams/1520e548-d47a-4e6f-8b7f-852f78bf07db/download
- Additional Links
- View publication in Scopus
-
Automated Planning for Optimal Data Pipeline Instantiation
- Digital Object Identifier
- https://doi.org/10.48550/arXiv.2503.12626
- Open Access
- http://aura.abdn.ac.uk/bitstreams/654a9ed6-43a7-4f81-b612-33cc91dea4da/download
-
Landmark Generation in HTN Planning, Revisited
-
Intention Recognition in Real-Time Interactive Navigation Maps
- Digital Object Identifier
- https://doi.org/10.48550/arXiv.2502.17581
- Open Access
- http://aura.abdn.ac.uk/bitstreams/e650dd39-3329-41bb-aa7a-97c00c8e6dc7/download
-
Towards partial monitoring: Never too early to give in
- Digital Object Identifier
- https://doi.org/10.1016/j.scico.2024.103220
- Open Access
- http://aura.abdn.ac.uk/bitstreams/86e0af6b-7ff4-447f-a1b7-6d110ce75c04/download
- Additional Links
- View publication in Scopus
-
Landmark Generation in HTN Planning Revisited
- Digital Object Identifier
- https://doi.org/10.1609/icaps.v35i1.36123
- Additional Links
- View publication in Scopus
-
Preface
- Digital Object Identifier
- https://doi.org/10.1007/978-3-031-73180-8
- Additional Links
- View publication in Scopus
-
Embedding AI-Enabled Data Infrastructures for Sustainability in Agri-Food: Soft-Fruit and Brewery Use Case Perspectives
- Digital Object Identifier
- https://doi.org/10.3390/s24227327
- Open Access
- http://aura.abdn.ac.uk/bitstreams/56c28a6a-f00e-40ac-bba6-09604d02fea9/download
-
Farm Explorer: A Tool for Calculating Transparent Greenhouse Gas Emissions
-
Measuring Responsibility in Multi-Agent Systems
- Digital Object Identifier
- https://doi.org/10.48550/arXiv.2411.00887
- Open Access
- http://aura.abdn.ac.uk/bitstreams/cec2d5c1-3f4e-4ec3-ba9f-aa83a5b1e585/download
-
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems
- Digital Object Identifier
- https://doi.org/10.48550/arXiv.2411.00146
- Open Access
- http://aura.abdn.ac.uk/bitstreams/d84c79e4-3025-4991-9662-ac4d9186d74e/download
-
Explorative Imitation Learning: A Path Signature Approach for Continuous Environments
- Digital Object Identifier
- https://doi.org/10.3233/FAIA240660
- Open Access
- http://aura.abdn.ac.uk/bitstreams/587fb7b5-a457-40f3-bc2c-96a6fbf14063/download
-
Maximally Permissive Reward Machines
- Digital Object Identifier
- https://doi.org/10.3233/FAIA240613
- Open Access
- http://aura.abdn.ac.uk/bitstreams/c626bb8b-c7b9-4e5e-8333-265f13c93cb0/download
-
Real-time goal recognition using approximations in Euclidean space
- Digital Object Identifier
- https://doi.org/10.3233/FAIA240914
- Open Access
- http://aura.abdn.ac.uk/bitstreams/335975a0-89ec-4dad-8417-d004340d951c/download
- Additional Links
- Conference website
-
GenSynthPop: generating a spatially explicit synthetic population of individuals and households from aggregated data
- Digital Object Identifier
- https://doi.org/10.1007/s10458-024-09680-7
- Open Access
- http://aura.abdn.ac.uk/bitstreams/c021685f-86ed-4f1e-b164-7450c8c6337a/download
-
A Survey on Model-Free Goal Recognition
- Digital Object Identifier
- https://doi.org/10.24963/ijcai.2024/877
- Additional Links
- View publication in Scopus
-
Intention Progression with Temporally Extended Goals
- Digital Object Identifier
- https://doi.org/10.24963/ijcai.2024/33
- Open Access
- http://aura.abdn.ac.uk/bitstreams/7933f4ec-b9ce-45ce-b6b0-d2babf1fb08e/download
- Additional Links
- View publication in Scopus
-
Intention Progression with Temporally Extended Goals
- Digital Object Identifier
- https://doi.org/10.24963/ijcai.2024/33
- Open Access
- http://aura.abdn.ac.uk/bitstreams/9a05f3f4-143f-4f60-a148-1a446a758903/download
-
Intention Progression with Temporally Extended Goals
- Digital Object Identifier
- https://doi.org/10.24963/ijcai.2024/33
- Open Access
- http://aura.abdn.ac.uk/bitstreams/c88c671b-801c-4f76-87db-d0b298d65d21/download
-
Assessment of Radiation-Induced Soft Error on Unmanned Surface Vehicles
- Digital Object Identifier
- https://doi.org/10.1109/TNS.2024.3378807
-
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition
- Digital Object Identifier
- https://doi.org/10.1007/s10846-024-02148-6
- Open Access
- http://aura.abdn.ac.uk/bitstreams/cf1bc71e-d0cd-481b-94f3-ab3df8b6b02f/download
-
A Practical Operational Semantics for Classical Planning in BDI Agents
-
Security-Minded Verification of Cooperative Awareness Messages
- Digital Object Identifier
- https://doi.org/10.1109/TDSC.2023.3345543
- Open Access
- http://aura.abdn.ac.uk/bitstreams/5e927399-e85a-46ec-94a4-8d19559348e4/download
- Additional Links
- View publication in Scopus