Carlos Augusto Isaac Piló Viegas Damásio
AuthID: R-000-36A
61
TÃTULO: REVISE: Logic programming and diagnosis
AUTORES: Damásio, CV; Pereira, LM; Schroeder, M;
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; Schroeder, M;
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
ORCID62
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
ORCID63
TÃTULO: A paraconsistent semantics with contradiction support detection
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 1997, FONTE: Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 1997, FONTE: Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science
64
TÃTULO: Default Negated Conclusions: Why Not?
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1996, FONTE: Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, VOLUME: 1050
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1996, FONTE: Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, VOLUME: 1050
65
TÃTULO: Default negated conclusions: Why not?
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1996, FONTE: 5th International Workshop on Extensions of Logic Programming, ELP 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1050
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1996, FONTE: 5th International Workshop on Extensions of Logic Programming, ELP 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1050
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID66
TÃTULO: A Model Theory for Paraconsistent Logic Programming
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
67
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
ORCID68
TÃTULO: A logic programming system for nonmonotonic reasoning
AUTORES: Jos� J�lio Alferes ; Carlos Viegas Dam�sio; Lu�s Moniz Pereira;
PUBLICAÇÃO: 1995, FONTE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 14, NÚMERO: 1
AUTORES: Jos� J�lio Alferes ; Carlos Viegas Dam�sio; Lu�s Moniz Pereira;
PUBLICAÇÃO: 1995, FONTE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 14, NÚMERO: 1
69
TÃTULO: Abduction over 3-valued extended logic programs
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 1995, FONTE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 1995, FONTE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
70
TÃTULO: A model theory for paraconsistent logic programming
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 990
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 990
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID