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