João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Publicações Confirmadas: 81



51
TÍTULO: Adding knowledge updates to 3APL  Full Text
AUTORES: Nigam, V; Leite, J ;
PUBLICAÇÃO: 2007, FONTE: 4th International Workshop on Programming Multi-Agent Systems in PROGRAMMING MULTI-AGENT SYSTEMS, VOLUME: 4411
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID
52
TÍTULO: Answer-set programming based dynamic user modeling for recommender systems
AUTORES: Leite, J ; Ilic, M;
PUBLICAÇÃO: 2007, FONTE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID
53
TÍTULO: Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004  Full Text
AUTORES: Alferes, JJ ; Leite, J ;
PUBLICAÇÃO: 2007, FONTE: Journal of Applied Logic, VOLUME: 5, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
54
TÍTULO: A Dynamic Logic Programming based system for agents with declarative goals
AUTORES: Nigam, V; Leite, J ;
PUBLICAÇÃO: 2006, FONTE: Conference on Precision Electromagnetic Measurements (CPEM 06) in DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, VOLUME: 4237
INDEXADO EM: Scopus WOS CrossRef: 9
NO MEU: ORCID
55
TÍTULO: A survey of programming languages and platforms for multi-agent systems
AUTORES: Bordini, RH; Braubach, L; Dastani, M; El Fallah Seghrouchni, A; Gomez Sanz, JJ; Leite, J ; O'Hare, G; Pokahr, A; Ricci, A;
PUBLICAÇÃO: 2006, FONTE: Informatica (Ljubljana), VOLUME: 30, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
56
TÍTULO: Lecture Notes in Computer Science(including subseries Lecture Note in Artificial Intelligence and Lecture Notes in Bionformatics): Preface
AUTORES: Leite, J ; Omicini, A; Torroni, P; Yolum, P;
PUBLICAÇÃO: 2005, FONTE: 2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3476 LNAI
INDEXADO EM: Scopus
NO MEU: ORCID
57
TÍTULO: The refined extension principle for semantics of dynamic logic programming  Full Text
AUTORES: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLICAÇÃO: 2005, FONTE: Studia Logica, VOLUME: 79, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
58
TÍTULO: Introduction  Full Text
AUTORES: Dix, J; Clausthal, TU; Leite, J ; Satoh, K;
PUBLICAÇÃO: 2004, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 42, NÚMERO: 1-3
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
59
60
TÍTULO: On some differences between semantics of logic program updates
AUTORES: Leite, JA ;
PUBLICAÇÃO: 2004, FONTE: 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, VOLUME: 3315
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID
Página 6 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