João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Publicações Confirmadas: 81



31
TÍTULO: Splitting and updating hybrid knowledge bases
AUTORES: Martin Slota; Joao Leite ; Terrance Swift;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
32
TÍTULO: Statistical model checking for distributed probabilistic-control hybrid automata with smart grid applications
AUTORES: Martins, J; Platzer, A; Leite, J ;
PUBLICAÇÃO: 2011, FONTE: 13th International Conference on Formal Engineering Methods, ICFEM 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6991 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
33
TÍTULO: Declarative Semantics for the Rule Interchange Format Production Rule Dialect
AUTORES: Carlos Viegas Damasio ; Jose Julio Alferes ; Joao Leite ;
PUBLICAÇÃO: 2010, FONTE: 9th International Semantic Web Conference in SEMANTIC WEB-ISWC 2010, PT I, VOLUME: 6496, NÚMERO: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
34
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Dastani, M; Seghrouchni, AEF; Leite, J ; Torroni, P;
PUBLICAÇÃO: 2010, FONTE: 2nd International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems, LADS 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6039 LNAI
INDEXADO EM: Scopus
NO MEU: ORCID
35
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Dix, J; Leite, J ; Governatori, G; Jamroga, W;
PUBLICAÇÃO: 2010, FONTE: 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6245 LNAI
INDEXADO EM: Scopus
NO MEU: ORCID
36
TÍTULO: On Semantic Update Operators for Answer-Set Programs
AUTORES: Slota, M; Leite, J ;
PUBLICAÇÃO: 2010, FONTE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
37
TÍTULO: Playing with rules
AUTORES: Leite, J ;
PUBLICAÇÃO: 2010, FONTE: 7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5948 LNAI
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
38
TÍTULO: Playing with Rules
AUTORES: Joao Leite ;
PUBLICAÇÃO: 2010, FONTE: 7th International Workshop on Declarative Agent Languages and Technologies in DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VII, VOLUME: 5948
INDEXADO EM: WOS
39
TÍTULO: Preface
AUTORES: Dastani, M; El Fallah Seghrouchni, A; Hubner, JF; Leite, J ;
PUBLICAÇÃO: 2010, FONTE: Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2010 in CEUR Workshop Proceedings, VOLUME: 627
INDEXADO EM: Scopus
NO MEU: ORCID
40
TÍTULO: Towards closed world reasoning in dynamic open worlds
AUTORES: Martin Slota; Joao Leite ;
PUBLICAÇÃO: 2010, FONTE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, NÚMERO: 4-6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
Página 4 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