João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Publicações a aguardar confirmação

41
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
INDEXADO EM: WOS
42
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
INDEXADO EM: WOS
43
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
INDEXADO EM: Scopus
NO MEU: ORCID
44
TÍTULO: Extending NoHR for OWL 2 QL
AUTORES: Costa, N; Knorr, M; Leite, J;
PUBLICAÇÃO: 2015, FONTE: Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology in CEUR Workshop Proceedings, VOLUME: 1517
INDEXADO EM: Scopus
NO MEU: ORCID
45
TÍTULO: Reasoning efficiently with ontologies and rules in the presence of inconsistencies
AUTORES: Tobias Kaminski; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2015, FONTE: CEUR Workshop Proceedings, VOLUME: 1350
INDEXADO EM: Scopus
NO MEU: ORCID
46
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
INDEXADO EM: Scopus
NO MEU: ORCID
47
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
INDEXADO EM: Scopus WOS
NO MEU: ORCID
48
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
INDEXADO EM: Scopus
NO MEU: ORCID
49
TÍTULO: Logics in Artificial Intelligence
AUTORES: Eduardo Fermé; João Leite;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
50
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
INDEXADO EM: CrossRef
NO MEU: ORCID
Página 5 de 8. Total de resultados: 77.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service