Carlos Augusto Isaac Piló Viegas Damásio


AuthID: R-000-36A

Confirmed Publications: 62



21
TITLE: An Implementation of Extended P-Log Using XASP
AUTHORS: Han The Anh; Carroline Kencana P K Ramli; Carlos Viegas Damasio ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
22
TITLE: Extended RDF as a semantic foundation of rule markup languages
AUTHORS: Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damasio ; Gerd Wagner;
PUBLISHED: 2008, SOURCE: JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, VOLUME: 32
INDEXED IN: Scopus WOS
IN MY: ORCID
23
TITLE: On the computability and complexity issues of extended RDF
AUTHORS: Analyti, A; Antoniou, G; Damasio, CV ; Wagner, G;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
24
TITLE: Representing uncertainty in RuleML
AUTHORS: Carlos Viegas Damasio ; Giorgos Stoilos; Jeff Z Pan; Umberto Straccia;
PUBLISHED: 2008, SOURCE: 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web in FUNDAMENTA INFORMATICAE, VOLUME: 82, ISSUE: 3
INDEXED IN: Scopus WOS
IN MY: ORCID
25
TITLE: Termination of logic programs with imperfect information: applications and query procedure
AUTHORS: Damasio, CV ; Medina, J; Ojeda Aciego, M;
PUBLISHED: 2007, SOURCE: Journal of Applied Logic, VOLUME: 5, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
26
TITLE: A distributed tabling algorithm for rule based policy systems
AUTHORS: Miguel Alves ; Carlos Viegas Damasio ; Wolfgang Nejdl; Daniel Olmedilla;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
27
TITLE: An approach to representing uncertainty rules in RuleML
AUTHORS: Damasio, CV ; Pan, JZ; Stoilos, G; Straccia, U;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
28
TITLE: Diagnosis of power, system protection
AUTHORS: Rui D Jorge; Carlos V Damasio ;
PUBLISHED: 2006, SOURCE: 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems in ADVANCES IN APPLIED ARTICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4031
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
29
TITLE: Reactivity on the Web
AUTHORS: 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;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
30
TITLE: Supporting open and closed world reasoning on the Web
AUTHORS: Carlos Viegas Damasio ; Anastasia Analyti; Grigoris Antoniou; Gerd Wagner;
PUBLISHED: 2006, SOURCE: 4th International Workshop on Principles and Practice of Semantic Web Reasoning in PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, VOLUME: 4187
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 3 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