João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
31
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
32
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
33
TÃTULO: The ultimate guide to forgetting in answer set programming
AUTORES: Gonçalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2016, FONTE: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 in Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016
AUTORES: Gonçalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2016, FONTE: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 in Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID34
TÃTULO: Inconsistency Management in Reactive Multi-context Systems
AUTORES: Brewka, G; Ellmauthaler, S; Calves, RG; Knorr, M; Leite, J; Puehrer, J;
PUBLICAÇÃO: 2016, FONTE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
AUTORES: Brewka, G; Ellmauthaler, S; Calves, RG; Knorr, M; Leite, J; Puehrer, J;
PUBLICAÇÃO: 2016, FONTE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
35
TÃTULO: Forgetting in ASP: The Forgotten Properties
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2016, FONTE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2016, FONTE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
36
TÃTULO: Lessons learned from the testing of RC frames with - masonry infills and proposals for new solutions Full Text
AUTORES: Paulo B Lourenco; Joao Leite; Graca Vasconcelos; Paulo Pereira;
PUBLICAÇÃO: 2016, FONTE: MAUERWERK, VOLUME: 20, NÚMERO: 2
AUTORES: Paulo B Lourenco; Joao Leite; Graca Vasconcelos; Paulo Pereira;
PUBLICAÇÃO: 2016, FONTE: MAUERWERK, VOLUME: 20, NÚMERO: 2
INDEXADO EM: 
WOS
WOS37
TÃTULO: Minimal change in evolving multi-context systems
AUTORES: Gonçalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence, EPIA 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9273
AUTORES: Gonçalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence, EPIA 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9273
38
TÃTULO: Minimal Change in Evolving Multi-Context Systems
AUTORES: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
AUTORES: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
INDEXADO EM: WOS
WOS39
TÃTULO: Applications of logical approaches to argumentation INTRODUCTION
AUTORES: Joao Leite; Tran Cao Son; Paolo Torroni; Stefan Woltran;
PUBLICAÇÃO: 2015, FONTE: ARGUMENT & COMPUTATION, VOLUME: 6, NÚMERO: 1
AUTORES: Joao Leite; Tran Cao Son; Paolo Torroni; Stefan Woltran;
PUBLICAÇÃO: 2015, FONTE: ARGUMENT & COMPUTATION, VOLUME: 6, NÚMERO: 1
INDEXADO EM: WOS
WOS40
TÃTULO: Querying LUBM with non-monotonic features in protégé using NoHR
AUTORES: Costa, N; Knorr, M; Leite, J;
PUBLICAÇÃO: 2015, FONTE: ISWC 2015 Posters and Demonstrations Track, ISWC-P and D 2015 - co-located with the 14th International Semantic Web Conference, ISWC 2015 in CEUR Workshop Proceedings, VOLUME: 1486
AUTORES: Costa, N; Knorr, M; Leite, J;
PUBLICAÇÃO: 2015, FONTE: ISWC 2015 Posters and Demonstrations Track, ISWC-P and D 2015 - co-located with the 14th International Semantic Web Conference, ISWC 2015 in CEUR Workshop Proceedings, VOLUME: 1486
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID