Search Sciweavers | Sciweavers

4370 search results - page 246 / 874

» Algebra of Logic Programming

124

click to vote

LOPSTR
2007
Springer

103views Automated Reasoning» more LOPSTR 2007»

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

15 years 11 months ago

Download clip.dia.fi.upm.es

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

claim paper

Read More »

114

click to vote

LPAR
2007
Springer

112views Automated Reasoning» more LPAR 2007»

From Hilbert's Program to a Logic Toolbox

15 years 11 months ago

Download isaim2008.unl.edu

Johann A. Makowsky

claim paper

Read More »

116

click to vote

SUM
2007
Springer

108views Information Technology» more SUM 2007»

Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web

15 years 11 months ago

Download gaia.isti.cnr.it

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

220

click to vote

WLP
2007
Springer

248views Artificial Intelligence» more WLP 2007»

Integrating XQuery and Logic Programming

15 years 11 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

109

click to vote

SAC
2006
ACM

140views Applied Computing» more SAC 2006»

A constraint logic programming approach to 3D structure determination of large protein complexes

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers