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 4 of 5 Results 151 to 200 of 215
Using ontologies as semantic representations of hierarchical task network planning domains
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Declarative planning in procedural agent architectures
Expert Systems with Applications, vol. 40, no. 16, pp. 6508-6520Contributions to Journals: Articles- [ONLINE] DOI:
A first-order formalization of commitments and goals for planning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
Hierarchical planning about goals and commitments
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
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:
- [ONLINE]
Adaptive high-level strategy learning in starcraft
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Alternatives to Threshold-Based Desire Selection in Bayesian BDI Agents
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
A Smart Home model to Demand Side Management
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Interaction Patterns in a MAS Organisation to Support Shared Tasks
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Interaction Patterns in a Multi-Agent Organisation to Support Shared Tasks
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
Normative Agents
Agreement Technologies. Ossowski, S. (ed.). Springer Netherlands, pp. 209-220, 12 pagesChapters in Books, Reports and Conference Proceedings: Chapters- [ONLINE] DOI:
Predictive Indoor Navigation using Commercial Smart-phones
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
Using subjective logic to handle uncertainty and conflicts
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
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:
Querying linked ontological data through distributed summarization
Contributions to Conferences: Papers- [ONLINE]
A cognitive architecture for emergency response
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
Introduction to prognostic normative reasoning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
Nu-BDI: Norm-aware BDI Agents
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
Towards Presenting Relevant Facts and Answers on Inconsistent and Uncertain Knowledge
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Trust 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:
- [ONLINE]
Probabilistic Hierarchical Planning over MDPs
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
Prognostic normative reasoning in coalition planning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
Prognostic agent assistance for norm-compliant coalition planning
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
Acting 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 Proceedings- [ONLINE]
Anytime Cognition: An information agent for emergency response
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Planning over MDPs through Probabilistic HTNs
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Proactive Indoor Navigation on Mobile Devices
Carnegie Mellon UniversityBooks and Reports: Commissioned Reports- [ONLINE]
Probabilistic plan recognition for intelligent information agents: Towards proactive software assistant agents
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Reports of the AAAI 2010 fall symposia
AI Magazine, vol. 32, no. 1, pp. 93-100Contributions to Journals: Articles- [ONLINE] DOI:
- [ONLINE]
An agent architecture for intelligent information assistance
Contributions to Conferences: PapersANTIPA: An agent architecture for intelligent information assistance
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
Challenges in anticipatory information management under network constraints
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
Intelligent information assistance for coalition operations
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Motivations and Goal-Directed Autonomy
Contributions to Conferences: Papers- [ONLINE]
On representing planning domains under uncertainty
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Using 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:
Norm-based behaviour modification in BDI agents
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
A contract-based system for aerospace aftercare
Contributions to Conferences: Papers- [ONLINE]
Extending agent languages for multiagent domains
King's College London. 202 pagesBooks and Reports: Commissioned Reports- [ONLINE]
Leveraging new plans in AgentSpeak(PL)
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Extending Agent Languages for Autonomy
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Composing 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:
- [ONLINE]
Electronic contracting in aircraft aftercare: A case study
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Interaction among agents that plan
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
Towards a Monitoring Framework for Agent-Based Contract Systems
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI:
- [ONLINE]
