Carlos Augusto Isaac Piló Viegas Damásio
AuthID: R-000-36A
71
TITLE: REVISE: An Extended Logic Programming System for Revising Knowledge Bases
AUTHORS: Carlos Viegas Damásio; Wolfgang Nejdl; Luís Moniz Pereira;
PUBLISHED: 1994, SOURCE: Principles of Knowledge Representation and Reasoning
AUTHORS: Carlos Viegas Damásio; Wolfgang Nejdl; Luís Moniz Pereira;
PUBLISHED: 1994, SOURCE: Principles of Knowledge Representation and Reasoning
72
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
ORCID73
TITLE: Diagnosis and Debugging as Contradiction Removal
AUTHORS: Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes;
PUBLISHED: 1993, SOURCE: Logic Programming and Non-Monotonic Reasoning
AUTHORS: Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes;
PUBLISHED: 1993, SOURCE: Logic Programming and Non-Monotonic Reasoning
