João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
51
TÃTULO: Extending Social Abstract Argumentation with Votes on Attacks
AUTORES: Sinan Eğilmez; João Martins; João Leite;
PUBLICAÇÃO: 2014, FONTE: Theory and Applications of Formal Argumentation - Lecture Notes in Computer Science
AUTORES: Sinan Eğilmez; João Martins; João Leite;
PUBLICAÇÃO: 2014, FONTE: Theory and Applications of Formal Argumentation - Lecture Notes in Computer Science
52
TÃTULO: Evolving bridge rules in evolving multi-context systems
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2014, FONTE: 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8624 LNAI
AUTORES: Goncalves, R; Knorr, M; Leite, J;
PUBLICAÇÃO: 2014, FONTE: 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8624 LNAI
INDEXADO EM: 
Scopus
Scopus53
TÃTULO: Preface
AUTORES: Fermé, E; Leite, J;
PUBLICAÇÃO: 2014, FONTE: 14th European Conference on Logics in Artificial Intelligence, JELIA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8761 LNAI
AUTORES: Fermé, E; Leite, J;
PUBLICAÇÃO: 2014, FONTE: 14th European Conference on Logics in Artificial Intelligence, JELIA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8761 LNAI
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID54
TÃTULO: Preface
AUTORES: Ulle Endriss; João Leite;
PUBLICAÇÃO: 2014, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 264
AUTORES: Ulle Endriss; João Leite;
PUBLICAÇÃO: 2014, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 264
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID55
TÃTULO: NoHR: Querying EL with non-monotonic rules
AUTORES: Ivanov, V; Knorr, M; Leite, J;
PUBLICAÇÃO: 2013, FONTE: 12th International Semantic Web Conference, ISWC 2013 in CEUR Workshop Proceedings, VOLUME: 1035
AUTORES: Ivanov, V; Knorr, M; Leite, J;
PUBLICAÇÃO: 2013, FONTE: 12th International Semantic Web Conference, ISWC 2013 in CEUR Workshop Proceedings, VOLUME: 1035
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID56
TÃTULO: Computational Logic in Multi-Agent Systems. 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
AUTORES: João Leite; Tran Cao Son; Paolo Torroni; Leon van der Torre; Stefan Woltran;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
AUTORES: João Leite; Tran Cao Son; Paolo Torroni; Leon van der Torre; Stefan Woltran;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
57
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
58
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
ORCID59
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
WOS60
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
