José Júlio Alves Alferes
AuthID: R-000-8E8
21
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
22
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
ORCID23
TITLE: Semantics of logic programs with explicit negation
AUTHORS: José J Alferes;
PUBLISHED: 1993
AUTHORS: José J Alferes;
PUBLISHED: 1993
INDEXED IN: 
Handle
Handle