Carlos Augusto Isaac Piló Viegas Damásio
AuthID: R-000-36A
51
TÃTULO: Paraconsistent logic programs
AUTORES: Alcântara, J; Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 2002, FONTE: 8th European Conference on Logics in Artificial Intelligence, JELIA 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2424 LNAI
AUTORES: Alcântara, J; Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 2002, FONTE: 8th European Conference on Logics in Artificial Intelligence, JELIA 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2424 LNAI
52
TÃTULO: Monotonic and Residuated Logic Programs
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 2001, FONTE: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, VOLUME: 2143
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 2001, FONTE: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, VOLUME: 2143
53
TÃTULO: Antitonic Logic Programs
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 2001, FONTE: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, VOLUME: 2173
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 2001, FONTE: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, VOLUME: 2173
54
TÃTULO: Hybrid probabilistic logic programs as residuated logic programs
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 2000, FONTE: European Workshop on Logics in Artificial Intelligence, JELIA 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1919
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 2000, FONTE: European Workshop on Logics in Artificial Intelligence, JELIA 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1919
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID55
TÃTULO: Hybrid Probabilistic Logic Programs as Residuated Logic Programs
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 2000, FONTE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 2000, FONTE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef56
TÃTULO: Coherent well-founded annotated logic programs
AUTORES: Damásio, CV; Pereira, LM; Swift, T;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1730
AUTORES: Damásio, CV; Pereira, LM; Swift, T;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1730
57
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
58
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
DBLP59
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
60
TÃTULO: REVISE: Logic Programming and Diagnosis
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ; Michael Schroeder;
PUBLICAÇÃO: 1997, FONTE: Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings, VOLUME: 1265
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ; Michael Schroeder;
PUBLICAÇÃO: 1997, FONTE: Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings, VOLUME: 1265
