Carlos Augusto Isaac Piló Viegas Damásio
AuthID: R-000-36A
71
TÃTULO: REVISE: An Extended Logic Programming System for Revising Knowledge Bases
AUTORES: Carlos Viegas Damásio; Wolfgang Nejdl; Luís Moniz Pereira;
PUBLICAÇÃO: 1994, FONTE: Principles of Knowledge Representation and Reasoning
AUTORES: Carlos Viegas Damásio; Wolfgang Nejdl; Luís Moniz Pereira;
PUBLICAÇÃO: 1994, FONTE: Principles of Knowledge Representation and Reasoning
72
TÃTULO: Debugging by diagnosing assumptions
AUTORES: Pereira, LM; Damásio, CV; Alferes, JJ;
PUBLICAÇÃO: 1993, FONTE: 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
AUTORES: Pereira, LM; Damásio, CV; Alferes, JJ;
PUBLICAÇÃO: 1993, FONTE: 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
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID73
TÃTULO: Diagnosis and Debugging as Contradiction Removal
AUTORES: Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes;
PUBLICAÇÃO: 1993, FONTE: Logic Programming and Non-Monotonic Reasoning
AUTORES: Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes;
PUBLICAÇÃO: 1993, FONTE: Logic Programming and Non-Monotonic Reasoning
