Carlos Augusto Isaac Piló Viegas Damásio
AuthID: R-000-36A
41
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
42
TÃTULO: A Distributed Tabling Algorithm for Rule Based Policy Systems
AUTORES: Miguel Alves; Carlos Viegas Damásio; Wolfgang Nejdl; Daniel Olmedilla;
PUBLICAÇÃO: 2006, FONTE: 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 5-7 June 2006, London, Ontario, Canada
AUTORES: Miguel Alves; Carlos Viegas Damásio; Wolfgang Nejdl; Daniel Olmedilla;
PUBLICAÇÃO: 2006, FONTE: 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 5-7 June 2006, London, Ontario, Canada
INDEXADO EM: 
DBLP
DBLP43
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
44
TÃTULO: A Well-Founded Semantics with Disjunction
AUTORES: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 2005, FONTE: Logic Programming - Lecture Notes in Computer Science
AUTORES: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 2005, FONTE: Logic Programming - Lecture Notes in Computer Science
45
TÃTULO: An encompassing framework for Paraconsistent Logic Programs Full Text
AUTORES: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 2005, FONTE: Journal of Applied Logic, VOLUME: 3, NÚMERO: 1
AUTORES: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 2005, FONTE: Journal of Applied Logic, VOLUME: 3, NÚMERO: 1
46
TÃTULO: Deductive diagnosis of digital circuits
AUTORES: Alferes, JJ ; Azevedo, F; Barahona, P; Damasio, CV; Swift, T;
PUBLICAÇÃO: 2004, FONTE: IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 in IFIP Advances in Information and Communication Technology, VOLUME: 154
AUTORES: Alferes, JJ ; Azevedo, F; Barahona, P; Damasio, CV; Swift, T;
PUBLICAÇÃO: 2004, FONTE: IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 in IFIP Advances in Information and Communication Technology, VOLUME: 154
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID47
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
48
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
ORCID49
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
ORCID50
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
