João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
41
TÃTULO: Efficient paraconsistent reasoning with ontologies and rules
AUTORES: Tobias Kaminski; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2015, FONTE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2015-January
AUTORES: Tobias Kaminski; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2015, FONTE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2015-January
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID42
TÃTULO: On Efficient Evolving Multi-Context Systems
AUTORES: Matthias Knorr; Ricardo Goncalves; Joao Leite;
PUBLICAÇÃO: 2014, FONTE: 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI) in PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE, VOLUME: 8862
AUTORES: Matthias Knorr; Ricardo Goncalves; Joao Leite;
PUBLICAÇÃO: 2014, FONTE: 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI) in PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE, VOLUME: 8862
INDEXADO EM: Scopus 
WOS
Scopus WOS NO MEU: ORCID
ORCID43
TÃTULO: Preface to the special issue on computational logic in multi-agent systems (CLIMA XII)
AUTORES: Leite, J; Torroni, P; Agotnes, T; Boella, G; Van Der Torre, L;
PUBLICAÇÃO: 2014, FONTE: Journal of Logic and Computation, VOLUME: 24, NÚMERO: 6
AUTORES: Leite, J; Torroni, P; Agotnes, T; Boella, G; Van Der Torre, L;
PUBLICAÇÃO: 2014, FONTE: Journal of Logic and Computation, VOLUME: 24, NÚMERO: 6
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID44
TÃTULO: Logics in Artificial Intelligence
AUTORES: Eduardo Fermé; João Leite;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science
AUTORES: Eduardo Fermé; João Leite;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science
45
TÃTULO: Extending Social Abstract Argumentation with Votes on Attacks
AUTORES: Sinan Eğilmez; João Martins; João Leite;
PUBLICAÇÃO: 2014, FONTE: Theory and Applications of Formal Argumentation - Lecture Notes in Computer Science
AUTORES: Sinan Eğilmez; João Martins; João Leite;
PUBLICAÇÃO: 2014, FONTE: Theory and Applications of Formal Argumentation - Lecture Notes in Computer Science
46
TÃTULO: Evolving bridge rules in evolving multi-context systems
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2014, FONTE: 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8624 LNAI
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2014, FONTE: 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8624 LNAI
INDEXADO EM: Scopus
Scopus47
TÃTULO: Preface
AUTORES: Fermé, E; Leite, J;
PUBLICAÇÃO: 2014, FONTE: 14th European Conference on Logics in Artificial Intelligence, JELIA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8761 LNAI
AUTORES: Fermé, E; Leite, J;
PUBLICAÇÃO: 2014, FONTE: 14th European Conference on Logics in Artificial Intelligence, JELIA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8761 LNAI
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID48
TÃTULO: Preface
AUTORES: Ulle Endriss; João Leite;
PUBLICAÇÃO: 2014, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 264
AUTORES: Ulle Endriss; João Leite;
PUBLICAÇÃO: 2014, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 264
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID49
TÃTULO: NoHR: Querying EL with non-monotonic rules
AUTORES: Ivanov, V; Knorr, M; Leite, J;
PUBLICAÇÃO: 2013, FONTE: 12th International Semantic Web Conference, ISWC 2013 in CEUR Workshop Proceedings, VOLUME: 1035
AUTORES: Ivanov, V; Knorr, M; Leite, J;
PUBLICAÇÃO: 2013, FONTE: 12th International Semantic Web Conference, ISWC 2013 in CEUR Workshop Proceedings, VOLUME: 1035
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID50
TÃTULO: Computational Logic in Multi-Agent Systems. 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
AUTORES: João Leite; Tran Cao Son; Paolo Torroni; Leon van der Torre; Stefan Woltran;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
AUTORES: João Leite; Tran Cao Son; Paolo Torroni; Leon van der Torre; Stefan Woltran;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
