Chair in Computing Science
- About
-
Biography
I am a researcher on automated planning, goal and plan recognition, multiagent systems, BDI agents, and machine learning. I currently hold a Chair of Computing Science at the University of Aberdeen. I am a Senior Member of the ACM and of AAAI. I was a Professor of AI at the Pontifical Catholic University of Rio Grande do Sul in Brazil, where I remain as a Bridges Professor. Before my current position, I worked as a Project Scientist in Multiagent Systems at the Robotics Institute of Carnegie Mellon University after completing a Postdoctoral Fellowship at the same university. I obtained my PhD degree at King's College London, with a thesis on Extending agent languages for multiagent domains under the supervision of Professor Michael Luck and co-supervised by Professor Andrew Jones. Prior to my full-time academic career, I worked in the industry as a contractor for Hewlett-Packard Brazil, and worked on a variety of projects with some very interesting people.
For further information, visit my personal website.
Qualifications
- PhD Artificial Intelligence2009 - King's College London
External Memberships
- Executive Council of the AAAI
- Special Committee on AI for the Brazilian Computer Society
- Bridges Professor at the Pontifical Catholic University of Rio Grande do Sul
Prizes and Awards
- Best SPC member award from AAMAS 2021;
- 1st place at the International Planning Competition (IPC) in 2020;
- Distinguished Visiting Fellow award from the Scottish Informatics and Computer Science Alliance (SICSA);
- Best Student paper at IJCNN 2017: An Application to Support Visually-Impaired People through Deep Convolutional Neural Networks;
- Visionary workshop paper at AAMAS 2017: Norm Conflict Identification Using Deep Learning;
- Google Research Award for Latin America in 2016 as well as in 2019;
- 1st place at the 2016 Multi-Agent Programming Contest;
- 2nd place at the 2016 Predictive Analytics in Mental Health Competition (PAC); and
- Runner up to the Microsoft Research Faculty Fellowship in 2013.
- Research
-
Research Overview
My overall research area is Artificial Intelligence and my research spans the areas of Automated Planning, Autonomous Agents and Applications of Machine Learning. The main goal of my research is to develop practical reasoning mechanisms as a means to both refine the capabilities of autonomous agents and to understand reasoning in general. To accomplish this objective, I work on integrating data-driven and symbolic techniques for reasoning and decision-making while maintaining a low complexity for the description formalisms, helping to achieve explainability for human users.
Research Areas
Accepting PhDs
I am currently accepting PhDs in Computing Science.
Please get in touch if you would like to discuss your research ideas further.
Research Specialisms
- Artificial Intelligence
- Machine Learning
Our research specialisms are based on the Higher Education Classification of Subjects (HECoS) which is HESA open data, published under the Creative Commons Attribution 4.0 International licence.
- Publications
-
Page 1 of 2 Results 1 to 100 of 195
A Survey on Model-Free Goal Recognition
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.24963/ijcai.2024/877
- [ONLINE] View publication in Scopus
Assessment of Radiation-Induced Soft Error on Unmanned Surface Vehicles
IEEE Transactions on Nuclear Science, vol. 71, no. 8, pp. 1589 - 1597Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1109/TNS.2024.3378807
A Practical Operational Semantics for Classical Planning in BDI Agents
Contributions to Conferences: Papers- [ONLINE] https://www.ecai2024.eu/
Explorative Imitation Learning: A Path Signature Approach for Continuous Environments
Contributions to Conferences: PapersReal-time goal recognition using approximations in Euclidean space
Contributions to Conferences: Papers- [ONLINE] Conference website
BDI Agents in Natural Language Environments
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsEmpowering BDI Agents with Generalised Decision-Making
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsA Survey of Imitation Learning Methods, Environments and Metrics
Working Papers: Preprint Papers- [ONLINE] DOI: https://doi.org/10.48550/arXiv.2404.19456
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/24072/1/2404.19456v2.pdf
Goal Recognition via Linear Programming
Working Papers: Preprint PapersTemporally extended goal recognition in fully observable non-deterministic domain models
Applied Intelligence, vol. 54, pp. 470-489Contributions to Journals: ArticlesA Monte Carlo Algorithm for Time-Constrained General Game Playing
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-031-45368-7_7
- [ONLINE] View publication in Scopus
Multi-Agent Intention Recognition and Progression
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsSelf-Supervised Adversarial Imitation Learning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/IJCNN54540.2023.10191197
- [ONLINE] View publication in Scopus
Online Goal Recognition in Discrete and Continuous Domains Using a Vectorial Representation
Working Papers: Preprint PapersRobust Neuro-Symbolic Goal and Plan Recognition
Contributions to Conferences: Other Contributions- [ONLINE] DOI: https://doi.org/10.1609/aaai.v37i10.26408
Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models
Working Papers: Preprint Papers- [ONLINE] DOI: https://doi.org/10.48550/arXiv.2306.08680
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/21526/1/2306.08680v1.pdf
- [ONLINE] http://arxiv.org/abs/2306.08680v1
Modeling a Conversational Agent using BDI Framework
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsSelf-Supervised Adversarial Imitation Learning
Working Papers: Preprint Papers- [ONLINE] DOI: https://doi.org/10.48550/arXiv.2304.10914
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/21527/1/2304.10914v1.pdf
Resilience, reliability, and coordination in autonomous multi-agent systems
AI Communications, vol. 35, no. 4, pp. 339-356Contributions to Journals: ArticlesHyperTensioN and Total-order Forward Decomposition optimizations
Working Papers: Preprint PapersGoal Recognition as Reinforcement Learning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1609/aaai.v36i9.21198
Editorial: Advances in Goal, Plan and Activity Recognition
Frontiers in Artificial Intelligence, vol. 5, 861669Contributions to Journals: EditorialsDetecting Logical Relation In Contract Clauses
Working Papers: Preprint Papers- [ONLINE] DOI: https://doi.org/10.48550/arXiv.2111.01856
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/18301/1/2111.01856v1.pdf
Visual Explanation for Identification of the Brain Bases for Developmental Dyslexia on fMRI Data
Frontiers in Computational Neuroscience, vol. 15, 594659Contributions to Journals: Articles- [ONLINE] https://www.frontiersin.org/articles/10.3389/fncom.2021.594659/full#supplementary-material
- [ONLINE] DOI: https://doi.org/10.3389/fncom.2021.594659
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/20310/1/DaSilva_etal_fncom_Visual_Explanation_Identification_VOR.pdf
- [ONLINE] View publication in Scopus
A Survey on Goal Recognition as Planning
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsBrainhack: Developing a culture of open, inclusive, community-driven neuroscience
Neuron, vol. 109, no. 11, pp. 1769-1775Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1016/j.neuron.2021.04.001
- [ONLINE] View publication in Scopus
An LP-Based Approach for Goal Recognition as Planning
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsAutomated Design of fMRI Paradigms
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1609/icaps.v31i1.15990
- [ONLINE] View publication in Scopus
- [ONLINE] https://ojs.aaai.org/index.php/ICAPS/article/view/15990/15801
- [ONLINE] Link to ICAPS 2021
Combining LSTMs and symbolic approaches for robust plan recognition
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1634.pdf
- [ONLINE] View publication in Scopus
- [ONLINE] Link to Conference
Norm Conflict Identification Using a Convolutional Neural Network
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIII: COIN COINE 2017 2020. Aler Tubella, A., Cranefield, S., Frantz, C., Meneguzzi, F., Vasconcelos, W. (eds.). SpringerChapters in Books, Reports and Conference Proceedings: Chapters- [ONLINE] DOI: https://doi.org/10.1007/978-3-030-72376-7_1
Predicting Brain Age at Slice Level: Convolutional Neural Networks and Consequences for Interpretability
Frontiers in psychiatry, vol. 12, 598518Contributions to Journals: ArticlesA Tensor-Based Markov Decision Process Representation
Advances in Soft Computing.: 19th Mexican International Conference on Artificial Intelligence, MICAI 2020, Mexico City, Mexico, October 12–17, 2020, Proceedings, Part I. Springer, pp. 313–324Chapters in Books, Reports and Conference Proceedings: Chapters- [ONLINE] DOI: https://doi.org/10.1007/978-3-030-60884-2_23
Object-Based Goal Recognition Using Real-World Data
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsUsing Self-Attention LSTMs to Enhance Observations in Goal Recognition
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/IJCNN48605.2020.9207597
- [ONLINE] View publication in Scopus
SmartIX: A database indexing agent based on reinforcement learning
Applied Intelligence, vol. 50, no. 8, pp. 2575-2588Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1007/s10489-020-01674-8
- [ONLINE] View publication in Scopus
Augmented Behavioral Cloning from Observation
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/IJCNN48605.2020.9207672
- [ONLINE] View publication in Scopus
Web Planner: A Tool to Develop, Visualize, and Test Classical Planning Domains
Knowledge Engineering Tools and Techniques for AI Planning. Vallati, M., Kitchin, D. (eds.). Springer, pp. 209-227, 19 pagesChapters in Books, Reports and Conference Proceedings: Chapters- [ONLINE] DOI: https://doi.org/10.1007/978-3-030-38561-3_11
Landmark-based approaches for goal recognition as planning
Artificial Intelligence, vol. 279, 103217Contributions to Journals: ArticlesUsing Sub-Optimal Plan Detection to Identify Commitment Abandonment in Discrete Environments
ACM Transactions on Intelligent Systems and Technology, vol. 11, no. 2, 23Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1145/3372119
- [ONLINE] Cornell University repository
- [ONLINE] View publication in Scopus
BDI agent architectures: A survey
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Energy-aware path planning for autonomous mobile robot navigation
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
LatRec: Recognizing Goals in Latent Space
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Semantic Attachments for HTN Planning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Automating news summarization with sentence vectors offset
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/BRACIS.2019.00027
- [ONLINE] View publication in Scopus
Classification of contractual conflicts via learning of semantic representations
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
ConCon: A contract conflict identifier: Demonstration
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
GADIS: A genetic algorithm for database index selection
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.18293/SEKE2019-135
- [ONLINE] View publication in Scopus
Landmark-enhanced heuristics for goal recognition in incomplete domain models
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Online probabilistic goal recognition over nominal models
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.24963/ijcai.2019/770
- [ONLINE] View publication in Scopus
Using scene context to improve action recognition
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-030-13469-3_110
- [ONLINE] View publication in Scopus
Q-Table compression for reinforcement learning
The Knowledge Engineering Review, vol. 33, pp. 1-21Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1017/S0269888918000280
Sensor Placement for Plan Monitoring using Genetic Programming
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-030-03098-8_40
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/13156/1/paper_49.pdf
A Deep Learning Approach to Classify Aspect-Level Sentiment using Small Datasets
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/IJCNN.2018.8489760
- [ONLINE] View publication in Scopus
Goal Recognition in Latent Space
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/IJCNN.2018.8489653
- [ONLINE] View publication in Scopus
Measuring Semantic Similarity between Sentences Using A Siamese Neural Network
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/IJCNN.2018.8489433
- [ONLINE] View publication in Scopus
Norm Conflict Identification using Vector Space Offsets
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/IJCNN.2018.8489119
- [ONLINE] View publication in Scopus
Identification of autism spectrum disorder using deep learning and the ABIDE dataset
NeuroImage: Clinical, vol. 17, pp. 16-23Contributions to Journals: ArticlesOptimizing UCT for settlers of catan
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/SBGames.2017.00026
- [ONLINE] View publication in Scopus
GoCo: planning expressive commitment protocols
Autonomous Agents and Multi-Agent Systems, vol. 32, pp. 459-502Contributions to Journals: ArticlesAn operational semantics for a fragment of PRS
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.24963/ijcai.2018/27
- [ONLINE] View publication in Scopus
Goal recognition in incomplete domain models
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Norm identification in Jason using a bayesian approach
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-319-91587-6_5
- [ONLINE] View publication in Scopus
Towards online goal recognition combining goal mirroring and landmarks
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Norm conflict identification in contracts
Artificial Intelligence and Law, vol. 25, pp. 397-428Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1007/s10506-017-9205-x
Norm Conflict Identification using Deep Learning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-319-71679-4_13
Bounded-Monitor Placement in Normative Environments
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] http://ceur-ws.org/Vol-1897/
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/9511/1/paper2.pdf
- [ONLINE] View publication in Scopus
Landmark-Based Heuristics for Goal Recognition
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsDeep neural networks for kitchen activity recognition
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/IJCNN.2017.7966102
A Deep Learning Approach for Norm Conflict Identification
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsDetecting commitment abandonment by monitoring sub-optimal steps during plan execution
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Reinforcement Learning Applied to RTS games
Other Contributions: Other ContributionsVirtual guide dog: An application to support visually-impaired people through deep convolutional neural networks
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/IJCNN.2017.7966130
A Deep Neural Architecture for Kitchen Activity Recognition
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/IJCNN.2017.7966102
A Plan Optimality Monitoring Approach to Detect Commitment Abandonment
Other Contributions: Other ContributionsApplying ontologies to the development and execution of Multi-Agent Systems
Web Intelligence, vol. 15, no. 4, pp. 291-302Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.3233/WEB-170366
- [ONLINE] View publication in Scopus
Forecasting Demand with limited information using gradient tree boosting
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Hybrid activity and plan recognition for video streams
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsMethod Composition through Operator Pattern Identification
Contributions to Conferences: PapersMonitoring plan optimality using landmarks and domain-independent heuristics
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Planning in a Normative System
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsTemporal regions for activity recognition
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Detecting task-based fMRI compliance using plan abandonment techniques
Gigascience, vol. 5, no. S1, A19Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1186/s13742-016-0147-0-s
NeuroView: a customizable browser-base utility
Gigascience, vol. 5, no. Supplement 1, A22Contributions to Journals: Abstracts- [ONLINE] DOI: https://doi.org/10.1186/s13742-016-0147-0-v
A Bayesian approach to norm identification
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.3233/978-1-61499-672-9-622
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/7565/1/FAIA285_0622_1_1_.pdf
Comparing Approaches to Subjectivity Classification: A Study on Portuguese Tweets
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-319-41552-9_8
Task allocation for crowdsourcing using AI planning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1145/2897659.2897666
Landmark-based plan recognition
Working Papers: Preprint Papers- [ONLINE] DOI: https://doi.org/10.48550/arXiv.1604.01277
Brainhack: A collaborative workshop for the open neuroscience community
GigaScience, vol. 5, no. 1, 16Contributions to Journals: Review articles- [ONLINE] DOI: https://doi.org/10.1186/s13742-016-0121-x
- [ONLINE] View publication in Scopus
Towards practical argumentation in multi-agent systems
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/BRACIS.2015.30
- [ONLINE] View publication in Scopus
2015 Brainhack Proceedings
Contributions to Journals: Conference Articles- [ONLINE] DOI: https://doi.org/10.1186/s13742-016-0147-0
An Ontology-Based Mobile Application for Task Managing in Collaborative Groups.
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsDOVETAIL - An abstraction for classical planning using a visual metaphor
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Evaluating the SBR Algorithm Using Automatically Generated Plan Libraries
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/BRACIS.2016.046
Interfacing Belief-Desire-Intention Agent Systems with Geometric Reasoning for Robotics and Manufacturing
Service Orientation in Holonic and Multi-Agent Manufacturing. Springer, pp. 179-188, 10 pagesChapters in Books, Reports and Conference Proceedings: Chapters- [ONLINE] DOI: https://doi.org/10.1007/978-3-319-30337-6_17
Landmark-based approaches for plan recognition tasks
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsTowards integrating ontologies in multi-agent programming platforms
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/WI-IAT.2015.207
Distributed Fault Diagnostic for Multiple Mobile Robots Using an Agent Programming Language
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsBDI reasoning with normative considerations
Engineering Applications of Artificial Intelligence, vol. 43, pp. 127-146Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1016/j.engappai.2015.04.011
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/6295/1/nubdi_elsevier.pdf
Monitoring compliance with E-contracts and norms
Artificial Intelligence and Law, vol. 23, no. 2, pp. 161-196Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1007/s10506-015-9167-9
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/6046/1/JournalMonitoring3.pdf
A Bayesian Approach to Norm Identification
Contributions to Conferences: Posters