João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Publicações Confirmadas: 81



61
TÍTULO: Preface
AUTORES: Alferes, JJ ; Leite, J ;
PUBLICAÇÃO: 2004, FONTE: 9th European Conference on Logics in Artificial Intelligence, JELIA 2004 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3229
INDEXADO EM: Scopus
NO MEU: ORCID
62
TÍTULO: Semantics for dynamic logic programming: A principle-based approach
AUTORES: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLICAÇÃO: 2004, FONTE: 7th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, VOLUME: 2923
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID
63
TÍTULO: An evolvable rule-based e-mail agent  Full Text
AUTORES: Alferes, JJ ; Brogi, A; Leite, JA ; Pereira, LM ;
PUBLICAÇÃO: 2003, FONTE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID
64
TÍTULO: An Evolving Agent with EVOLP
AUTORES: José Júlio Alferes ; Antonio Brogi; João Alexandre Leite ; Luís Moniz Pereira ;
PUBLICAÇÃO: 2003, FONTE: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003
INDEXADO EM: DBLP
65
TÍTULO: Logic programming for evolving agents
AUTORES: Alferes, JJ ; Brogi, A; Leite, JA ; Pereira, LM ;
PUBLICAÇÃO: 2003, FONTE: 7th International Workshop on Cooperative Information Agents in COOPERATIVE INFORMATION AGENTS VII, PROCEEDINGS, VOLUME: 2782
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID
66
TÍTULO: A Language for Multi-dimensional Updates
AUTORES: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 2002, FONTE: CLIMA'2002, Computational Logic in Multi-Agent Systems (FLoC Satellite Event) in Electr. Notes Theor. Comput. Sci., VOLUME: 70, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
67
TÍTULO: A Language for Multi-dimensional Updates
AUTORES: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 2002, FONTE: Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings, VOLUME: 93
INDEXADO EM: DBLP
68
TÍTULO: Computing environment-aware agent behaviours with logic program updates  Full Text
AUTORES: Alferes, JJ ; Brogi, A; Leite, JA ; Pereira, LM ;
PUBLICAÇÃO: 2002, FONTE: 11th International Workshop on Logic Based Program Synthesis and Transformation in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, VOLUME: 2372
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID
69
TÍTULO: Evolving logic programs
AUTORES: Alferes, JJ ; Brogi, A; Leite, JA ; Pereira, LM ;
PUBLICAÇÃO: 2002, FONTE: 8th European Conference on Logics in Artificial Intelligence (JELIA 02) in LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, VOLUME: 2424
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID
70
TÍTULO: MINERVA - Dynamic Logic Programming agent architecture
AUTORES: Leite, JA ; Alferes, JJ ; Pereira, LM ;
PUBLICAÇÃO: 2002, FONTE: 8th International Workshop on Agent Theories, Architectures, and Language (ATAL 2001) in INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, VOLUME: 2333
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
Página 7 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