Search Sciweavers | Sciweavers

4513 search results - page 204 / 903

» Logic programming with satisfiability

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 »

141

Voted

SAC
2006
ACM

140views Applied Computing» more SAC 2006»

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

16 years 28 days ago

Download www.brown.edu

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

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 16 days ago

Download users.encs.concordia.ca

Patrice Chalin

claim paper

Read More »

154

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 »

165

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

16 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers