Carlos Augusto Isaac Piló Viegas Damásio
AuthID: R-000-36A
41
TÃTULO: Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
AUTORES: Peter Fröhlich; Wolfgang Nejdl; Michael Schroeder; Carlos Damásio; Luis Moniz Pereira;
PUBLICAÇÃO: 1999, FONTE: Multiple Approaches to Intelligent Systems - Lecture Notes in Computer Science
AUTORES: Peter Fröhlich; Wolfgang Nejdl; Michael Schroeder; Carlos Damásio; Luis Moniz Pereira;
PUBLICAÇÃO: 1999, FONTE: Multiple Approaches to Intelligent Systems - Lecture Notes in Computer Science
42
TÃTULO: A General Tabulation Procedure for Extended Constraint Logic Programs
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1998, FONTE: TAPD
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1998, FONTE: TAPD
INDEXADO EM: 
DBLP
DBLP43
TÃTULO: A Survey of Paraconsistent Semantics for Logic Programs
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 1998, FONTE: Reasoning with Actual and Potential Contradictions
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 1998, FONTE: Reasoning with Actual and Potential Contradictions
44
TÃTULO: REVISE: Logic Programming and Diagnosis
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ; Michael Schroeder;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in LPNMR, VOLUME: 1265
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ; Michael Schroeder;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in LPNMR, VOLUME: 1265
45
TÃTULO: A paraconsistent semantics with contradiction support detection
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1265
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1265
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID46
TÃTULO: Default Negated Conclusions: Why Not?
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1996, FONTE: 5th International Workshop on Extensions of Logic Programming, ELP 1996 in ELP, VOLUME: 1050
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1996, FONTE: 5th International Workshop on Extensions of Logic Programming, ELP 1996 in ELP, VOLUME: 1050
47
TÃTULO: A Model Theory for Paraconsistent Logic Programming
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in EPIA, VOLUME: 990
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in EPIA, VOLUME: 990
48
TÃTULO: Abduction over 3-valued extended logic programs
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1995, FONTE: 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 928
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1995, FONTE: 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 928
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID49
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: 4th International Conference on Principles of Knowledge Representation and Reasoning, KR 1994 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTORES: Carlos Viegas Damásio; Wolfgang Nejdl; Luís Moniz Pereira;
PUBLICAÇÃO: 1994, FONTE: 4th International Conference on Principles of Knowledge Representation and Reasoning, KR 1994 in Proceedings of the International Conference on Knowledge Representation and Reasoning
50
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
