João Leite

João Leite is a Professor of Computer Science at the Department of Computer Science, NOVA School of Science and Technology, NOVA University Lisbon. His career spans roles as Head of Department, Vice President of APPIA, Principal Investigator of the Intelligent Systems Group at NOVA LINCS, and Senior Visiting Fellow at CSE, UNSW, Sydney, Australia. He is an International Partner of Potassco Solutions and a member of IFIP TC-12 Artificial Intelligence. João's research focuses on Artificial Intelligence, Knowledge Representation and Reasoning, Neuro-symbolic AI, Answer-Set Programming, Argumentation Theory, and Multi-Agent Systems.

• 2002: PhD in Computer Science, NOVA University Lisbon
• 1997: MSc in Computer Science, NOVA University Lisbon
• 1994: BSc in Electronic Engineering, University of Coimbra

João's articles demonstrate a consistent focus on Answer-Set Programming (ASP), with applications in Knowledge Forgetting, Modular Reasoning, and Hybrid Knowledge Bases. His work bridges ASP with Ontologies, Multi-Context Systems, and Neural Networks, emphasizing Explainable AI and Dynamic Knowledge Evolution. Recent papers explore Provenance in Heterogeneous Systems, Efficient Reasoning with Intensional Concepts, and Stream Reasoning using neural architectures.

Scientific Awards:

• Senior Visiting Fellow at CSE, UNSW, Sydney
• Award-winning collaborative project: The Politics of constraints: Discursive strategies in a three-level game

João has led significant research projects such as FORGET (2018-2022) on information forgetting and RIVER (2018-2022) on knowledge-stream integration. He contributed to NEURASPACE (2022-2025) and Knowledge-Aware Cyber-Physical Systems (2015-2019). His software developments include NoHR (Hybrid Reasoning), EVOLP (Evolving Logic Programs), and SWARG (Social Abstract Argumentation Tool).