João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
1
TÃTULO: Preface
AUTORES: Valente Valente De Oliveira; João Alexandre Leite; Joao F Rodrigues; João Miguel Dias; Pedro S Cardoso;
PUBLICAÇÃO: 2026, FONTE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16121 LNAI
AUTORES: Valente Valente De Oliveira; João Alexandre Leite; Joao F Rodrigues; João Miguel Dias; Pedro S Cardoso;
PUBLICAÇÃO: 2026, FONTE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16121 LNAI
INDEXADO EM: 
Scopus
Scopus2
TÃTULO: Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I
AUTORES: José Valente de Oliveira; João Leite; João Rodrigues; João Dias; Pedro Cardoso;
PUBLICAÇÃO: 2026, FONTE: EPIA (1), VOLUME: 16121
AUTORES: José Valente de Oliveira; João Leite; João Rodrigues; João Dias; Pedro Cardoso;
PUBLICAÇÃO: 2026, FONTE: EPIA (1), VOLUME: 16121
INDEXADO EM: 
DBLP
DBLP3
TÃTULO: Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part II
AUTORES: José Valente de Oliveira; João Leite; João Rodrigues; João Dias; Pedro Cardoso;
PUBLICAÇÃO: 2026, FONTE: EPIA (2), VOLUME: 16122
AUTORES: José Valente de Oliveira; João Leite; João Rodrigues; João Dias; Pedro Cardoso;
PUBLICAÇÃO: 2026, FONTE: EPIA (2), VOLUME: 16122
INDEXADO EM: DBLP
DBLP4
TÃTULO: Abstract Dialectical Frameworks are Boolean Networks
AUTORES: Heyninck, Jesse; Knorr, Matthias; Leite, Joao;
PUBLICAÇÃO: 2025, FONTE: 17th International Conference on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2024, VOLUME: 15245
AUTORES: Heyninck, Jesse; Knorr, Matthias; Leite, Joao;
PUBLICAÇÃO: 2025, FONTE: 17th International Conference on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2024, VOLUME: 15245
5
TÃTULO: Leveraging ML for predicting UCS of soil stabilised with one-part alkali-activated binder
AUTORES: Tinoco, Joaquim; Pinheiro, Joao; Cristelo, Nuno; Rodrigues, Mafalda; Miranda, Tiago ;
PUBLICAÇÃO: 2025, FONTE: PROCEEDINGS OF THE INSTITUTION OF CIVIL ENGINEERS-GROUND IMPROVEMENT
AUTORES: Tinoco, Joaquim; Pinheiro, Joao; Cristelo, Nuno; Rodrigues, Mafalda; Miranda, Tiago ;
PUBLICAÇÃO: 2025, FONTE: PROCEEDINGS OF THE INSTITUTION OF CIVIL ENGINEERS-GROUND IMPROVEMENT
6
TÃTULO: On Abstracting over the Irrelevant in Answer Set Programming
AUTORES: Zeynep Saribatur; Matthias Knorr; Ricardo Gonçalves; João Leite;
PUBLICAÇÃO: 2024, FONTE: 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTORES: Zeynep Saribatur; Matthias Knorr; Ricardo Gonçalves; João Leite;
PUBLICAÇÃO: 2024, FONTE: 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 in Proceedings of the International Conference on Knowledge Representation and Reasoning
7
TÃTULO: Revising Boolean Logical Models of Biological Regulatory Networks
AUTORES: Frederico Aleixo; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2023, FONTE: 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTORES: Frederico Aleixo; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2023, FONTE: 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 in Proceedings of the International Conference on Knowledge Representation and Reasoning
8
TÃTULO: A Brief History of Updates of Answer-Set Programs
AUTORES: Leite, Joao; Slota, Martin;
PUBLICAÇÃO: 2022, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 23, NÚMERO: 1
AUTORES: Leite, Joao; Slota, Martin;
PUBLICAÇÃO: 2022, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 23, NÚMERO: 1
9
TÃTULO: Towards Provenance in Heterogeneous Knowledge Bases
AUTORES: Knorr, Matthias; Damasio, Carlos Viegas; Goncalves, Ricardo; Leite, Joao;
PUBLICAÇÃO: 2022, FONTE: 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, VOLUME: 13416
AUTORES: Knorr, Matthias; Damasio, Carlos Viegas; Goncalves, Ricardo; Leite, Joao;
PUBLICAÇÃO: 2022, FONTE: 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, VOLUME: 13416
10
TÃTULO: Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
AUTORES: Ferreira, J; de Sousa Ribeiro, M; Gonçalves, R; Leite, J;
PUBLICAÇÃO: 2022, FONTE: 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
AUTORES: Ferreira, J; de Sousa Ribeiro, M; Gonçalves, R; Leite, J;
PUBLICAÇÃO: 2022, FONTE: 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
