Carlos Augusto Isaac Piló Viegas Damásio
AuthID: R-000-36A
31
TÃTULO: Preface
AUTORES: Stefano Bragaglia; Carlos Viegas Damásio; Marco Montali; Charles Petrie; Alun Preece; Mark Proctor; Umberto Straccia;
PUBLICAÇÃO: 2011, FONTE: CEUR Workshop Proceedings, VOLUME: 799
AUTORES: Stefano Bragaglia; Carlos Viegas Damásio; Marco Montali; Charles Petrie; Alun Preece; Mark Proctor; Umberto Straccia;
PUBLICAÇÃO: 2011, FONTE: CEUR Workshop Proceedings, VOLUME: 799
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID32
TÃTULO: Embeddings of Simple Modular Extended RDF
AUTORES: Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou;
PUBLICAÇÃO: 2010, FONTE: Web Reasoning and Rule Systems - Lecture Notes in Computer Science
AUTORES: Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou;
PUBLICAÇÃO: 2010, FONTE: Web Reasoning and Rule Systems - Lecture Notes in Computer Science
33
TÃTULO: Query Answering in Rough Knowledge Bases
AUTORES: Aida Vitória; Carlos Viegas Damásio; Jan Małuszyński;
PUBLICAÇÃO: 2007, FONTE: Lecture Notes in Computer Science - Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
AUTORES: Aida Vitória; Carlos Viegas Damásio; Jan Małuszyński;
PUBLICAÇÃO: 2007, FONTE: Lecture Notes in Computer Science - Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
34
TÃTULO: Supporting Open and Closed World Reasoning on the Web
AUTORES: Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou; Gerd Wagner;
PUBLICAÇÃO: 2006, FONTE: Principles and Practice of Semantic Web Reasoning - Lecture Notes in Computer Science
AUTORES: Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou; Gerd Wagner;
PUBLICAÇÃO: 2006, FONTE: Principles and Practice of Semantic Web Reasoning - Lecture Notes in Computer Science
35
TÃTULO: Sorted Multi-adjoint Logic Programs: Termination Results and Applications
AUTORES: Damásio, CV; Medina, J; Ojeda-Aciego, M;
PUBLICAÇÃO: 2004, FONTE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
AUTORES: Damásio, CV; Medina, J; Ojeda-Aciego, M;
PUBLICAÇÃO: 2004, FONTE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
36
TÃTULO: A declarative characterisation of disjunctive paraconsistent answer sets
AUTORES: Alcântara, J; Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 2004, FONTE: 16th European Conference on Artificial Intelligence, ECAI 2004 in Frontiers in Artificial Intelligence and Applications, VOLUME: 110
AUTORES: Alcântara, J; Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 2004, FONTE: 16th European Conference on Artificial Intelligence, ECAI 2004 in Frontiers in Artificial Intelligence and Applications, VOLUME: 110
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID37
TÃTULO: A tabulation proof procedure for residuated logic programming
AUTORES: Damásio, CV; Medina, J; Ojeda Aciego, M;
PUBLICAÇÃO: 2004, FONTE: 16th European Conference on Artificial Intelligence, ECAI 2004 in Frontiers in Artificial Intelligence and Applications, VOLUME: 110
AUTORES: Damásio, CV; Medina, J; Ojeda Aciego, M;
PUBLICAÇÃO: 2004, FONTE: 16th European Conference on Artificial Intelligence, ECAI 2004 in Frontiers in Artificial Intelligence and Applications, VOLUME: 110
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID38
TÃTULO: Toward Rough Knowledge Bases with Quantitative Measures
AUTORES: Aida Vitória; Carlos Viegas Damásio; Jan Małuszyński;
PUBLICAÇÃO: 2004, FONTE: Rough Sets and Current Trends in Computing - Lecture Notes in Computer Science
AUTORES: Aida Vitória; Carlos Viegas Damásio; Jan Małuszyński;
PUBLICAÇÃO: 2004, FONTE: Rough Sets and Current Trends in Computing - Lecture Notes in Computer Science
39
TÃTULO: Monotonic and Residuated Logic Programs
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 2001, FONTE: ECSQARU, VOLUME: 2143
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 2001, FONTE: ECSQARU, VOLUME: 2143
40
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
ORCID