João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Publicações Confirmadas: 81



11
TÍTULO: Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII)
AUTORES: Joao Leite ; Paolo Torroni; Thomas Agotnes; Guido Boella; Leendert van der Torre;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 6
INDEXADO EM: WOS CrossRef
12
TÍTULO: The rise and fall of semantic rule updates based on SE-models
AUTORES: Martin Slota; Joao Leite ;
PUBLICAÇÃO: 2014, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
13
TÍTULO: What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
AUTORES: Matthias Knorr; Martin Slota; Joao Leite ; Martin Homola;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
14
TÍTULO: A Query Tool for EL with Non-monotonic Rules
AUTORES: Vadim Ivanov; Matthias Knorr; Joao Leite ;
PUBLICAÇÃO: 2013, FONTE: 12th International Semantic Web Conference (ISWC) in SEMANTIC WEB - ISWC 2013, PART I, VOLUME: 8218, NÚMERO: PART 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
15
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: 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 in CLIMA, VOLUME: 8143
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
16
TÍTULO: Early Recovery in Logic Program Updates
AUTORES: Martin Slota; Martin Balaz; Joao Leite ;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
17
TÍTULO: Equivalence of defeasible normative systems
AUTORES: Alferes, JJ ; Goncalves, R; Leite, J ;
PUBLICAÇÃO: 2013, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 23, NÚMERO: 1-2
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
18
TÍTULO: Non-monotonic Temporal Goals
AUTORES: Ricardo Goncalves; Matthias Knorr ; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
19
TÍTULO: On condensing a sequence of updates in Answer-Set Programming
AUTORES: Slota, M; Leite, J ;
PUBLICAÇÃO: 2013, FONTE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI International Joint Conference on Artificial Intelligence
INDEXADO EM: Scopus
NO MEU: ORCID
20
TÍTULO: Time is up! - Norms with deadlines in action languages
AUTORES: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8143 LNAI
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 2 de 9. Total de resultados: 81.

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