Carlos Augusto Isaac Piló Viegas Damásio


AuthID: R-000-36A

Publicações Confirmadas: 62



1
TÍTULO: A framework for modular ERDF ontologies  Full Text
AUTORES: Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damasio ; Ioannis Pachoulakis;
PUBLICAÇÃO: 2013, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 67, NÚMERO: 3-4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
2
TÍTULO: Justifications for logic programming
AUTORES: Viegas Damasio, C ; Analyti, A; Antoniou, G;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8148 LNAI
INDEXADO EM: Scopus
3
TÍTULO: Justifications for Logic Programming
AUTORES: Carlos Viegas Damasio ; Anastasia Analyti; Grigoris Antoniou;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXADO EM: WOS
4
TÍTULO: Provenance for SPARQL queries
AUTORES: Damasio, CV ; Analyti, A; Antoniou, G;
PUBLICAÇÃO: 2012, FONTE: 11th International Semantic Web Conference, ISWC 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7649 LNCS, NÚMERO: PART 1
INDEXADO EM: Scopus CrossRef: 17
NO MEU: ORCID
5
TÍTULO: Modularity in the Rule Interchange Format
AUTORES: Carlos Viegas Damasio ; Anastasia Analyti; Grigoris Antoniou;
PUBLICAÇÃO: 2011, FONTE: 5th International Symposium on Rules: Research Based and Industry Focused (RuleML 2011) in RULE-BASED REASONING, PROGRAMMING, AND APPLICATIONS, VOLUME: 6826
INDEXADO EM: Scopus WOS
6
TÍTULO: Modularity of P-log programs
AUTORES: Viegas Damasio, C ; Moura, J;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6645 LNAI
INDEXADO EM: Scopus
7
TÍTULO: Modularity of P-Log Programs
AUTORES: Carlos Viegas Damasio ; Joao Moura;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXADO EM: WOS
8
TÍTULO: MWeb: A Principled Framework for Modular Web Rule Bases and its Semantics  Full Text
AUTORES: Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damasio ;
PUBLICAÇÃO: 2011, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 12, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID
9
TÍTULO: On the notions of residuated-based coherence and bilattice-based consistence
AUTORES: Damasio, CV ; Madrid, N; Ojeda Aciego, M;
PUBLICAÇÃO: 2011, FONTE: 9th International Workshop on Fuzzy Logic and Applications, WILF 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6857 LNAI
INDEXADO EM: Scopus
10
TÍTULO: Practical RDF Schema Reasoning with Annotated Semantic Web Data
AUTORES: Carlos Viegas Damasio ; Filipe Ferreira;
PUBLICAÇÃO: 2011, FONTE: 10th International Semantic Web Conference in SEMANTIC WEB - ISWC 2011, PT I, VOLUME: 7031
INDEXADO EM: WOS
Página 1 de 7. Total de resultados: 62.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service