Search Sciweavers | Sciweavers

2084 search results - page 35 / 417

» Set Constraints in Logic Programming

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

14 years 2 months ago

Download gpd.sip.ucm.es

Rafael Caballero, Mario Rodríguez-Artalejo,...

claim paper

Read More »

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

14 years 2 months ago

Download www.cs.nmsu.edu

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

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

14 years 1 months ago

Download www.brown.edu

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

claim paper

Read More »

click to vote

AADEBUG
2000
Springer

85views Software Engineering» more AADEBUG 2000»

Slicing of Constraint Logic Programs

14 years 9 days ago

Download www.ep.liu.se

Gyöngyi Szilágyi, Tibor Gyimóth...

claim paper

Read More »

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

14 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers