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: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, VOLUME: 2258
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
73
TÍTULO: MINERVA - A Dynamic Logic Programming Agent Architecture
AUTORES: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 2001, FONTE: Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers, VOLUME: 2333
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID
74
TÍTULO: Multi-dimensional dynamic knowledge representation
AUTORES: Leite, JA ; Alferes, JJ ; Pereira, LM ;
PUBLICAÇÃO: 2001, FONTE: 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2173 LNAI
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
75
TÍTULO: On the use of multi-dimensional dynamic logic programming to represent societal agents' viewpoints
AUTORES: Leite, JA ; Alferes, JJ ; Pereira, LM ;
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 DBLP CrossRef
NO MEU: ORCID
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
NO MEU: ORCID | ResearcherID
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: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998.
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: 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998
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
NO MEU: ORCID | ResearcherID
Página 8 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