José Júlio Alves Alferes
AuthID: R-000-8E8
21
TITLE: Vivid agents arguing about distributed extended logic programs
AUTHORS: Schroeder, M; Móra, I; Alferes, JJ;
PUBLISHED: 1997, SOURCE: 8th Portuguese Conference on Artificial Intelligence, EPIA 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1323
AUTHORS: Schroeder, M; Móra, I; Alferes, JJ;
PUBLISHED: 1997, SOURCE: 8th Portuguese Conference on Artificial Intelligence, EPIA 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1323
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID22
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
23
TITLE: Debugging by diagnosing assumptions
AUTHORS: Pereira, LM; Damásio, CV; Alferes, JJ;
PUBLISHED: 1993, SOURCE: 1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 749 LNCS
AUTHORS: Pereira, LM; Damásio, CV; Alferes, JJ;
PUBLISHED: 1993, SOURCE: 1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 749 LNCS
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID24
TITLE: Semantics of logic programs with explicit negation
AUTHORS: José J Alferes;
PUBLISHED: 1993
AUTHORS: José J Alferes;
PUBLISHED: 1993
INDEXED IN: 
Handle
Handle