Výsledky vyhledávání - "Constraint logic programming systems"

CHR++: An efficient CHR system in C++ with don’t know non-determinism Autor Barichard, Vincent

“…This article introduces CHR++, an implementation of CHR (Constraint Handling Rules) in C++. CHR++ has been designed to be efficient, user-friendly, and to make…”
Získat plný text

Foundational issues in implementing constraint logic programming systems Autor Andrews, James H.

“…Implementations of Constraint Logic Programming (CLP) systems are often incomplete with respect to the theories they are intended to implement. This paper…”
Získat plný text

Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011 Autor Abreu, Salvador, Vitor Santos Costa

“…These are the revised versions of the papers presented at CICLOPS 2011, a workshop colocated with ICLP 2011…”
Získat plný text

Design and implementation of practical constraint logic programming systems Autor Michaylov, Spiro

“…The Constraint Logic Programming (CLP) scheme, developed by Jaffar and Lassez, defines a class of rule-based constraint programming languages. These generalize…”
Získat plný text

Attributed Variables in XSB Autor Cui, Baoqiu, Warren, David S.

“… To combine the technique of constraint solving with tabling and build a tabled constraint logic programming system, special work has to be done to handle attributed variables when they are copied into and out…”
Získat plný text

A sound interval constraint logic programming system Autor Ju, Qun

“…This thesis presents the design and implementation of a sound interval Constraint Logic Programming (CLP) system, which is based on sound sequential and…”
Získat plný text

Precise goal-independent abstract interpretation of constraint logic programs Autor Schachte, Peter

“… Along the way, we formally define constraint logic programming systems, give a formal semantics that is independent of the actual constraint domain and the details of the proof algorithm…”
Získat plný text

Negation and Constraint Logic Programming Autor Stuckey, P.J.

“…Almost all constraint logic programming systems include negation, yet nowhere has a sound operational model for negation in CLP been discussed…”
Získat plný text

An Overview of MSR( [formula omitted]): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems Autor Delzanno, G.

“… The verification procedure has been implemented in a Constraint Logic Programming systems, namely…”
Získat plný text

Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs Autor Schachte, Peter

“… will never lose precision. Along the way, we formally define pure constraint logic programming systems, give a formal semantics that is independent of the actual constraint domain, and formally define the maximally precise…”
Získat plný text

Proceedings of CICLOPS-WLPE 2010 Autor Vidal, German, Zhou, Neng-Fa

“…Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010…”
Získat plný text

A study on parallel semantics of constraint logic programs Autor Ji-Gui Sun, Yong-Gang Zhang

“… On the basis of these two semantics, programmers can comprehend the programs deeply and develop more sound parallel constraint logic programming systems…”
Získat plný text

Application of mathematical constraint resolution to decision support system Autor Lin, F.-T., Juang, J.-Y., Lee, D.-T.

“…, regression analysis, and optimization problems. While most existing constraint logic programming systems try to devise their own constraint solvers and are confined to systems of linear equations and simple nonlinear functions, the MATHCORE…”
Získat plný text

Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains Autor Apt, Krzysztof R, Monfroy, Eric

“…We study here constraint satisfaction problems that are based on predefined, explicitly given finite constraints. To solve them we propose a notion of rule…”
Získat plný text

Declarative Representation and Solution of Vehicle Routing with Pickup and Delivery Problem Autor Bădică, Amelia, Bădică, Costin, Leon, Florin, Luncean, Lucian

“…Recently we have proposed a multi-agent system that provides an intelligent logistics brokerage service focusing on the transport activity for the efficient…”
Získat plný text

Communicating sequential processes for distributed constraint satisfaction Autor Sakellariou, Ilias, Vlahavas, Ioannis, Futo, Ivan, Pasztor, Zoltan, Szeredi, Janos

“… constraint logic programming system. Such a model can facilitate greatly the implementation of distributed…”
Získat plný text

CGLIB-a constraint-based graphics library Autor Zhou, Neng-Fa

“…CGLIB is a high‐level graphics library for B‐Prolog, a constraint logic programming system…”
Získat plný text

Anticipatory pruning networks and forward checking in CLP over continuous domains Autor Jo, Geun Sik, McAloon, Ken

“… (Linear Programming and Logic Programming) is a constraint logic programming system which has been developed and implemented at the Logic Based System Lab at Brooklyn College/CUNY…”
Získat plný text

CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming Autor Fages, François, Soliman, Sylvain, Coolen, Rémi

“… The challenge of developing a tool which is generic w.r.t. both the constraint logic programming system and the visualizers, is addressed by a client-server architecture…”
Získat plný text

A CLP approach for solving the maximum clique problem: Benefits and limits Autor Badica, Amelia, Badica, Costin, Ivanovic, Mirjana, Logofatu, Doina

“… The resulting representation can be input to a Constraint Logic Programming system that can be used in combination with a suitable Branch-and-Bound search strategy to compute the Clique Number…”
Získat plný text