Carlos Augusto Isaac Piló Viegas Damásio
AuthID: R-000-36A
51
TITLE: Paraconsistent logic programs
AUTHORS: Alcântara, J; Damásio, CV; Pereira, LM;
PUBLISHED: 2002, SOURCE: 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
AUTHORS: Alcântara, J; Damásio, CV; Pereira, LM;
PUBLISHED: 2002, SOURCE: 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
TITLE: Monotonic and Residuated Logic Programs
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLISHED: 2001, SOURCE: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, VOLUME: 2143
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLISHED: 2001, SOURCE: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, VOLUME: 2143
53
TITLE: Antitonic Logic Programs
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLISHED: 2001, SOURCE: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, VOLUME: 2173
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLISHED: 2001, SOURCE: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, VOLUME: 2173
54
TITLE: Hybrid probabilistic logic programs as residuated logic programs
AUTHORS: Damásio, CV; Pereira, LM;
PUBLISHED: 2000, SOURCE: 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
AUTHORS: Damásio, CV; Pereira, LM;
PUBLISHED: 2000, SOURCE: 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
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID55
TITLE: Hybrid Probabilistic Logic Programs as Residuated Logic Programs
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 2000, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 2000, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef56
TITLE: Coherent well-founded annotated logic programs
AUTHORS: Damásio, CV; Pereira, LM; Swift, T;
PUBLISHED: 1999, SOURCE: 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
AUTHORS: Damásio, CV; Pereira, LM; Swift, T;
PUBLISHED: 1999, SOURCE: 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
TITLE: Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
AUTHORS: Peter Fröhlich; Wolfgang Nejdl; Michael Schroeder; Carlos Damásio; Luis Moniz Pereira;
PUBLISHED: 1999, SOURCE: Multiple Approaches to Intelligent Systems - Lecture Notes in Computer Science
AUTHORS: Peter Fröhlich; Wolfgang Nejdl; Michael Schroeder; Carlos Damásio; Luis Moniz Pereira;
PUBLISHED: 1999, SOURCE: Multiple Approaches to Intelligent Systems - Lecture Notes in Computer Science
58
TITLE: A General Tabulation Procedure for Extended Constraint Logic Programs
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLISHED: 1998, SOURCE: TAPD
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLISHED: 1998, SOURCE: TAPD
INDEXED IN: 
DBLP
DBLP59
TITLE: A Survey of Paraconsistent Semantics for Logic Programs
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 1998, SOURCE: Reasoning with Actual and Potential Contradictions
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 1998, SOURCE: Reasoning with Actual and Potential Contradictions
60
TITLE: REVISE: Logic Programming and Diagnosis
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ; Michael Schroeder;
PUBLISHED: 1997, SOURCE: Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings, VOLUME: 1265
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ; Michael Schroeder;
PUBLISHED: 1997, SOURCE: Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings, VOLUME: 1265
