MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logic Programming Schemes." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

93 documents found, showing 1 through 10. Next 10 →

ATOM

A Reactive Constraint Logic Programming Scheme
by F. Fages, J. Fowler, T. Sola, Domaine De Corbeville — 1995
…A Reactive Constraint Logic Programming Scheme F. Fages 1;2 , J. Fowler 2 and T. Sola 2…
Cited by 17 (5 self) – Add To MetaCart

A Meta Constraint Logic Programming Scheme
by Evelina Lamma, Evelina Lamma, Paola Mello, Paola Mello, Michela Milano, Michela Milano — 1995
…October 10, 1995 A Meta Constraint Logic Programming Scheme DEIS Technical Report no. DEIS-LIA-95…
Add To MetaCart

Constraint Logic Programming over Unions of Constraint Theories
by Cesare Tinelli, Mehdi Harandi — 1998 — Journal of Functional and Logic Programming
…. In this paper, we propose an extension of the Jaffar-Lassez Constraint Logic Programming scheme that operates…
Cited by 9 (1 self) – Add To MetaCart

Using Program Schemes to Logically Capture Polynomial-Time on Certain Classes of Structures
by Iain A. Stewart — 1998 — London Mathematical Society Journal of Computation and Mathematics
…Using program schemes to logically capture polynomial-time on certain classes of structures Iain A…
Cited by 4 (4 self) – Add To MetaCart

A New Correctness Proof of the Nelson-Oppen Combination Procedure
by Cesare Tinelli, Mehdi Harandi — 1996 — Frontiers of Combining Systems, volume 3 of Applied Logic Series
…-deterministic version of the procedure that has been used to extend the Constraint Logic Programming Scheme to unions…
Cited by 47 (4 self) – Add To MetaCart

Model-Based Diagnosis Of Analog Circuits With CLP(R)
by Anton Biasizzo, Franc Novak — 1995
…(!) is presented. The general framework, called the Constraint Logic Programming Scheme is brieAEy introduced…
Cited by 1 (0 self) – Add To MetaCart

OFAI clp(Q,R) Manual
by Christian Holzbaur — 1995
… described in this document is an instance of the general Constraint Logic Programming scheme introduced…
Cited by 4 (0 self) – Add To MetaCart

CLP(R) and Some Electrical Engineering Problems
by Nevin Heintze, Spiro Michaylov, Peter Stuckey — 1991 — Journal of Automated Reasoning
… The Constraint Logic Programming Scheme defines a class of languages designed for programming with constraints…
Cited by 35 (5 self) – Add To MetaCart

Cooperative Constraint Functional Logic Programming
by Mircea Marin, Tetsuo Ida, Taro Suzuki — 2000 — IEICE Transactions on Information and Systems
… scheme obtained from the integration of higher-order lazy narrowing for functional logic programming…
Cited by 8 (3 self) – Add To MetaCart

Towards a constraint deductive database language based on hereditary harrop formulas
by S. Nieva, F. Sáenz-pérez, J. Sánchez-hernández — 2006 — Sextas Jornadas de Programación y Lenguajes, PROLE
…), respectively, we introduce the constraint logic programming scheme HH(C) (Hereditary Harrop formulas…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB