Search filters

List of works by Carlos Viegas Damásio

A Formal Theory for Modular ERDF Ontologies

A framework for modular ERDF ontologies

An encompassing framework for Paraconsistent Logic Programs

scientific article published in March 2005

Antitonic Logic Programs

scientific article published in 2001

Coherent Well-founded Annotated Logic Programs

Declarative Semantics for the Rule Interchange Format Production Rule Dialect

Embeddings of Simple Modular Extended RDF

article by Carlos Viegas Damásio et al published 2010 in Lecture Notes in Computer Science

Justifications for Logic Programming

Modularity in the Rule Interchange Format

On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs

On the Computability and Complexity Issues of Extended RDF

Practical RDF Schema Reasoning with Annotated Semantic Web Data

Provenance for SPARQL Queries

scientific article published at ISWC 2012

Stable Model Theory for Extended RDF Ontologies

article

Why-provenance information for RDF, rules, and negation

Paulina is supported by:

About Paulina

Help