João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Publicações Confirmadas: 81



71
TÍTULO: A modified semantics for LUPS
AUTORES: Leite, JA ;
PUBLICAÇÃO: 2001, FONTE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI
INDEXADO EM: Scopus CrossRef: 4
NO MEU: ORCID
72
TÍTULO: Evolving Multi-agent Viewpoints - an Architecture
AUTORES: Pierangelo Dell'Acqua; João Alexandre Leite ; Luís Moniz Pereira ;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
73
74
TÍTULO: Multi-dimensional Dynamic Knowledge Representation
AUTORES: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 2001, FONTE: LPNMR, VOLUME: 2173 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID
75
76
TÍTULO: Dynamic updates of non-monotonic knowledge bases  Full Text
AUTORES: Alferes, JJ ; Leite, JA ; Pereira, LM ; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 2000, FONTE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 45, NÚMERO: 1-3
INDEXADO EM: Scopus WOS DBLP CrossRef: 114
NO MEU: ORCID
77
TÍTULO: Multi-dimensional Dynamic Logic Programming
AUTORES: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 2000, FONTE: CL-2000 Workshop on Computational Logic in Multi-Agent Systems
INDEXADO EM: DBLP
78
TÍTULO: Dynamic Logic Programming
AUTORES: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 1998, FONTE: KR
INDEXADO EM: DBLP
79
TÍTULO: Dynamic Logic Programming
AUTORES: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 1998, FONTE: APPIA-GULP-PRODE
INDEXADO EM: DBLP
80
TÍTULO: Generalizing updates: From models to programs
AUTORES: Leite, JA ; Pereira, LM ;
PUBLICAÇÃO: 1998, FONTE: 3rd International Workshop on Logic Programming and Knowledge Representation in LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, VOLUME: 1471
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
NO MEU: ORCID
Página 8 de 9. Total de resultados: 81.

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

Links Úteis

Ajuda

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