Carlos Augusto Isaac Piló Viegas Damásio


AuthID: R-000-36A

Publicações Confirmadas: 62



21
TÍTULO: An Implementation of Extended P-Log Using XASP
AUTORES: Han The Anh; Carroline Kencana P K Ramli; Carlos Viegas Damasio ;
PUBLICAÇÃO: 2008, FONTE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
22
TÍTULO: Extended RDF as a semantic foundation of rule markup languages
AUTORES: Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damasio ; Gerd Wagner;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, VOLUME: 32
INDEXADO EM: Scopus WOS
NO MEU: ORCID
23
TÍTULO: On the computability and complexity issues of extended RDF
AUTORES: Analyti, A; Antoniou, G; Damasio, CV ; Wagner, G;
PUBLICAÇÃO: 2008, FONTE: 10th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5351 LNAI
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
24
TÍTULO: Representing uncertainty in RuleML
AUTORES: Carlos Viegas Damasio ; Giorgos Stoilos; Jeff Z Pan; Umberto Straccia;
PUBLICAÇÃO: 2008, FONTE: 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web in FUNDAMENTA INFORMATICAE, VOLUME: 82, NÚMERO: 3
INDEXADO EM: Scopus WOS
NO MEU: ORCID
25
TÍTULO: Termination of logic programs with imperfect information: applications and query procedure
AUTORES: Damasio, CV ; Medina, J; Ojeda Aciego, M;
PUBLICAÇÃO: 2007, FONTE: Journal of Applied Logic, VOLUME: 5, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
26
TÍTULO: A distributed tabling algorithm for rule based policy systems
AUTORES: Miguel Alves ; Carlos Viegas Damasio ; Wolfgang Nejdl; Daniel Olmedilla;
PUBLICAÇÃO: 2006, FONTE: 7th IEEE International Workshop on Policies for Distributed Systems and Networks in Seventh IEEE International Workshop on Policies for Distributed Systems and Networks, Proceedings, VOLUME: 2006
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
27
TÍTULO: An approach to representing uncertainty rules in RuleML
AUTORES: Damasio, CV ; Pan, JZ; Stoilos, G; Straccia, U;
PUBLICAÇÃO: 2006, FONTE: 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web in RuleML 2006: Second International Conference on Rules and Rule Markup Languages for the Semantic Web, Proceedings
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
28
TÍTULO: Diagnosis of power, system protection
AUTORES: Rui D Jorge; Carlos V Damasio ;
PUBLICAÇÃO: 2006, FONTE: 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems in ADVANCES IN APPLIED ARTICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4031
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
29
TÍTULO: Reactivity on the Web
AUTORES: Bailey, J; Comai, S; May, W; Patranjan, PL; Alferes, JJA ; Berndtsson, M; Bonifati, A; Fraternali, P; Ludascher, B; Schaffert, S; Spreeuwenberg, S; Vasiliu, L; Winslett, M; Damasio, CV ; Groza, T; Hasan, R; Lee, A; Termehchy, A; Zhang, C;
PUBLICAÇÃO: 2006, FONTE: 10th International Conference on Extending Database Technology, EDBT 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4254 LNCS
INDEXADO EM: Scopus
30
TÍTULO: Supporting open and closed world reasoning on the Web
AUTORES: Carlos Viegas Damasio ; Anastasia Analyti; Grigoris Antoniou; Gerd Wagner;
PUBLICAÇÃO: 2006, FONTE: 4th International Workshop on Principles and Practice of Semantic Web Reasoning in PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, VOLUME: 4187
INDEXADO EM: Scopus WOS
NO MEU: ORCID
Página 3 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