20 citations · 38 across the 5 of their papers we have counts for
5 papers
Deteção de estruturas permanentes a partir de dados de séries temporais Sentinel 1 e 2
André Neves, Carlos Damásio, João Pires +1
Mapping structures such as settlements, roads, individual houses and any other types of artificial structures is of great importance for the analysis of urban growth, masking, imag…
Generalizing Modular Logic Programs
João Moura, Carlos Damásio
Even though modularity has been studied extensively in conventional logic programming, there are few approaches on how to incorporate modularity into Answer Set Programming, a prom…
Provenance for SPARQL queries
C. V. Damásio, A. Analyti, G. Antoniou
Determining trust of data available in the Semantic Web is fundamental for applications and users, in particular for linked open data obtained from SPARQL endpoints. There exist se…
Extended RDF as a Semantic Foundation of Rule Markup Languages
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio +1
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts, based on base…
Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI)
Carlos Viegas Damásio, Alun Preece, Umberto Straccia
This volume contains the papers presented at the first edition of the Doctoral Consortium of the 5th International Symposium on Rules (RuleML 2011@IJCAI) held on July 19th, 2011 in…