Search Sciweavers | Sciweavers

7456 search results - page 69 / 1492

» Parallelism in Logic Programming

click to vote

CORR
2010
Springer

180views Education» more CORR 2010»

A Meta-Programming Approach to Realizing Dependently Typed Logic Programming

13 years 10 months ago

Download www.lix.polytechnique.fr

Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...

Zachary Snow, David Baelde, Gopalan Nadathur

claim paper

Read More »

click to vote

AAAI
2007

146views Intelligent Agents» more AAAI 2007»

An Experimental Comparison of Constraint Logic Programming and Answer Set Programming

14 years 11 days ago

Download www.aaai.org

Answer Set Programming (ASP) and Constraint Logic Programming over ﬁnite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...

Agostino Dovier, Andrea Formisano, Enrico Pontelli

claim paper

Read More »

click to vote

AMAI
1999
Springer

194views Artificial Intelligence» more AMAI 1999»

Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm

13 years 9 months ago

Download folli.loria.fr

Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...

Ilkka Niemelä

claim paper

Read More »

click to vote

EWC
2008

73views more EWC 2008»

Generic programming techniques for parallelizing and extending procedural finite element programs

13 years 10 months ago

Download www-g.eng.cam.ac.uk

Fehmi Cirak, Julian C. Cummings

claim paper

Read More »