João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
71
TÃTULO: A Language for Updates with Multiple Dimensions PDF
AUTORES: João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 2002, FONTE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.
AUTORES: João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 2002, FONTE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.
INDEXADO EM: 
DBLP
DBLP72
TÃTULO: Evolving logic programs
AUTORES: Alferes, JJ; Brogi, A; Leite, JA; Pereira, LM;
PUBLICAÇÃO: 2002, FONTE: 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
AUTORES: Alferes, JJ; Brogi, A; Leite, JA; Pereira, LM;
PUBLICAÇÃO: 2002, FONTE: 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
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID73
TÃTULO: Combining societal agents' knowledge PDF
AUTORES: João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira;
PUBLICAÇÃO: 2001, FONTE: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001.
AUTORES: João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira;
PUBLICAÇÃO: 2001, FONTE: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001.
INDEXADO EM: DBLP
DBLP74
TÃTULO: Improving optical music recognition by means of abductive constraint logic programming
AUTORES: Ferrand, M; Leite, JA; Cardoso, A;
PUBLICAÇÃO: 1999, FONTE: 9th Portuguese Conference on Progress in Artificial Intelligence, EPIA 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1695
AUTORES: Ferrand, M; Leite, JA; Cardoso, A;
PUBLICAÇÃO: 1999, FONTE: 9th Portuguese Conference on Progress in Artificial Intelligence, EPIA 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1695
