Výsledky vyhľadávania - 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…”
Získať plný text

Reasoning about UML/OCL class diagrams using constraint logic programming and formula Autor 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…”
Získať plný text

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

“…Recently a logic programming language AC was proposed by Mellarkod et al. [1] to integrate answer set programming and constraint logic programming…”
Získať plný text

Freight transportation broker agent based on constraint logic programming Autor 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…”
Získať plný text

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

“…In this article, we introduce a novel framework that combines constraint logic programming (CLP…”
Získať 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…”
Získať plný text

A decision support systems generator for transportation demand forecasting implemented by constraint logic programming Autor 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…”
Získať plný text

Self-organization in a distributed manufacturing system based on constraint logic programming Autor 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…”
Získať plný text

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

Získať plný text

USING META-PROGRAMMING, CONSTRAINT LOGIC PROGRAMMING AND APPROXIMATE REASONING FOR EXPERT SYSTEMS DESIGN Autor 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…”
Získať plný text

Observational equivalences for linear logic concurrent constraint languages Autor 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…”
Získať plný text

Solving functional constraints by variable substitution Autor 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…”
Získať plný text

MACLP: multi agent constraint logic programming Autor 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…”
Získať 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…”
Získať 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ískať plný text

Automatic spatial layout planning system using a second-generation constraint logic programming language Autor 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…”
Získať plný text

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems Autor 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…”
Získať plný text

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems Autor 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…”
Získať plný text

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification Autor 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…”
Získať plný text

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments Autor 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…”
Získať plný text