João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
31
TITLE: Computational Logic in Multi-Agent Systems
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
32
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
WOS33
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
WOS34
TITLE: Non-Markovian Agent Evolution with EVOLP
AUTHORS: José Júlio Alferes ; Alfredo Gabaldon; João Alexandre Leite;
PUBLISHED: 2008, SOURCE: Programming Multi-Agent Systems, 31.08. - 05.09.2008, VOLUME: 08361
AUTHORS: José Júlio Alferes ; Alfredo Gabaldon; João Alexandre Leite;
PUBLISHED: 2008, SOURCE: Programming Multi-Agent Systems, 31.08. - 05.09.2008, VOLUME: 08361
INDEXED IN: 
DBLP
DBLP35
TITLE: EVOLP: Tranformation-Based Semantics
AUTHORS: Martin Slota; Joao Leite;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056
AUTHORS: Martin Slota; Joao Leite;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056
INDEXED IN: WOS
WOS36
TITLE: EVOLP: An Implementation
AUTHORS: Martin Slota; Joao Leite;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056
AUTHORS: Martin Slota; Joao Leite;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056
INDEXED IN: WOS
WOS37
TITLE: Introduction Full Text
AUTHORS: Jürgen Dix; João Leite; Ken Satoh;
PUBLISHED: 2004, SOURCE: Annals of Mathematics and Artificial Intelligence, VOLUME: 42, ISSUE: 1-3
AUTHORS: Jürgen Dix; João Leite; Ken Satoh;
PUBLISHED: 2004, SOURCE: Annals of Mathematics and Artificial Intelligence, VOLUME: 42, ISSUE: 1-3
38
TITLE: A Language for Updates with Multiple Dimensions PDF
AUTHORS: João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C Przymusinski;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.
AUTHORS: João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C Przymusinski;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.
INDEXED IN: DBLP
DBLP39
TITLE: Evolving logic programs
AUTHORS: Alferes, JJ; Brogi, A; Leite, JA; Pereira, LM;
PUBLISHED: 2002, SOURCE: 8th European Conference on Logics in Artificial Intelligence, JELIA 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2424 LNAI
AUTHORS: Alferes, JJ; Brogi, A; Leite, JA; Pereira, LM;
PUBLISHED: 2002, SOURCE: 8th European Conference on Logics in Artificial Intelligence, JELIA 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2424 LNAI
INDEXED IN: 
Scopus
Scopus40
TITLE: Combining societal agents' knowledge PDF
AUTHORS: João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira;
PUBLISHED: 2001, SOURCE: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001.
AUTHORS: João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira;
PUBLISHED: 2001, SOURCE: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001.
INDEXED IN: DBLP
DBLP