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 3 of 4 Results 101 to 150 of 195
Reinforcement Learning of Normative Monitoring Intensities
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsTowards Planning Uncertain Commitment Protocols
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsPlanning 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: ArticlesA Bayesian approach to norm identification
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsA multi-agent systems engineering tool based on ontologies
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsAgent Technology for Intelligent Mobile Services and Smart Societies
SpringerBooks and Reports: BooksAn Ontology for Collaborative Tasks in Multi-agent Systems
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsApplying 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: https://doi.org/10.1007/978-3-662-46241-6_3
Arguing about task reallocation using ontological information in multi-agent systems
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsAutomatic Generation of Plan Libraries for Plan Recognition Performance Evaluation
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsIdentifying Potential Conflicts between Norms in Contracts
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsIntegrating Ontologies with Multi-Agent Systems through CArtAgO Artifacts
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsOn the Design of Symbolic-Geometric Online Planning Systems
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsSimulating Normative Behaviour in Multi-Agent Environments using Monitoring Artefacts
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsTowards Practical Argumentation-Based Dialogues in Multi-Agent Systems
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsUtilizing Permission Norms in BDI Practical Normative Reasoning
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsImperfect norm enforcement in stochastic environments:: an analysis of efficiency and cost tradeoffs
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-319-12027-0_42
A smart home model using JaCaMo framework
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/INDIN.2014.6945490
- [ONLINE] View publication in Scopus
Dealing with Ambiguity in Plan Recognition under Time Constraints
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsNorm Monitoring with Asymmetric Information: Monitoring Strategies with Asymmetric Information in Stochastic Environments
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 ProceedingsAnalyzing the tradeoff between efficiency and cost of norm enforcement in stochastic environments
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.3233/978-1-61499-419-0-1003
- [ONLINE] View publication in Scopus
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 ProceedingsBioPlan: An API for Classical Planning on BioCrowds
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/SBGAMES.2014.26
Classifying Brain States for Cognitive Tasks: a Functional MRI Study in Children with Reading Impairments
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsFormal Semantics of Speech Acts for Argumentative Dialogues
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsIntegrating Multi-Agent Systems in JaCaMo using a Semantic Representations
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsPlanning Interactions for Agents in Argumentation-Based Negotiation
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsProbabilistic 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: ChaptersSemantic representations of agent plans and planning problem domains
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-319-14484-9_18
Using ontologies as semantic representations of hierarchical task network planning domains
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsDeclarative planning in procedural agent architectures
Expert Systems with Applications, vol. 40, no. 16, pp. 6508-6520Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1016/j.eswa.2013.05.058
A first-order formalization of commitments and goals for planning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.5555/2891460.2891557
- [ONLINE] View publication in Scopus
Hierarchical planning about goals and commitments
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.5555/2484920.2485059
- [ONLINE] https://dl.acm.org/doi/10.5555/2484920.2485059
Norm identification through plan recognition
Contributions to Conferences: PapersPrognostic normative reasoning
Engineering Applications of Artificial Intelligence, vol. 26, no. 2, pp. 863-872Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1016/j.engappai.2012.12.006
- [ONLINE] View publication in Scopus
A Smart Home model to Demand Side Management
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsAdaptive high-level strategy learning in starcraft
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsAlternatives to Threshold-Based Desire Selection in Bayesian BDI Agents
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsInteraction Patterns in a MAS Organisation to Support Shared Tasks
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsInteraction Patterns in a Multi-Agent Organisation to Support Shared Tasks
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-642-40972-1_30
Normative Agents
Agreement Technologies. Ossowski, S. (ed.). Springer Netherlands, pp. 209-220, 12 pagesChapters in Books, Reports and Conference Proceedings: Chapters- [ONLINE] DOI: https://doi.org/10.1007/978-94-007-5583-3__14
Predictive Indoor Navigation using Commercial Smart-phones
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1145/2480362.2480463
Using subjective logic to handle uncertainty and conflicts
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/TrustCom.2012.294
- [ONLINE] View publication in Scopus
Applying electronic contracting to the aerospace aftercare domain
Engineering Applications of Artificial Intelligence, vol. 25, no. 7, pp. 1471-1487Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1016/j.engappai.2012.06.004
Querying linked ontological data through distributed summarization
Contributions to Conferences: PapersA cognitive architecture for emergency response
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsIntroduction to prognostic normative reasoning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-642-27216-5_38
- [ONLINE] View publication in Scopus
Nu-BDI: Norm-aware BDI Agents
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsTowards Presenting Relevant Facts and Answers on Inconsistent and Uncertain Knowledge
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings