Author: "Carlos Viegas" / Journal: ecai - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Carlos Viegas"' showing total 5 results

Start Over Author "Carlos Viegas" Journal ecai

5 results on '"Carlos Viegas"'

1. A Tabulation Proof Procedure for Residuated Logic Programming.

Author: Carlos Viegas Damásio, Jesús Medina 0001, and Manuel Ojeda-Aciego
Published: 2004

2. Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation.

Author: José Júlio Alferes, Carlos Viegas Damásio, and Luís Moniz Pereira
Published: 1994

3. Implementing Simple Modular ERDF ontologies.

Author: Carlos Viegas Damásio, Anastasia Analyti, and Grigoris Antoniou
Published: 2010
Full Text: View/download PDF

4. Computability and Complexity Issues of Extended RDF.

Author: Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, and Gerd Wagner 0001
Published: 2008
Full Text: View/download PDF

5. A Declarative Characterization of Disjunctive Paraconsistent Answer Sets.

Author: João F. L. Alcântara, Carlos Viegas Damásio, and Luís Moniz Pereira
Published: 2004

Catalog

Books, media, physical & digital resources

See catalog results