João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
1
TITLE: Preface
AUTHORS: Valente Valente De Oliveira; João Alexandre Leite; Joao F Rodrigues; João Miguel Dias; Pedro S Cardoso;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16121 LNAI
AUTHORS: Valente Valente De Oliveira; João Alexandre Leite; Joao F Rodrigues; João Miguel Dias; Pedro S Cardoso;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16121 LNAI
INDEXED IN: 
Scopus
Scopus2
TITLE: Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I
AUTHORS: José Valente de Oliveira; João Leite; João Rodrigues; João Dias; Pedro Cardoso;
PUBLISHED: 2026, SOURCE: EPIA (1), VOLUME: 16121
AUTHORS: José Valente de Oliveira; João Leite; João Rodrigues; João Dias; Pedro Cardoso;
PUBLISHED: 2026, SOURCE: EPIA (1), VOLUME: 16121
INDEXED IN: 
DBLP
DBLP3
TITLE: Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part II
AUTHORS: José Valente de Oliveira; João Leite; João Rodrigues; João Dias; Pedro Cardoso;
PUBLISHED: 2026, SOURCE: EPIA (2), VOLUME: 16122
AUTHORS: José Valente de Oliveira; João Leite; João Rodrigues; João Dias; Pedro Cardoso;
PUBLISHED: 2026, SOURCE: EPIA (2), VOLUME: 16122
INDEXED IN: DBLP
DBLP4
TITLE: Abstract Dialectical Frameworks are Boolean Networks
AUTHORS: Heyninck, Jesse; Knorr, Matthias; Leite, Joao;
PUBLISHED: 2025, SOURCE: 17th International Conference on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2024, VOLUME: 15245
AUTHORS: Heyninck, Jesse; Knorr, Matthias; Leite, Joao;
PUBLISHED: 2025, SOURCE: 17th International Conference on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2024, VOLUME: 15245
5
TITLE: On Abstracting over the Irrelevant in Answer Set Programming
AUTHORS: Zeynep Saribatur; Matthias Knorr; Ricardo Gonçalves; João Leite;
PUBLISHED: 2024, SOURCE: 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTHORS: Zeynep Saribatur; Matthias Knorr; Ricardo Gonçalves; João Leite;
PUBLISHED: 2024, SOURCE: 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 in Proceedings of the International Conference on Knowledge Representation and Reasoning
6
TITLE: Revising Boolean Logical Models of Biological Regulatory Networks
AUTHORS: Frederico Aleixo; Matthias Knorr; João Leite;
PUBLISHED: 2023, SOURCE: 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTHORS: Frederico Aleixo; Matthias Knorr; João Leite;
PUBLISHED: 2023, SOURCE: 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 in Proceedings of the International Conference on Knowledge Representation and Reasoning
7
TITLE: A Brief History of Updates of Answer-Set Programs
AUTHORS: Leite, Joao; Slota, Martin;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 23, ISSUE: 1
AUTHORS: Leite, Joao; Slota, Martin;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 23, ISSUE: 1
8
TITLE: Towards Provenance in Heterogeneous Knowledge Bases
AUTHORS: Knorr, Matthias; Damasio, Carlos Viegas; Goncalves, Ricardo; Leite, Joao;
PUBLISHED: 2022, SOURCE: 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, VOLUME: 13416
AUTHORS: Knorr, Matthias; Damasio, Carlos Viegas; Goncalves, Ricardo; Leite, Joao;
PUBLISHED: 2022, SOURCE: 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, VOLUME: 13416
9
TITLE: Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
AUTHORS: Ferreira, J; de Sousa Ribeiro, M; Gonçalves, R; Leite, J;
PUBLISHED: 2022, SOURCE: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 in 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022
AUTHORS: Ferreira, J; de Sousa Ribeiro, M; Gonçalves, R; Leite, J;
PUBLISHED: 2022, SOURCE: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 in 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022
10
TITLE: Aligning Artificial Neural Networks and Ontologies towards Explainable AI
AUTHORS: Ribeiro, MD; Leite, J;
PUBLISHED: 2021, SOURCE: 35th AAAI Conference on Artificial Intelligence / 33rd Conference on Innovative Applications of Artificial Intelligence / 11th Symposium on Educational Advances in Artificial Intelligence in THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 35, ISSUE: 6
AUTHORS: Ribeiro, MD; Leite, J;
PUBLISHED: 2021, SOURCE: 35th AAAI Conference on Artificial Intelligence / 33rd Conference on Innovative Applications of Artificial Intelligence / 11th Symposium on Educational Advances in Artificial Intelligence in THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 35, ISSUE: 6
