Search Results - Constraint logic programming systems

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

“…This article introduces CHR++, an implementation of CHR (Constraint Handling Rules…”
Get full text

Reasoning about UML/OCL class diagrams using constraint logic programming and formula by Pérez, Beatriz, Porres, Ivan

“… More specifically, we focus on UML Class Diagrams annotated with Object Constraint Language (OCL) invariants, which are considered to be the main artifacts in Object-Oriented analysis and design for representing the static structure of a system…”
Get full text

Relating constraint answer set programming languages and algorithms by Lierler, Yuliya

“…Recently a logic programming language AC was proposed by Mellarkod et al. [1] to integrate answer set programming and constraint logic programming…”
Get full text

Freight transportation broker agent based on constraint logic programming by Bǎdicǎ, Costin, Leon, Florin, Bǎdicǎ, Amelia

“… Our main achievement is the proposal of a knowledge-based freight broker based on agents and constraint programming…”
Get full text

Adaptive Environment Generation for Continual Learning: Integrating Constraint Logic Programming With Deep Reinforcement Learning by Boutyour, Youness, Idrissi, Abdellah

“…In this article, we introduce a novel framework that combines constraint logic programming (CLP…”
Get full text

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

“…Implementations of Constraint Logic Programming (CLP) systems are often incomplete with respect to the theories they are intended to implement…”
Get full text

A decision support systems generator for transportation demand forecasting implemented by constraint logic programming by Fierbinteanu, Cristina

“…In this paper we propose a framework for a decision support systems (DSS) generator for constrained search problems, implemented by constraint logic programming (CLP…”
Get full text

Self-organization in a distributed manufacturing system based on constraint logic programming by Sluga, A., Butala, P., Peklenik, J.

“…The paper addresses the problem of self-organization of manufacturing systems. The objective is to overcome the rigidity of conventional hierarchical structures and to introduce structures that are able to adapt to a dynamic environment…”
Get full text

USING META-PROGRAMMING, CONSTRAINT LOGIC PROGRAMMING AND APPROXIMATE REASONING FOR EXPERT SYSTEMS DESIGN by ROVENTA, EUGENE

“…) to develop a knowledge programming environment for building expert systems. We discuss here the use of meta-programming, constraint logic programming and approximate…”
Get full text

Observational equivalences for linear logic concurrent constraint languages by Haemmerle, Remy

“…), where the constraint system is based on Girard's linear logic instead of the classical logic. In this paper, we address the problem of program equivalence for this programming framework…”
Get full text

Solving functional constraints by variable substitution by ZHANG, YUANLIN, YAP, ROLAND H. C.

“…) systems, in particular for Constraint Logic Programming (CLP) systems. CP systems with finite domain constraints usually employ Constraint Satisfaction Problem…”
Get full text

MACLP: multi agent constraint logic programming by Vlahavas, Ioannis

“… This paper presents MACLP (Multi Agent Constraint Logic Programming), a logic-programming platform for building, in a declarative way, multi agent systems with constraint-solving capabilities…”
Get full text

A sound interval constraint logic programming system by Ju, Qun

“…This thesis presents the design and implementation of a sound interval Constraint Logic Programming (CLP…”
Get full 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 by Abreu, Salvador, Vitor Santos Costa

“…These are the revised versions of the papers presented at CICLOPS 2011, a workshop colocated with ICLP 2011…”
Get full text

Automatic spatial layout planning system using a second-generation constraint logic programming language by Honda, Kazuyoshi, Mizoguchi, Fumio

“… Our new method represents the rectangles as inconsistent sets of linear constraints. We then select the consistent sets from them by using a second-generation Constraint Logic Programming (CLP…”
Get full text

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems by Rocha, Ricardo, Christian Theil Have

“…This volume contains the proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013…”
Get full text

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems by Angelopoulos, Nicos, Bagnara, Roberto

“…This volume contains the papers presented at CICLOPS'12: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems held on Tueseday September 4th, 2012 in Budapest…”
Get full text

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification by CRISTIÁ, MAXIMILIANO, ROSSI, GIANFRANCO

“… We do so by defining a type system and implementing a typechecker for $\{log\}$ (read ‘setlog’), a Constraint Logic Programming language and satisfiability solver based on set theory…”
Get full text

A decision support systems generator for transportation demand forecasting implemented by constraint logic programming by Cristina Fierbinteanu

Get full text

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments by MANCARELLA, PAOLO, TERRENI, GIACOMO, SADRI, FARIBA, TONI, FRANCESCA, ENDRISS, ULLE

“…We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness…”
Get full text