João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Confirmed Publications: 81



41
TITLE: A Logic Programming System for Evolving Programs with Temporal Operators
AUTHORS: Jose Julio Alferes ; Alfredo Gabaldon; Joao Leite ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
42
TITLE: LAnguages, methodologies and Development tools for multi-agent systemS, LADS'009 (Introductory Essay of the Workshop)
AUTHORS: Dastani, M; El Fallah Seghrouchni, A; Leite, J ; Torroni, P;
PUBLISHED: 2009, SOURCE: 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2009 in CEUR Workshop Proceedings, VOLUME: 494
INDEXED IN: Scopus
IN MY: ORCID
43
TITLE: Preface
AUTHORS: Baldoni, M; Baroglio, C; Bentahar, J; Boella, G; Cossentino, M; Dastani, M; Dunin Keplicz, B; Fortino, G; Gleizes, MP; Leite, J ; Mascardi, V; Padget, J; Pavon, J; Polleres, A; Seghrouchni, AEF; Torroni, P; Verbrugge, R;
PUBLISHED: 2009, SOURCE: 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2009 in CEUR Workshop Proceedings, VOLUME: 494
INDEXED IN: Scopus
IN MY: ORCID
44
TITLE: EVOLP: An implementation
AUTHORS: Slota, M; Leite, J ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5056 LNAI
INDEXED IN: Scopus CrossRef: 5
IN MY: ORCID
45
TITLE: EVOLP: Tranformation-based semantics
AUTHORS: Slota, M; Leite, J ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5056 LNAI
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID
46
TITLE: Evolving Logic Programming based agents with temporal operators
AUTHORS: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLISHED: 2008, SOURCE: 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2008
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
47
TITLE: Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System
AUTHORS: Ilic, M; Leite, J ; Slota, N;
PUBLISHED: 2008, SOURCE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
48
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Dastani, M; El Fallah Seghrouchni, A; Leite, J ; Torroni, P;
PUBLISHED: 2008, SOURCE: 1st International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5118 LNAI
INDEXED IN: Scopus
IN MY: ORCID
49
TITLE: Scalable dynamic user preferences for recommender systems through the use of the well-founded semantics
AUTHORS: Ilic, M; Leite, J ; Slota, M;
PUBLISHED: 2008, SOURCE: 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008
INDEXED IN: Scopus CrossRef
IN MY: ORCID
50
TITLE: Adding evolving abilities to a multi-agent system  Full Text
AUTHORS: Leite, J ; Soares, L;
PUBLISHED: 2007, SOURCE: 7th International Workshop on Computational Logic in Multi-Agent Systems in Computational Logic in Multi-Agent Systems, VOLUME: 4371
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID
Page 5 of 9. Total results: 81.

footer slogan

Useful Links

Get Help

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