Search Sciweavers | Sciweavers

3546 search results - page 114 / 710

» A Causal Logic of Logic Programming

237

Voted

AGP
2010
IEEE

315views Artificial Intelligence» more AGP 2010»

Constraint Logic Programming

15 years 9 months ago

Download www.math.unipd.it

Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...

Marco Gavanelli, Francesca Rossi

claim paper

Read More »

139

Voted

POPL
1994
ACM

113views Programming Languages» more POPL 1994»

Combinations of Abstract Domains for Logic Programming

15 years 8 months ago

Download www.dsi.unive.it

ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...

Agostino Cortesi, Baudouin Le Charlier, Pascal Van...

claim paper

Read More »

219

click to vote

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 4 months ago