| 2025 | ECAI | On the Performance of Concept Probing: The Influence of the Data. | Manuel de Sousa Ribeiro, Afonso Leote, Joo Leite |
| 2025 | NeSy | Concept Probing: Where to Find Human-Defined Concepts. | Manuel de Sousa Ribeiro, Afonso Leote, Joo Leite |
| 2024 | KR | On Abstracting over the Irrelevant in Answer Set Programming. | Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonalves, Joo Leite |
| 2024 | LPNMR | Abstract Dialectical Frameworks are Boolean Networks. | Jesse Heyninck, Matthias Knorr, Joo Leite |
| 2023 | KR | Revising Boolean Logical Models of Biological Regulatory Networks. | Frederico Aleixo, Matthias Knorr, Joo Leite |
| 2022 | KR | Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. | Joo Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonalves, Joo Leite |
| 2022 | LPNMR | Towards Provenance in Heterogeneous Knowledge Bases. | Matthias Knorr, Carlos Viegas Damsio, Ricardo Gonalves, Joo Leite |
| 2021 | AAAI | Aligning Artificial Neural Networks and Ontologies towards Explainable AI. | Manuel de Sousa Ribeiro, Joo Leite |
| 2021 | EPIA | Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. | Ricardo Ferreira, Carolina Lopes, Ricardo Gonalves, Matthias Knorr, Ludwig Krippahl, Joo Leite |
| 2021 | EPIA | Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. | Joo Ferreira, Diogo Lavado, Ricardo Gonalves, Matthias Knorr, Ludwig Krippahl, Joo Leite |
| 2021 | ICAART | In-car Damage Dirt and Stain Estimation with RGB Images. | Sandra Dixe, Joo Leite, Sahar Azadi, Pedro Faria, Jos Mendes, Jaime C. Fonseca, Joo Borges |
| 2021 | JELIA | On Syntactic Forgetting Under Uniform Equivalence. | Ricardo Gonalves, Tomi Janhunen, Matthias Knorr, Joo Leite |
| 2021 | JELIA | Tractable Reasoning Using Logic Programs with Intensional Concepts. | Jesse Heyninck, Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2020 | ISDA | In-Car State Classification with RGB Images. | Pedro Faria, Sandra Dixe, Joo Leite, Sahar Azadi, Jos Mendes, Jaime C. Fonseca, Joo Borges |
| 2019 | AAAI | Forgetting in Modular Answer Set Programming. | Ricardo Gonalves, Tomi Janhunen, Matthias Knorr, Joo Leite, Stefan Woltran |
| 2019 | EPIA | Forgetting in Answer Set Programming with Anonymous Cycles. | Matti Berthold, Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2019 | LPNMR | Telco Network Inventory Validation with NoHR. | Vedran Kasalica, Ioannis Gerochristos, Jos Jlio Alferes, Ana Sofia Gomes, Matthias Knorr, Joo Leite |
| 2019 | TABLEAUX | Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. | Joo G. Martins, Andr Platzer, Joo Leite |
| 2018 | KR | Variable Elimination for DLP-Functions. | Ricardo Gonalves, Tomi Janhunen, Matthias Knorr, Joo Leite, Stefan Woltran |
| 2017 | EPIA | Iterative Variable Elimination in ASP. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2017 | ICAART | Efficient Reasoning with Rules and Ontologies. | Joo Leite |
| 2017 | LPNMR | A Bird's-Eye View of Forgetting in Answer-Set Programming. | Joo Leite |
| 2017 | LPNMR | NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. | Carlos Lopes, Matthias Knorr, Joo Leite |
| 2017 | LPNMR | moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. | Orkunt Sabuncu, Joo Leite |
| 2016 | ECAI | You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2016 | ECAI | On Some Properties of Forgetting in ASP. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2016 | ECAI | Towards Inconsistency Management in Reactive Multi-Context Systems. | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonalves, Matthias Knorr, Joo Leite, Jrg Phrer |
| 2016 | JELIA | Forgetting in ASP: The Forgotten Properties. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2016 | JELIA | Inconsistency Management in Reactive Multi-context Systems. | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonalves, Matthias Knorr, Joo Leite, Jrg Phrer |
| 2016 | KR | The Ultimate Guide to Forgetting in Answer Set Programming. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2015 | EPIA | Minimal Change in Evolving Multi-Context Systems. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2015 | EPIA | Reasoning over Ontologies and Non-monotonic Rules. | Vadim Ivanov, Matthias Knorr, Joo Leite |
| 2015 | IJCAI | Extending NoHR for OWL 2 QL. | Nuno Costa, Matthias Knorr, Joo Leite |
| 2015 | IJCAI | Efficient Paraconsistent Reasoning with Ontologies and Rules. | Tobias Kaminski, Matthias Knorr, Joo Leite |
| 2015 | IJCAI | Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. | Tobias Kaminski, Matthias Knorr, Joo Leite |
| 2014 | ECAI | On the Efficient Implementation of Social Abstract Argumentation. | Marco Correia, Jorge Cruz, Joo Leite |
| 2014 | ECAI | Evolving Multi-Context Systems. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2014 | PRICAI | On Efficient Evolving Multi-Context Systems. | Matthias Knorr, Ricardo Gonalves, Joo Leite |
| 2013 | IJCAI | On Condensing a Sequence of Updates in Answer-Set Programming. | Martin Slota, Joo Leite |
| 2013 | LPNMR | Non-monotonic Temporal Goals. | Ricardo Gonalves, Matthias Knorr, Joo Leite, Martin Slota |
| 2013 | LPNMR | Early Recovery in Logic Program Updates. | Martin Slota, Martin Balz, Joo Leite |
| 2012 | AAMAS | Normative systems require hybrid knowledge bases. | Marco Alberti, Matthias Knorr, Ana Sofia Gomes, Joo Leite, Ricardo Gonalves, Martin Slota |
| 2012 | JELIA | A Unifying Perspective on Knowledge Updates. | Martin Slota, Joo Leite |
| 2012 | KR | Robust Equivalence Models for Semantic Updates of Answer-Set Programs. | Martin Slota, Joo Leite |
| 2011 | ICFEM | Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. | Joo G. Martins, Andr Platzer, Joo Leite |
| 2011 | IJCAI | Social Abstract Argumentation. | Joo Leite, Joo G. Martins |
| 2011 | LPNMR | Back and Forth between Rules and SE-Models. | Martin Slota, Joo Leite |
| 2010 | ECAI | On Semantic Update Operators for Answer-Set Programs. | Martin Slota, Joo Leite |
| 2009 | EPIA | A Logic Programming System for Evolving Programs with Temporal Operators. | Jos Jlio Alferes, Alfredo Gabaldon, Joo Leite |
| 2007 | EPIA | Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. | Joo Leite, Manoela Ilic |