João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
21
TÃTULO: Variable elimination for DLP-functions
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite; Stefan Woltran;
PUBLICAÇÃO: 2018, FONTE: Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018
AUTORES: Ricardo Gonçalves; Tomi Janhunen; Matthias Knorr; João Leite; Stefan Woltran;
PUBLICAÇÃO: 2018, FONTE: Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID22
TÃTULO: Iterative variable elimination in ASP
AUTORES: Gonçalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence, EPIA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10423 LNAI
AUTORES: Gonçalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence, EPIA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10423 LNAI
23
TÃTULO: When you must forget: Beyond strong persistence when forgetting in answer set programming
AUTORES: Goncalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLICAÇÃO: 2017, FONTE: 33rd International Conference on Logic Programming colocated with the 23rd International Conference on Principles and Practice of Constraint Programming / 20th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, NÚMERO: 5-6
AUTORES: Goncalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLICAÇÃO: 2017, FONTE: 33rd International Conference on Logic Programming colocated with the 23rd International Conference on Principles and Practice of Constraint Programming / 20th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, NÚMERO: 5-6
24
TÃTULO: When you must forget: Beyond strong persistence when forgetting in answer set programming
AUTORES: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLICAÇÃO: 2017, FONTE: Theory and Practice of Logic Programming, VOLUME: 17, NÚMERO: 5-6
AUTORES: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLICAÇÃO: 2017, FONTE: Theory and Practice of Logic Programming, VOLUME: 17, NÚMERO: 5-6
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID25
TÃTULO: Preface
AUTORES: An, B; Bazzan, ALC; Leite, J; Villata, S; van der Torre, L;
PUBLICAÇÃO: 2017, FONTE: 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10621 LNAI
AUTORES: An, B; Bazzan, ALC; Leite, J; Villata, S; van der Torre, L;
PUBLICAÇÃO: 2017, FONTE: 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10621 LNAI
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID26
TÃTULO: A Bird's-Eye View of Forgetting in Answer-Set Programming
AUTORES: Leite, J;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
AUTORES: Leite, J;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
27
TÃTULO: NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond
AUTORES: Lopes, C; Knorr, M; Leite, J;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
AUTORES: Lopes, C; Knorr, M; Leite, J;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
28
TÃTULO: moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming
AUTORES: Sabuncu, O; Leite, J;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
AUTORES: Sabuncu, O; Leite, J;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
29
TÃTULO: PRIMA 2017: Principles and Practice of Multi-Agent Systems
AUTORES: Bo An; Ana Bazzan; João Leite; Serena Villata; Leendert van der Torre;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science
AUTORES: Bo An; Ana Bazzan; João Leite; Serena Villata; Leendert van der Torre;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science
30
TÃTULO: You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2016, FONTE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2016, FONTE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
INDEXADO EM: Scopus 
WOS
Scopus WOS NO MEU: ORCID
ORCID