Carlos Augusto Isaac Piló Viegas Damásio


AuthID: R-000-36A

Confirmed Publications: 62



11
TITLE: Practical RDF Schema Reasoning with Annotated Semantic Web Data
AUTHORS: Carlos Viegas Damasio ; Filipe Ferreira;
PUBLISHED: 2011, SOURCE: 10th International Semantic Web Conference in SEMANTIC WEB - ISWC 2011, PT I, VOLUME: 7031
INDEXED IN: WOS
12
TITLE: Declarative Semantics for the Rule Interchange Format Production Rule Dialect
AUTHORS: Carlos Viegas Damasio ; Jose Julio Alferes ; Joao Leite ;
PUBLISHED: 2010, SOURCE: 9th International Semantic Web Conference in SEMANTIC WEB-ISWC 2010, PT I, VOLUME: 6496, ISSUE: PART 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
13
TITLE: Embeddings of simple modular extended RDF
AUTHORS: Viegas Damasio, C ; Analyti, A; Antoniou, G;
PUBLISHED: 2010, SOURCE: 4th International Conference on Web Reasoning and Rule Systems, RR 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6333 LNCS
INDEXED IN: Scopus
IN MY: ORCID
14
TITLE: Embeddings of Simple Modular Extended RDF
AUTHORS: Carlos Viegas Damasio ; Anastasia Analyti; Grigoris Antoniou;
PUBLISHED: 2010, SOURCE: 4th International Conference on Web Reasoning and Rule Systems in WEB REASONING AND RULE SYSTEMS, VOLUME: 6333
INDEXED IN: WOS
15
TITLE: Implementing Simple Modular ERDF ontologies
AUTHORS: Carlos Viegas Damasio ; Anastasia Analyti; Grigoris Antoniou;
PUBLISHED: 2010, SOURCE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215
INDEXED IN: Scopus WOS
IN MY: ORCID
16
TITLE: A formal theory for modular ERDF ontologies
AUTHORS: Analyti, A; Antoniou, G; Damasio, CV ;
PUBLISHED: 2009, SOURCE: 3rd International Conference on Web Reasoning and Rule Systems, RR 2009, co-located with the International Semantic Web Conference ISWC 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5837 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
17
TITLE: ON FIXED-POINTS OF MULTIVALUED FUNCTIONS ON COMPLETE LATTICES AND THEIR APPLICATION TO GENERALIZED LOGIC PROGRAMS  Full Text
AUTHORS: Umberto Straccia; Manuel Ojeda Aciego; Carlos V Damasio ;
PUBLISHED: 2009, SOURCE: SIAM JOURNAL ON COMPUTING, VOLUME: 38, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
18
TITLE: Reasoning on the web with open and closed predicates
AUTHORS: Wagner, G; Giurca, A; Diaconescu, IM; Antoniou, G; Analyti, A; Damasio, CV ;
PUBLISHED: 2009, SOURCE: 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services, ALPSWS 2008 - Co-located with the 24th International Conference on Logic Programming, ICLP 2008 in CEUR Workshop Proceedings, VOLUME: 434
INDEXED IN: Scopus
IN MY: ORCID
19
TITLE: Semantically Enabled Framework for User Centric Profile Description, Search and Match
AUTHORS: Joao Moura; Paulo Chainho; Damasio, CV ;
PUBLISHED: 2009, SOURCE: 5th International Conference on Service-Oriented Computing (ICSOC 2007) in SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS, VOLUME: 4907
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
20
TITLE: A principled framework for modular web rule bases and its semantics
AUTHORS: Analyti, A; Antoniou, G; Damasio, CV ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Principles of Knowledge Representation and Reasoning, KR 2008 in Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, KR 2008
INDEXED IN: Scopus
IN MY: ORCID
Page 2 of 7. Total results: 62.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service