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 2 of 2 Results 101 to 195 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 ProceedingsTrust and obfuscation
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsAn agent architecture for prognostic reasoning assistance
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-418
- [ONLINE] View publication in Scopus
Probabilistic Hierarchical Planning over MDPs
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsPrognostic normative reasoning in coalition planning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] https://dl.acm.org/doi/10.5555/2034396.2034502
- [ONLINE] View publication in Scopus
Prognostic agent assistance for norm-compliant coalition planning
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsActing on Norm Constrained Plans
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsAn approach to generate MDPs using HTN representations
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsAnytime Cognition: An information agent for emergency response
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsPlanning over MDPs through Probabilistic HTNs
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsProactive Indoor Navigation on Mobile Devices
Carnegie Mellon UniversityBooks and Reports: Commissioned ReportsProbabilistic plan recognition for intelligent information agents: Towards proactive software assistant agents
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Reports of the AAAI 2010 fall symposia
AI Magazine, vol. 32, no. 1, pp. 93-100Contributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.1609/aimag.v32i1.2338
- [ONLINE] View publication in Scopus
ANTIPA: An agent architecture for intelligent information assistance
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.3233/978-1-60750-606-5-1055
- [ONLINE] View publication in Scopus
An agent architecture for intelligent information assistance
Contributions to Conferences: PapersChallenges in anticipatory information management under network constraints
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsIntelligent information assistance for coalition operations
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsMotivations and Goal-Directed Autonomy
Contributions to Conferences: PapersOn representing planning domains under uncertainty
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsUsing constraints for norm-aware BDI agents
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsElectronic Business Contracts Between Services
Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications. Antonopoulos, N., Exarchakos, G., Liotta, A. (eds.). IGI Global, pp. 732-746, 15 pagesChapters in Books, Reports and Conference Proceedings: Chapters- [ONLINE] DOI: https://doi.org/10.4018/978-1-61520-686-5.ch031
Norm-based behaviour modification in BDI agents
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsA contract-based system for aerospace aftercare
Contributions to Conferences: PapersExtending agent languages for multiagent domains
King's College London. 202 pagesBooks and Reports: Commissioned ReportsLeveraging new plans in AgentSpeak(PL)
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-540-93920-7_8
- [ONLINE] View publication in Scopus
Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsExtending Agent Languages for Autonomy
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsComposing high-level plans for declarative agent programming
Declarative Agent Languages and Technologies V. DALT 2007. Springer, pp. 69-85, 17 pagesChapters in Books, Reports and Conference Proceedings: Chapters- [ONLINE] DOI: https://doi.org/10.1007/978-3-540-77564-5_5
- [ONLINE] View publication in Scopus
Electronic contracting in aircraft aftercare: A case study
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsInteraction among agents that plan
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsTowards a Monitoring Framework for Agent-Based Contract Systems
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-540-85834-8_23
- [ONLINE] http://www.meneguzzi.eu/felipe/pubs/cia2008.pdf
Data processing system and method
Other Contributions: Other ContributionsDeclarative Goals in Motivated Agent Architectures
Books and Reports: Other ReportsMotivations as an abstraction of meta-level reasoning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1007/978-3-540-75254-7_21
- [ONLINE] View publication in Scopus
Motivations and declarative goals as cornerstones of autonomy
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsAn agent model for fault-tolerant system
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1145/1066677.1066696
- [ONLINE] View publication in Scopus
An agent model for fault-tolerant systems
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsPlanejamento Proposicional em Agentes BDI
Pontifícia Universidade Católica do Rio Grande do Sul.Other Contributions: Other ContributionsSupport for arbitrary regions in XSL-FO: A proposal for extending XSL-FO semantics and processing model
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1145/1062745.1062871
- [ONLINE] View publication in Scopus
Support for arbitrary regions in XSL-FO
Research Disclosure, pp. 764-767Contributions to Specialist Publications: Articles- [ONLINE] View publication in Scopus
Strategies for Document Optimization in Digital Publishing
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] http://www.meneguzzi.eu/felipe/pubs/doceng2004.pdf
- [ONLINE] DOI: https://doi.org/10.1145/1030397.1030429
Beliefs, Desires and Intentions in Agent Systems: A survey of the BDI Agent Model
Journal of Artificial Intelligence ResearchContributions to Journals: ArticlesMapping Mental States into Propositional Planning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/AAMAS.2004.167
Mapping mental states into prepositional planning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Prepositional planning in BDI agents
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] View publication in Scopus
Providing printing web services
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.1109/IWNA.2002.1241328
- [ONLINE] View publication in Scopus