Publications
Currently viewing:
Page 1 of 2 Results 1 to 100 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
-
Model pruning enables localized and efficient federated learning for yield forecasting and data sharing
- Digital Object Identifier
- https://doi.org/10.1016/j.eswa.2023.122847
- Open Access
- http://aura.abdn.ac.uk/bitstreams/b523b56b-12bc-42d0-bd50-a645cd3fd6bc/download
- Additional Links
- https://www.sciencedirect.com/science/article/pii/S0957417423033493
-
BDI Agents in Natural Language Environments
- Digital Object Identifier
- https://doi.org/10.65109/LGWZ6868
- Open Access
- http://aura.abdn.ac.uk/bitstreams/b0be3c5f-e248-4021-9be0-29cc4cf6fe2b/download
- Additional Links
- https://www.ifaamas.org/Proceedings/aamas2024/forms/index.htm
-
Empowering BDI Agents with Generalised Decision-Making
- Digital Object Identifier
- https://doi.org/10.5555/3635637.3663257
- Open Access
- http://aura.abdn.ac.uk/bitstreams/42f96c96-a878-42c8-921a-5b16c2a4d141/download
-
A Survey of Imitation Learning Methods, Environments and Metrics
- Digital Object Identifier
- https://doi.org/10.48550/arXiv.2404.19456
- Open Access
- http://aura.abdn.ac.uk/bitstreams/87773cba-939f-42d1-909d-b7e8ecce35b5/download
-
Goal Recognition via Linear Programming
-
Pure-Past Action Masking
- Online
- https://aaai.org/aaai-publications/aaai-conference-proceedings/
- Digital Object Identifier
- https://doi.org/10.1609/aaai.v38i19.30163
- Open Access
- http://aura.abdn.ac.uk/bitstreams/40fcc784-1261-4f91-9bd2-c3a2b90aaee9/download
-
Unlocking the potential of sensors for our environment: A call to action from a NERC writing retreat
- Digital Object Identifier
- https://doi.org/10.18552/CSMM/2024/0001
- Open Access
- http://aura.abdn.ac.uk/bitstreams/57c464c0-ffa4-416c-8302-a42098f6a83f/download
-
Evaluation of Human-Understandability of Global Model Explanations Using Decision Tree
- Digital Object Identifier
- https://doi.org/10.1007/978-3-031-50396-2_3
- Open Access
- http://aura.abdn.ac.uk/bitstreams/343a6a81-cb10-4512-8699-ea75cd204e7f/download
- Additional Links
- View publication in Scopus
- https://ecai2023.eu/
- https://xai3ecai2023.github.io/
-
Temporally extended goal recognition in fully observable non-deterministic domain models
- Digital Object Identifier
- https://doi.org/10.1007/s10489-023-05087-1
- Open Access
- http://aura.abdn.ac.uk/bitstreams/b2b6a9e8-3dc6-420f-8cbb-19e9768ad1ce/download
-
Preface
- Additional Links
- View publication in Scopus
-
One-Shot Learning for Task-Oriented Grasping
- Digital Object Identifier
- https://doi.org/10.1109/LRA.2023.3326001
- Additional Links
- View publication in Scopus
-
A Framework for Modeling Human Behavior in Large-scale Agent-based Epidemic Simulations
- Digital Object Identifier
- https://doi.org/10.1177/00375497231184898
- Open Access
- http://aura.abdn.ac.uk/bitstreams/557c388d-073a-44e1-8577-b563622bf2cf/download
-
Inferring Attack Relations for Gradual Semantics
- Digital Object Identifier
- https://doi.org/10.3233/AAC-220010
- Open Access
- http://aura.abdn.ac.uk/bitstreams/f5093167-17fc-47b5-9410-06cbdd7bbb35/download
- Additional Links
- View publication in Scopus
- https://abdn.elsevierpure.com/en/publications/3f9ced3c-74b9-4e5d-834f-a652851cf5ab
-
Revisiting MAB based approaches to recursive delegation
-
A Monte Carlo Algorithm for Time-Constrained General Game Playing
- Digital Object Identifier
- https://doi.org/10.1007/978-3-031-45368-7_7
- Additional Links
- View publication in Scopus
-
Detection of haematoma and peri-haematomal regions of intracerebral haemorrhage using lowfield field-cycling imaging – preliminary study results
- Digital Object Identifier
- https://doi.org/10.1159/000534450
-
On Observability Analysis in Multiagent Systems
- Digital Object Identifier
- https://doi.org/10.3233/FAIA230461
- Open Access
- http://aura.abdn.ac.uk/bitstreams/96e55dde-d95c-4e3f-9b75-8aa775836c2b/download
- Additional Links
- View publication in Scopus
-
Dynamic Causality
- Digital Object Identifier
- https://doi.org/10.3233/FAIA230355
- Open Access
- http://aura.abdn.ac.uk/bitstreams/6127262d-489f-474d-893a-d12fdf1b2c81/download
- Additional Links
- View publication in Scopus
-
Failure Handling in BDI Plans via Runtime Enforcement
- Digital Object Identifier
- https://doi.org/10.3233/FAIA230336
- Open Access
- http://aura.abdn.ac.uk/bitstreams/76f96803-f32b-4c36-a085-461b0da734b4/download
-
Evaluation of Human-Understandability of Global Model Explanations using Decision Tree
- Online
- http://arxiv.org/abs/2309.09917v1
- Additional Links
- https://ecai2023.eu/
- https://xai3ecai2023.github.io/
-
Adaptive Cognitive Agents: Updating Action Descriptions and Plans
- Digital Object Identifier
- https://doi.org/10.1007/978-3-031-43264-4_22
-
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition
- Digital Object Identifier
- https://doi.org/10.1007/978-3-031-43264-4_14
- Open Access
- http://aura.abdn.ac.uk/bitstreams/1b58e31d-2b80-4f51-8603-02a476ecd308/download
- Additional Links
- https://eumas23.github.io/home/#accepted
-
Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning
- Digital Object Identifier
- https://doi.org/10.1007/978-3-031-43264-4_21
- Additional Links
- View publication in Scopus
- https://dspace.library.uu.nl/handle/1874/431803
-
Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)
- Digital Object Identifier
- https://doi.org/10.24963/ijcai.2023/773
- Additional Links
- View publication in Scopus
- https://ijcai-23.org/paper-schedule/
-
Multi-Agent Intention Recognition and Progression
- Digital Object Identifier
- https://doi.org/10.24963/ijcai.2023/11
- Open Access
- http://aura.abdn.ac.uk/bitstreams/b3e4c700-2e90-4336-9fd1-319938ef18e4/download
-
Self-Supervised Adversarial Imitation Learning
- Digital Object Identifier
- https://doi.org/10.1109/IJCNN54540.2023.10191197
- Additional Links
- View publication in Scopus
-
Generosity and the Emergence of Forgiveness in the Donation Game
- Digital Object Identifier
- https://doi.org/10.3233/FAIA230361
- Open Access
- http://aura.abdn.ac.uk/bitstreams/67b8a0d5-7ecf-47a2-8f29-91baa115a7da/download
- Additional Links
- https://ecai2023.eu/overview
-
Robust Neuro-Symbolic Goal and Plan Recognition
- Digital Object Identifier
- https://doi.org/10.1609/aaai.v37i10.26408
-
Probabilistic Temporal Logic for Reasoning about Bounded Policies
- Digital Object Identifier
- https://doi.org/10.24963/ijcai.2023/367
-
Modeling a Conversational Agent using BDI Framework
- Digital Object Identifier
- https://doi.org/10.1145/3555776.3577657
- Open Access
- http://aura.abdn.ac.uk/bitstreams/24440fa4-4c31-48d7-9969-1d2dc2ae6b7a/download
- Additional Links
- View publication in Scopus
-
ML-MAS: a Hybrid AI Framework for Self-Driving Vehicles
- Digital Object Identifier
- https://doi.org/10.65109/ETRN2911
- Open Access
- http://aura.abdn.ac.uk/bitstreams/db7c10fd-8a96-4b9c-b51e-cdcd8efcd51b/download
-
Updating Action Descriptions and Plans for Cognitive Agents
-
Intention Progression with Maintenance Goals
- Online
- https://dl.acm.org/doi/10.5555/3545946.3598947
- Digital Object Identifier
- https://doi.org/10.5555/3545946.3598947
- Additional Links
- View publication in Scopus
-
Model Pruning Enables Localized and Efficient Federated Learning for Yield Forecasting and Data Sharing
- Online
- http://arxiv.org/abs/2304.09876v1
- Digital Object Identifier
- https://doi.org/10.48550/arXiv.2304.09876
- Open Access
- http://aura.abdn.ac.uk/bitstreams/07ff3577-c744-4c79-b169-34dd01e4002b/download
-
Kindness Makes You Happy and Happiness Makes You Healthy: Actual Persuasiveness and Personalisation of Persuasive Messages in a Behaviour Change Intervention for Wellbeing
- Digital Object Identifier
- https://doi.org/10.1007/978-3-031-30933-5_13
- Additional Links
- View publication in Scopus
-
A Logic of East and West
- Online
- https://jair.org/index.php/jair/article/view/14113/26898
- Digital Object Identifier
- https://doi.org/10.1613/jair.1.14113
-
Human-Machine Collaboration in Intelligence Analysis: An Expert Evaluation
- Digital Object Identifier
- https://doi.org/10.1016/j.iswa.2022.200151
- Open Access
- http://aura.abdn.ac.uk/bitstreams/ad310167-0bb8-4bfe-9475-54deadf16baf/download
-
Towards Forward Responsibility in BDI Agents
- Digital Object Identifier
- https://doi.org/10.1007/978-3-031-48539-8_1
- Additional Links
- View publication in Scopus
-
Data-Driven Revision of Conditional Norms in Multi-Agent Systems
- Digital Object Identifier
- https://doi.org/10.1613/JAIR.1.13683
- Open Access
- http://aura.abdn.ac.uk/bitstreams/336401ec-df36-4469-8282-2fee05716903/download
- Additional Links
- View publication in Scopus
-
Special issue on conceptual structures
- Digital Object Identifier
- https://doi.org/10.1007/s10472-022-09819-w
- Open Access
- http://aura.abdn.ac.uk/bitstreams/8590115d-3f55-4db0-a1a9-57a3144d6712/download
- Additional Links
- View publication in Scopus
-
Assessing the Impact of Agents in Weighted Bipolar Argumentation Frameworks
- Digital Object Identifier
- https://doi.org/10.1007/978-3-030-91100-3_6
- Open Access
- http://aura.abdn.ac.uk/bitstreams/1edd0632-d78e-49c1-9252-c81b60af6253/download
-
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
-
The Complexity of Norm Synthesis and Revision
- Digital Object Identifier
- https://doi.org/10.1007/978-3-031-20845-4_3
- Additional Links
- View publication in Scopus
- https://coin-workshop.github.io/coine-2022-auckland/papers/paper-8.pdf
- Link to COINE workshop
-
Extending Attack-Fault Trees with Runtime Verification
- Online
- https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2022.14
- Digital Object Identifier
- https://doi.org/10.4204/EPTCS.371.14
- Open Access
- http://aura.abdn.ac.uk/bitstreams/330903db-151f-4f0d-b05e-8a5d629b8f07/download
- Additional Links
- View publication in Scopus
-
Resilience, reliability, and coordination in autonomous multi-agent systems
- Digital Object Identifier
- https://doi.org/10.3233/AIC-220136
- Open Access
- http://aura.abdn.ac.uk/bitstreams/6172a81e-1580-45a5-8ff0-d2f0fdfc5d20/download
-
Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments
-
Bridging the gap between single- and multi-model predictive runtime verification
- Digital Object Identifier
- https://doi.org/10.1007/s10703-022-00395-7
- Open Access
- http://aura.abdn.ac.uk/bitstreams/176d2637-0883-482d-a0e6-0ded091633a5/download
- Additional Links
- View publication in Scopus
-
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
- Digital Object Identifier
- https://doi.org/10.24963/kr.2022/2
- Additional Links
- View publication in Scopus
- https://iris.uniroma1.it/handle/11573/1659633
-
Multi-Agent Intention Progression with Reward Machines
- Digital Object Identifier
- https://doi.org/10.24963/ijcai.2022/31
- Additional Links
- https://ijcai-22.org/main-track-accepted-papers/
- https://www.ijcai-22.org/ijcai-2022-schedule/
-
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)∗
- Digital Object Identifier
- https://doi.org/10.24963/ijcai.2022/798
- Additional Links
- View publication in Scopus