José Júlio Alves Alferes
AuthID: R-000-8E8
11
TITLE: Progress in Artificial Intelligence. 9th Portuguese Conference on Artificial Intelligence, EPIA ’99 Évora, Portugal, September 21–24, 1999 Proceedings
AUTHORS: Pedro Barahona; José J Alferes;
PUBLISHED: 1999, SOURCE: Lecture Notes in Computer Science
AUTHORS: Pedro Barahona; José J Alferes;
PUBLISHED: 1999, SOURCE: Lecture Notes in Computer Science
12
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
13
TITLE: Logics in Artificial Intelligence
AUTHORS: José Jülio Alferes; Luís Moniz Pereira; Ewa Orlowska;
PUBLISHED: 1996, SOURCE: Lecture Notes in Computer Science
AUTHORS: José Jülio Alferes; Luís Moniz Pereira; Ewa Orlowska;
PUBLISHED: 1996, SOURCE: Lecture Notes in Computer Science
14
TITLE: Semantics of logic programs with explicit negation
AUTHORS: José Júlio Alferes;
PUBLISHED: 1993, SOURCE: base-search.net (ftnewulisboa:oai:run.unl.pt:10362/1056)
AUTHORS: José Júlio Alferes;
PUBLISHED: 1993, SOURCE: base-search.net (ftnewulisboa:oai:run.unl.pt:10362/1056)
INDEXED IN:
DBLP
Handle
Handle IN MY:
DBLP