20 citations · 38 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
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…