Search Sciweavers | Sciweavers

3481 search results - page 200 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

147

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

16 years 1 months ago

Download gaia.isti.cnr.it

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

256

click to vote

WLP
2007
Springer

248views Artificial Intelligence» more WLP 2007»

Integrating XQuery and Logic Programming

16 years 1 months ago

Download indalog.ual.es

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

claim paper

Read More »

255

Voted

SEFM
2005
IEEE

231views Software Engineering» more SEFM 2005»

Logical Foundations of Program Assertions: What do Practitioners Want?

16 years 17 days ago

Download users.encs.concordia.ca

Patrice Chalin

claim paper

Read More »

155

click to vote

SAC
2005
ACM

122views Applied Computing» more SAC 2005»

Agent oriented logic programming in Jinni 2004

16 years 16 days ago

Download jo.ecs.fullerton.edu

Paul Tarau

claim paper

Read More »

109

Voted

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

16 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers