Chair in Computing Science
- 51cg
-
- School/Department
- School of Natural and Computing Sciences




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 51cg. I am a and of . 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 of after completing a Postdoctoral Fellowship at the same university. I obtained my PhD degree at , with a thesis on under the supervision of Professor and co-supervised by Professor . Prior to my full-time academic career, I worked in the industry as a contractor for , and worked on a variety of projects with some very interesting .
For further information, visit my .
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
- in 2024;
- ;
- ;
- 1st place at the () in 2020;
- Distinguished Visiting Fellow award from the
- Best Student paper at IJCNN 2017:
- Visionary workshop paper at AAMAS 2017: ;
- as well as
- 1st place at the
- 2nd place at the ; 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 , published under the licence.
- Teaching
-
Programmes
- Undergraduate, 4 year, September start
- Postgraduate, 3 stage, January start
- Postgraduate, 3 semester, September start
- Undergraduate, 5 year, September start
- Undergraduate, 5 year, September start
- Undergraduate, 4 year, September start
- Undergraduate, 4 year, September start
- Publications
-
Page 3 of 5 Results 101 to 150 of 215
Temporal regions for activity recognition
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Detecting task-based fMRI compliance using plan abandonment techniques
Gigascience, vol. 5, no. S1, A19Contributions to Journals: Articles- [ONLINE] DOI:
NeuroView: a customizable browser-base utility
Gigascience, vol. 5, no. Supplement 1, A22Contributions to Journals: Abstracts- [ONLINE] DOI:
A Bayesian approach to norm identification
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [OPEN ACCESS]
Comparing Approaches to Subjectivity Classification: A Study on Portuguese Tweets
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
Task allocation for crowdsourcing using AI planning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
Landmark-based plan recognition
Working Papers: Preprint Papers- [ONLINE] DOI:
Brainhack: A collaborative workshop for the open neuroscience community
GigaScience, vol. 5, no. 1, 16Contributions to Journals: Review articles- [ONLINE] DOI:
- [ONLINE]
Towards practical argumentation in multi-agent systems
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
2015 Brainhack Proceedings
Contributions to Journals: Conference Articles- [ONLINE] DOI:
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]
Evaluating the SBR Algorithm Using Automatically Generated Plan Libraries
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
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:
Landmark-based approaches for plan recognition tasks
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE] DOI:
- [ONLINE]
Towards integrating ontologies in multi-agent programming platforms
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
Distributed Fault Diagnostic for Multiple Mobile Robots Using an Agent Programming Language
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
BDI reasoning with normative considerations
Engineering Applications of Artificial Intelligence, vol. 43, pp. 127-146Contributions to Journals: Articles- [ONLINE] DOI:
- [OPEN ACCESS]
Monitoring compliance with E-contracts and norms
Artificial Intelligence and Law, vol. 23, no. 2, pp. 161-196Contributions to Journals: Articles- [ONLINE] DOI:
- [OPEN ACCESS]
A Bayesian Approach to Norm Identification
Contributions to Conferences: Posters- [ONLINE]
- [ONLINE]
Reinforcement Learning of Normative Monitoring Intensities
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
Towards Planning Uncertain Commitment Protocols
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoning
The Knowledge Engineering Review, vol. 30, no. 1, pp. 1-44Contributions to Journals: Articles- [ONLINE] DOI:
- [ONLINE]
A Bayesian approach to norm identification
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
Agent Technology for Intelligent Mobile Services and Smart Societies
SpringerBooks and Reports: Books- [ONLINE] DOI:
- [ONLINE]
A multi-agent systems engineering tool based on ontologies
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
An Ontology for Collaborative Tasks in Multi-agent Systems
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
Applying ontologies and agent technologies to generate ambient intelligence applications
Agent Technology for Intelligent Mobile Services and Smart Societies: AVSA CARE 2014. Springer, pp. 22-33, 12 pagesChapters in Books, Reports and Conference Proceedings: Chapters- [ONLINE] DOI:
Arguing about task reallocation using ontological information in multi-agent systems
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Automatic Generation of Plan Libraries for Plan Recognition Performance Evaluation
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
Identifying Potential Conflicts between Norms in Contracts
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Integrating Ontologies with Multi-Agent Systems through CArtAgO Artifacts
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
On the Design of Symbolic-Geometric Online Planning Systems
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Simulating Normative Behaviour in Multi-Agent Environments using Monitoring Artefacts
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
Towards Practical Argumentation-Based Dialogues in Multi-Agent Systems
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
Utilizing Permission Norms in BDI Practical Normative Reasoning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
Imperfect norm enforcement in stochastic environments:: an analysis of efficiency and cost tradeoffs
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
A smart home model using JaCaMo framework
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
Dealing with Ambiguity in Plan Recognition under Time Constraints
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
Norm Monitoring with Asymmetric Information: Monitoring Strategies with Asymmetric Information in Stochastic Environments
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
- [ONLINE]
Analyzing the tradeoff between efficiency and cost of norm enforcement in stochastic environments
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
Analyzing the tradeoff between efficiency and cost of norm enforcement in stochastic environments populated with self-interested agents
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsAn Approach for Argumentation-based Reasoning Using Defeasible Logic in Multi-Agent Programming Languages
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
BioPlan: An API for Classical Planning on BioCrowds
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
Classifying Brain States for Cognitive Tasks: a Functional MRI Study in Children with Reading Impairments
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Formal Semantics of Speech Acts for Argumentative Dialogues
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
Integrating Multi-Agent Systems in JaCaMo using a Semantic Representations
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Planning Interactions for Agents in Argumentation-Based Negotiation
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Probabilistic Plan Recognition for Proactive Assistant Agents
Plan, Activity, and Intent Recognition: Theory and Practice. Elsevier Science, pp. 275-288, 14 pagesChapters in Books, Reports and Conference Proceedings: Chapters- [ONLINE] DOI:
- [ONLINE]
Semantic representations of agent plans and planning problem domains
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
