Search Sciweavers | Sciweavers

4513 search results - page 204 / 903

» Logic programming with satisfiability

198

Voted

WLP
2007
Springer

248views Artificial Intelligence» more WLP 2007»

Integrating XQuery and Logic Programming

15 years 10 months ago

Download indalog.ual.es

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

claim paper

Read More »

Voted

SAC
2006
ACM

140views Applied Computing» more SAC 2006»

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

15 years 9 months ago

Download www.brown.edu

Alessandro Dal Palù, Enrico Pontelli, Jing ...

claim paper

Read More »

174

click to vote

SEFM
2005
IEEE

231views Software Engineering» more SEFM 2005»

Logical Foundations of Program Assertions: What do Practitioners Want?

15 years 9 months ago

Download users.encs.concordia.ca

Patrice Chalin

claim paper

Read More »

106

click to vote

SAC
2005
ACM

122views Applied Computing» more SAC 2005»

Agent oriented logic programming in Jinni 2004

15 years 9 months ago

Download jo.ecs.fullerton.edu

Paul Tarau

claim paper

Read More »

118

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers