João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Confirmed Publications: 81



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

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service