João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Publicações Confirmadas: 81



21
TÍTULO: Time is up! - Norms with deadlines in action languages
AUTORES: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8143 LNAI
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
22
TÍTULO: A unifying perspective on knowledge updates
AUTORES: Slota, M; Leite, J ;
PUBLICAÇÃO: 2012, FONTE: 13th European Conference on Logics in Artificial Intelligence, JELIA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7519 LNAI
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
23
TÍTULO: MKNF knowledge bases in multi-context systems
AUTORES: Homola, M; Knorr, M ; Leite, J ; Slota, M;
PUBLICAÇÃO: 2012, FONTE: 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7486 LNAI
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
24
TÍTULO: Back and Forth between Rules and SE-Models  Full Text
AUTORES: Martin Slota; Joao Leite ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
25
TÍTULO: Evolving logic programs with temporal operators
AUTORES: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLICAÇÃO: 2011, FONTE: Symposium on Constructive Mathematics in Computer Science in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6565 LNAI
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
26
TÍTULO: Normative Systems Represented as Hybrid Knowledge Bases  Full Text
AUTORES: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2011, FONTE: 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) / 22nd International Joint Conference on Artificial Intelligence in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 6814
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
27
TÍTULO: Preface
AUTORES: Dastani, M; Seghrouchni, AEF; Hubner, J; Leite, J ;
PUBLICAÇÃO: 2011, FONTE: 3rd International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems, LADS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6822 LNAI
INDEXADO EM: Scopus
NO MEU: ORCID
28
TÍTULO: Preface
AUTORES: Leite, J ; Torroni, P; Agotnes, T; Boella, G; Van Der Torre, L;
PUBLICAÇÃO: 2011, FONTE: 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, Co-located with the 22nd International Joint Conference on Artificial Intelligence in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6814 LNAI
INDEXADO EM: Scopus
NO MEU: ORCID
29
TÍTULO: Preface to the special issue on computational logics in multi-agent systems  Full Text
AUTORES: Juergen Dix; Joao Leite ;
PUBLICAÇÃO: 2011, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 62, NÚMERO: 1-2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
30
TÍTULO: Social abstract argumentation
AUTORES: Leite, J ; Martins, J;
PUBLICAÇÃO: 2011, FONTE: 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 in IJCAI International Joint Conference on Artificial Intelligence
INDEXADO EM: Scopus
NO MEU: ORCID
Página 3 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