Search Sciweavers | Sciweavers

3481 search results - page 200 / 697

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

102

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 9 months ago

Download gaia.isti.cnr.it

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

192

click to vote

WLP
2007
Springer

248views Artificial Intelligence» more WLP 2007»

Integrating XQuery and Logic Programming

15 years 9 months ago

Download indalog.ual.es

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

claim paper

Read More »

170

click to vote

SEFM
2005
IEEE

231views Software Engineering» more SEFM 2005»

Logical Foundations of Program Assertions: What do Practitioners Want?

15 years 8 months ago

Download users.encs.concordia.ca

Patrice Chalin

claim paper

Read More »

104

click to vote

SAC
2005
ACM

122views Applied Computing» more SAC 2005»

Agent oriented logic programming in Jinni 2004

15 years 8 months ago

Download jo.ecs.fullerton.edu

Paul Tarau

claim paper

Read More »

Voted

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers