Search Sciweavers | Sciweavers

3738 search results - page 210 / 748

» Parametrized Logic Programming

click to vote

CORR
2008
Springer

92views Education» more CORR 2008»

Automated Termination Proofs for Logic Programs by Term Rewriting

13 years 8 months ago

Download tocl.acm.org

Peter Schneider-Kamp, Jürgen Giesl, Alexander...

claim paper

Read More »

click to vote

CORR
2008
Springer

59views Education» more CORR 2008»

Logic programs with propositional connectives and aggregates

13 years 8 months ago

Download tocl.acm.org

Paolo Ferraris

claim paper

Read More »

click to vote

AMAI
2006
Springer

75views Artificial Intelligence» more AMAI 2006»

Conceptual logic programs

13 years 8 months ago

Download www.kr.tuwien.ac.at

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

claim paper

Read More »

click to vote

ENTCS
2008

74views more ENTCS 2008»

An RDF Query Language based on Logic Programming

13 years 8 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

click to vote

FUIN
2008

116views more FUIN 2008»

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers