Suchergebnisse - Constraint logic programming systems

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

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

Reasoning about UML/OCL class diagrams using constraint logic programming and formula von 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 …”
Volltext

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

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

Freight transportation broker agent based on constraint logic programming von 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 …”
Volltext

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

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

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

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

A decision support systems generator for transportation demand forecasting implemented by constraint logic programming von 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 …”
Volltext

Self-organization in a distributed manufacturing system based on constraint logic programming von 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 …”
Volltext

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

Volltext

USING META-PROGRAMMING, CONSTRAINT LOGIC PROGRAMMING AND APPROXIMATE REASONING FOR EXPERT SYSTEMS DESIGN von 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 …”
Volltext

Observational equivalences for linear logic concurrent constraint languages von 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 …”
Volltext

Solving functional constraints by variable substitution von 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 …”
Volltext

MACLP: multi agent constraint logic programming von 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 …”
Volltext

A sound interval constraint logic programming system von Ju, Qun

“… This thesis presents the design and implementation of a sound interval Constraint Logic Programming (CLP …”
Volltext

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

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

Automatic spatial layout planning system using a second-generation constraint logic programming language von 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 …”
Volltext

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems von 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 …”
Volltext

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems von 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 …”
Volltext

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification von 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 …”
Volltext

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments von 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 …”
Volltext