João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Publicações Confirmadas: 81



1
TÍTULO: Applications of logical approaches to argumentation
AUTORES: Leite, J ; Cao Son, T; Torroni, P; Woltran, S;
PUBLICAÇÃO: 2015, FONTE: Argument and Computation, VOLUME: 6, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
2
TÍTULO: Next Step for NoHR: OWL 2 QL
AUTORES: Nuno Costa; Matthias Knorr; Joao Leite ;
PUBLICAÇÃO: 2015, FONTE: 14th International Semantic Web Conference (ISWC) in SEMANTIC WEB - ISWC 2015, PT I, VOLUME: 9366
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
3
TÍTULO: On updates of hybrid knowledge bases composed of ontologies and rules  Full Text
AUTORES: Martin Slota; Joao Leite ; Theresa Swift;
PUBLICAÇÃO: 2015, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 229
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
4
TÍTULO: Reasoning over Ontologies and Non-monotonic Rules
AUTORES: Vadim Ivanov; Matthias Knorr; Joao Leite ;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
5
TÍTULO: Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies
AUTORES: Kaminski, T; 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
6
TÍTULO: Evolving bridge rules in evolving multi-context systems
AUTORES: Gonçalves, 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 CrossRef
NO MEU: ORCID
7
TÍTULO: Evolving Multi-Context Systems
AUTORES: Ricardo Goncalves; Matthias Knorr; Joao Leite ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXADO EM: Scopus WOS
NO MEU: ORCID
8
TÍTULO: Extending social abstract argumentation with votes on attacks
AUTORES: Eǧilmez, S; Martins, J; Leite, J ;
PUBLICAÇÃO: 2014, FONTE: 2nd International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8306 LNAI
INDEXADO EM: Scopus
NO MEU: ORCID
9
TÍTULO: On Supporting Strong and Default Negation in Answer-Set Program Updates
AUTORES: Martin Slota; Martin Balaz; Joao Leite ;
PUBLICAÇÃO: 2014, FONTE: 14th Ibero-American Conference on Artificial Intelligence (AI) in ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014), VOLUME: 8864
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
10
TÍTULO: On the Efficient Implementation of Social Abstract Argumentation
AUTORES: Marco Correia; Jorge Cruz; Joao Leite ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXADO EM: Scopus WOS
NO MEU: ORCID
Página 1 de 9. Total de resultados: 81.

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

Links Úteis

Ajuda

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