João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
51
TÃTULO: The added value of argumentation
AUTORES: Modgil, S; Toni, F; Bex, F; Bratko, I; Chesñevar, CI; Dvořák, W; Falappa, MA; Fan, X; Gaggl, SA; Garcia, AJ; Gonzalez, MP; Gordon, TF; Leite, J; Možina, M; Reed, C; Simari, GR; Szeider, S; Torroni, P; Woltran, S;
PUBLICAÇÃO: 2013, FONTE: Agreement Technologies
AUTORES: Modgil, S; Toni, F; Bex, F; Bratko, I; Chesñevar, CI; Dvořák, W; Falappa, MA; Fan, X; Gaggl, SA; Garcia, AJ; Gonzalez, MP; Gordon, TF; Leite, J; Možina, M; Reed, C; Simari, GR; Szeider, S; Torroni, P; Woltran, S;
PUBLICAÇÃO: 2013, FONTE: Agreement Technologies
52
TÃTULO: Robust equivalence models for semantic updates of answer-set programs
AUTORES: Slota, M; Leite, J;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 in 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
AUTORES: Slota, M; Leite, J;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 in 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID53
TÃTULO: Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications
AUTORES: Joao Martins; Andre Platzer; Joao Leite;
PUBLICAÇÃO: 2011, FONTE: 13th International Conference on Formal Engineering Methods in FORMAL METHODS AND SOFTWARE ENGINEERING, VOLUME: 6991
AUTORES: Joao Martins; Andre Platzer; Joao Leite;
PUBLICAÇÃO: 2011, FONTE: 13th International Conference on Formal Engineering Methods in FORMAL METHODS AND SOFTWARE ENGINEERING, VOLUME: 6991
INDEXADO EM: 
WOS
WOS54
TÃTULO: Computational Logic in Multi-Agent Systems
AUTORES: João Leite; Paolo Torroni; Thomas Ågotnes; Guido Boella; Leon van der Torre;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science
AUTORES: João Leite; Paolo Torroni; Thomas Ågotnes; Guido Boella; Leon van der Torre;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science
55
TÃTULO: Languages, Methodologies, and Development Tools for Multi-Agent Systems. Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
AUTORES: Mehdi Dastani; Amal El Fallah Seghrouchni; Jomi Hübner; João Leite;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science
AUTORES: Mehdi Dastani; Amal El Fallah Seghrouchni; Jomi Hübner; João Leite;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science
56
TÃTULO: On the Influence of Masonry Infills in Concrete Buildings
AUTORES: Leite, J; Lourenco, PB;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on Computational Structures Technology in PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL STRUCTURES TECHNOLOGY, VOLUME: 93
AUTORES: Leite, J; Lourenco, PB;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on Computational Structures Technology in PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL STRUCTURES TECHNOLOGY, VOLUME: 93
INDEXADO EM: WOS
WOS57
TÃTULO: Languages, Methodologies, and Development Tools for Multi-Agent Systems
AUTORES: Mehdi Dastani; Amal El Fallah Segrouchni; João Leite; Paolo Torroni;
PUBLICAÇÃO: 2010, FONTE: Lecture Notes in Computer Science
AUTORES: Mehdi Dastani; Amal El Fallah Segrouchni; João Leite; Paolo Torroni;
PUBLICAÇÃO: 2010, FONTE: Lecture Notes in Computer Science
58
TÃTULO: Computational Logic in Multi-Agent Systems. 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
AUTORES: Jürgen Dix; João Leite; Guido Governatori; Wojtek Jamroga;
PUBLICAÇÃO: 2010, FONTE: Lecture Notes in Computer Science
AUTORES: Jürgen Dix; João Leite; Guido Governatori; Wojtek Jamroga;
PUBLICAÇÃO: 2010, FONTE: Lecture Notes in Computer Science
59
TÃTULO: Resource allocation with answer-set programming Full Text
AUTORES: Leite, J; Alferes, J ; Mito, B;
PUBLICAÇÃO: 2009, FONTE: 8th International Joint Conference on Autonomous Agents and Multiagent Systems 2009, AAMAS 2009 in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, VOLUME: 2
AUTORES: Leite, J; Alferes, J ; Mito, B;
PUBLICAÇÃO: 2009, FONTE: 8th International Joint Conference on Autonomous Agents and Multiagent Systems 2009, AAMAS 2009 in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, VOLUME: 2
INDEXADO EM: Scopus 
DBLP
Scopus DBLP NO MEU: ORCID
ORCID60
TÃTULO: ERASP – a system for enhancing recommendations using answer-set programming
AUTORES: Manoela Ilic; João Leite; Martin Slota;
PUBLICAÇÃO: 2009, FONTE: International Journal of Reasoning-based Intelligent Systems, VOLUME: 1, NÚMERO: 3-4
AUTORES: Manoela Ilic; João Leite; Martin Slota;
PUBLICAÇÃO: 2009, FONTE: International Journal of Reasoning-based Intelligent Systems, VOLUME: 1, NÚMERO: 3-4
