João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
71
TÃTULO: Preface
AUTORES: João Leite; Andrea Omicini; Leon Sterling; Paolo Torroni;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2990
AUTORES: João Leite; Andrea Omicini; Leon Sterling; Paolo Torroni;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2990
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID72
TÃTULO: Declarative Agent Languages and Technologies. First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
AUTORES: João Leite; Andrea Omicini; Leon Sterling; Paolo Torroni;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science
AUTORES: João Leite; Andrea Omicini; Leon Sterling; Paolo Torroni;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science
73
TÃTULO: Logics in Artificial Intelligence. 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings
AUTORES: Jóse Júlio Alferes; João Leite;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science
AUTORES: Jóse Júlio Alferes; João Leite;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science
74
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
ORCID75
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
76
TÃTULO: Dynamic Logic Programming
AUTORES: Alferes, JJ; Leite, JA; Pereira, LM; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 1998, FONTE: 6th International Conference on Principles of Knowledge Representation and Reasoning, KR 1998 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTORES: Alferes, JJ; Leite, JA; Pereira, LM; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 1998, FONTE: 6th International Conference on Principles of Knowledge Representation and Reasoning, KR 1998 in Proceedings of the International Conference on Knowledge Representation and Reasoning
INDEXADO EM: Scopus
Scopus