João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Confirmed Publications: 81



51
TITLE: Adding knowledge updates to 3APL  Full Text
AUTHORS: Nigam, V; Leite, J ;
PUBLISHED: 2007, SOURCE: 4th International Workshop on Programming Multi-Agent Systems in PROGRAMMING MULTI-AGENT SYSTEMS, VOLUME: 4411
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
52
TITLE: Answer-set programming based dynamic user modeling for recommender systems
AUTHORS: Leite, J ; Ilic, M;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
53
TITLE: Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004  Full Text
AUTHORS: Alferes, JJ ; Leite, J ;
PUBLISHED: 2007, SOURCE: Journal of Applied Logic, VOLUME: 5, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
54
TITLE: A Dynamic Logic Programming based system for agents with declarative goals
AUTHORS: Nigam, V; Leite, J ;
PUBLISHED: 2006, SOURCE: Conference on Precision Electromagnetic Measurements (CPEM 06) in DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, VOLUME: 4237
INDEXED IN: Scopus WOS CrossRef: 9
IN MY: ORCID
55
TITLE: A survey of programming languages and platforms for multi-agent systems
AUTHORS: Bordini, RH; Braubach, L; Dastani, M; El Fallah Seghrouchni, A; Gomez Sanz, JJ; Leite, J ; O'Hare, G; Pokahr, A; Ricci, A;
PUBLISHED: 2006, SOURCE: Informatica (Ljubljana), VOLUME: 30, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
56
TITLE: Lecture Notes in Computer Science(including subseries Lecture Note in Artificial Intelligence and Lecture Notes in Bionformatics): Preface
AUTHORS: Leite, J ; Omicini, A; Torroni, P; Yolum, P;
PUBLISHED: 2005, SOURCE: 2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3476 LNAI
INDEXED IN: Scopus
IN MY: ORCID
57
TITLE: The refined extension principle for semantics of dynamic logic programming  Full Text
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLISHED: 2005, SOURCE: Studia Logica, VOLUME: 79, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
58
TITLE: Introduction  Full Text
AUTHORS: Dix, J; Clausthal, TU; Leite, J ; Satoh, K;
PUBLISHED: 2004, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 42, ISSUE: 1-3
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
59
60
TITLE: On some differences between semantics of logic program updates
AUTHORS: Leite, JA ;
PUBLISHED: 2004, SOURCE: 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, VOLUME: 3315
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID
Page 6 of 9. Total results: 81.

footer slogan

Useful Links

Get Help

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