Carlos Augusto Isaac Piló Viegas Damásio


AuthID: R-000-36A

Confirmed Publications: 62



1
TITLE: A framework for modular ERDF ontologies  Full Text
AUTHORS: Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damasio ; Ioannis Pachoulakis;
PUBLISHED: 2013, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 67, ISSUE: 3-4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: Justifications for logic programming
AUTHORS: Viegas Damasio, C ; Analyti, A; Antoniou, G;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus
3
TITLE: Justifications for Logic Programming
AUTHORS: Carlos Viegas Damasio ; Anastasia Analyti; Grigoris Antoniou;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXED IN: WOS
4
TITLE: Provenance for SPARQL queries
AUTHORS: Damasio, CV ; Analyti, A; Antoniou, G;
PUBLISHED: 2012, SOURCE: 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, ISSUE: PART 1
INDEXED IN: Scopus CrossRef: 17
IN MY: ORCID
5
TITLE: Modularity in the Rule Interchange Format
AUTHORS: Carlos Viegas Damasio ; Anastasia Analyti; Grigoris Antoniou;
PUBLISHED: 2011, SOURCE: 5th International Symposium on Rules: Research Based and Industry Focused (RuleML 2011) in RULE-BASED REASONING, PROGRAMMING, AND APPLICATIONS, VOLUME: 6826
INDEXED IN: Scopus WOS
6
TITLE: Modularity of P-log programs
AUTHORS: Viegas Damasio, C ; Moura, J;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus
7
TITLE: Modularity of P-Log Programs
AUTHORS: Carlos Viegas Damasio ; Joao Moura;
PUBLISHED: 2011, SOURCE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXED IN: WOS
8
TITLE: MWeb: A Principled Framework for Modular Web Rule Bases and its Semantics  Full Text
AUTHORS: Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damasio ;
PUBLISHED: 2011, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 12, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID
9
TITLE: On the notions of residuated-based coherence and bilattice-based consistence
AUTHORS: Damasio, CV ; Madrid, N; Ojeda Aciego, M;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus
10
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
Page 1 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