João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
71
TITLE: Preface
AUTHORS: João Leite; Andrea Omicini; Leon Sterling; Paolo Torroni;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2990
AUTHORS: João Leite; Andrea Omicini; Leon Sterling; Paolo Torroni;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2990
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID72
TITLE: Declarative Agent Languages and Technologies. First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
AUTHORS: João Leite; Andrea Omicini; Leon Sterling; Paolo Torroni;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science
AUTHORS: João Leite; Andrea Omicini; Leon Sterling; Paolo Torroni;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science
73
TITLE: Logics in Artificial Intelligence. 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings
AUTHORS: Jóse Júlio Alferes; João Leite;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science
AUTHORS: Jóse Júlio Alferes; João Leite;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science
74
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
Scopus IN MY: ORCID
ORCID75
TITLE: Improving optical music recognition by means of abductive constraint logic programming
AUTHORS: Ferrand, M; Leite, JA; Cardoso, A;
PUBLISHED: 1999, SOURCE: 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
AUTHORS: Ferrand, M; Leite, JA; Cardoso, A;
PUBLISHED: 1999, SOURCE: 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
TITLE: Dynamic Logic Programming
AUTHORS: Alferes, JJ; Leite, JA; Pereira, LM; Przymusinska, H; Przymusinski, TC;
PUBLISHED: 1998, SOURCE: 6th International Conference on Principles of Knowledge Representation and Reasoning, KR 1998 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTHORS: Alferes, JJ; Leite, JA; Pereira, LM; Przymusinska, H; Przymusinski, TC;
PUBLISHED: 1998, SOURCE: 6th International Conference on Principles of Knowledge Representation and Reasoning, KR 1998 in Proceedings of the International Conference on Knowledge Representation and Reasoning
INDEXED IN: Scopus
Scopus