João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
1
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
2
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
3
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
4
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
5
TÃTULO: Aligning Artificial Neural Networks and Ontologies towards Explainable AI
AUTORES: Ribeiro, MD; Leite, J;
PUBLICAÇÃO: 2021, FONTE: 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, NÚMERO: 6
AUTORES: Ribeiro, MD; Leite, J;
PUBLICAÇÃO: 2021, FONTE: 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, NÚMERO: 6
6
TÃTULO: Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL
AUTORES: Ferreira, Ricardo; Lopes, Carolina; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
AUTORES: Ferreira, Ricardo; Lopes, Carolina; Goncalves, Ricardo; Knorr, Matthias; Krippahl, Ludwig; Leite, Joao;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981
7
TÃTULO: Forgetting in Answer Set Programming - A Survey
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2021, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 23, NÚMERO: 1
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2021, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 23, NÚMERO: 1
8
TÃTULO: Tractable Reasoning Using Logic Programs with Intensional Concepts
AUTORES: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
AUTORES: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
9
TÃTULO: On Syntactic Forgetting Under Uniform Equivalence
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12678 LNAI
10
TÃTULO: On the limits of forgetting in Answer Set Programming Full Text
AUTORES: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLICAÇÃO: 2020, FONTE: Artificial Intelligence, VOLUME: 286
AUTORES: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLICAÇÃO: 2020, FONTE: Artificial Intelligence, VOLUME: 286
