João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Confirmed Publications: 81



31
TITLE: Splitting and updating hybrid knowledge bases
AUTHORS: Martin Slota; Joao Leite ; Terrance Swift;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
32
TITLE: Statistical model checking for distributed probabilistic-control hybrid automata with smart grid applications
AUTHORS: Martins, J; Platzer, A; Leite, J ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
33
TITLE: Declarative Semantics for the Rule Interchange Format Production Rule Dialect
AUTHORS: Carlos Viegas Damasio ; Jose Julio Alferes ; Joao Leite ;
PUBLISHED: 2010, SOURCE: 9th International Semantic Web Conference in SEMANTIC WEB-ISWC 2010, PT I, VOLUME: 6496, ISSUE: PART 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
34
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Dix, J; Leite, J ; Governatori, G; Jamroga, W;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus
35
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Dastani, M; Seghrouchni, AEF; Leite, J ; Torroni, P;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
36
TITLE: On Semantic Update Operators for Answer-Set Programs
AUTHORS: Martin Slota; Joao Leite ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus WOS
IN MY: ORCID
37
TITLE: Playing with rules
AUTHORS: Leite, J ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
38
TITLE: Playing with Rules
AUTHORS: Joao Leite ;
PUBLISHED: 2010, SOURCE: 7th International Workshop on Declarative Agent Languages and Technologies in DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VII, VOLUME: 5948
INDEXED IN: WOS
39
TITLE: Preface
AUTHORS: Dastani, M; El Fallah Seghrouchni, A; Hubner, JF; Leite, J ;
PUBLISHED: 2010, SOURCE: Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2010 in CEUR Workshop Proceedings, VOLUME: 627
INDEXED IN: Scopus
IN MY: ORCID
40
TITLE: Towards closed world reasoning in dynamic open worlds
AUTHORS: Martin Slota; Joao Leite ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
Page 4 of 9. Total results: 81.

A place for researchers and their institutions

Useful Links

Get Help

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