João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
51
TITLE: NoHR: Querying EL with non-monotonic rules
AUTHORS: Ivanov, V; Knorr, M; Leite, J;
PUBLISHED: 2013, SOURCE: 12th International Semantic Web Conference, ISWC 2013 in CEUR Workshop Proceedings, VOLUME: 1035
AUTHORS: Ivanov, V; Knorr, M; Leite, J;
PUBLISHED: 2013, SOURCE: 12th International Semantic Web Conference, ISWC 2013 in CEUR Workshop Proceedings, VOLUME: 1035
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID52
TITLE: Computational Logic in Multi-Agent Systems. 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
AUTHORS: João Leite; Tran Cao Son; Paolo Torroni; Leon van der Torre; Stefan Woltran;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
AUTHORS: João Leite; Tran Cao Son; Paolo Torroni; Leon van der Torre; Stefan Woltran;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
53
TITLE: The added value of argumentation
AUTHORS: 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;
PUBLISHED: 2013, SOURCE: Agreement Technologies
AUTHORS: 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;
PUBLISHED: 2013, SOURCE: Agreement Technologies
54
TITLE: Robust equivalence models for semantic updates of answer-set programs
AUTHORS: Slota, M; Leite, J;
PUBLISHED: 2012, SOURCE: 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
AUTHORS: Slota, M; Leite, J;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID55
TITLE: Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications
AUTHORS: Joao Martins; Andre Platzer; Joao Leite;
PUBLISHED: 2011, SOURCE: 13th International Conference on Formal Engineering Methods in FORMAL METHODS AND SOFTWARE ENGINEERING, VOLUME: 6991
AUTHORS: Joao Martins; Andre Platzer; Joao Leite;
PUBLISHED: 2011, SOURCE: 13th International Conference on Formal Engineering Methods in FORMAL METHODS AND SOFTWARE ENGINEERING, VOLUME: 6991
INDEXED IN: 
WOS
WOS56
TITLE: Computational Logic in Multi-Agent Systems
AUTHORS: João Leite; Paolo Torroni; Thomas Ågotnes; Guido Boella; Leon van der Torre;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science
AUTHORS: João Leite; Paolo Torroni; Thomas Ågotnes; Guido Boella; Leon van der Torre;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science
57
TITLE: Languages, Methodologies, and Development Tools for Multi-Agent Systems. Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
AUTHORS: Mehdi Dastani; Amal El Fallah Seghrouchni; Jomi Hübner; João Leite;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science
AUTHORS: Mehdi Dastani; Amal El Fallah Seghrouchni; Jomi Hübner; João Leite;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science
58
TITLE: On the Influence of Masonry Infills in Concrete Buildings
AUTHORS: Leite, J; Lourenco, PB;
PUBLISHED: 2010, SOURCE: 10th International Conference on Computational Structures Technology in PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL STRUCTURES TECHNOLOGY, VOLUME: 93
AUTHORS: Leite, J; Lourenco, PB;
PUBLISHED: 2010, SOURCE: 10th International Conference on Computational Structures Technology in PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL STRUCTURES TECHNOLOGY, VOLUME: 93
INDEXED IN: WOS
WOS59
TITLE: Languages, Methodologies, and Development Tools for Multi-Agent Systems
AUTHORS: Mehdi Dastani; Amal El Fallah Segrouchni; João Leite; Paolo Torroni;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science
AUTHORS: Mehdi Dastani; Amal El Fallah Segrouchni; João Leite; Paolo Torroni;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science
60
TITLE: Computational Logic in Multi-Agent Systems. 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
AUTHORS: Jürgen Dix; João Leite; Guido Governatori; Wojtek Jamroga;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science
AUTHORS: Jürgen Dix; João Leite; Guido Governatori; Wojtek Jamroga;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science
