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 4 Results 1 to 50 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