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