Search Results - "Constraint Logic Programming"

Building Information Modeling Using Constraint Logic Programming by ARIAS, JOAQUÍN, TÖRMÄ, SEPPO, CARRO, MANUEL, GUPTA, GOPAL

“…Building Information Modeling (BIM) produces three-dimensional object-oriented models of buildings combining the geometrical information with a wide range of…”
Get full text

Integrating Cardinality Constraints into Constraint Logic Programming with Sets by CRISTIÁ, MAXIMILIANO, ROSSI, GIANFRANCO

“… The Constraint Logic Programming tool $$\{ log\} $$ provides a decision procedure for deciding the satisfiability of formulas involving very general forms of finite sets, although it does not provide cardinality constraints…”
Get full text

Anti-unification in Constraint Logic Programming by YERNAUX, GONZAGUE, VANHOOF, WIM

“…Anti-unification refers to the process of generalizing two (or more) goals into a single, more general, goal that captures some of the structure that is common…”
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

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

“…Model Driven Engineering promotes the use of models as the main artifacts in software and system development. Verification and validation of models are key…”
Get full text

Weight prioritized slicing based on constraint logic programming for fault localization by Ren, Shengbing, Zhou, Weijia, Zhou, Haiwei, Xia, Lei

“…), an improved static slicing technique based on constraint logic programming, to help…”
Get full text

Performing fully parallel constraint logic programming on a quantum annealer by PAKIN, SCOTT

“… In this article, we show how to compile a subset of Prolog enhanced with support for constraint logic programming into a two-local Ising-model Hamiltonian suitable for execution on a quantum annealer…”
Get full text

From extended feature models to constraint logic programming by Karataş, Ahmet Serkan, Oğuztüzün, Halit, Doğru, Ali

“… handled. In this article, we introduce a mapping from extended feature models to constraint logic programming over finite domains…”
Get full text

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

“…We propose an agent-based freight brokering system that provides an intelligent logistics brokerage service focusing on the transport activity for the…”
Get full text

A new probabilistic constraint logic programming language based on a generalised distribution semantics by Michels, Steffen, Hommersom, Arjen, Lucas, Peter J.F., Velikova, Marina

“… We tackle this problem by developing a generalised distribution semantics for a new probabilistic constraint logic programming language…”
Get full text

Applying Constraint Logic Programming to SQL Semantic Analysis by SÁENZ-PÉREZ, FERNANDO

“…This paper proposes the use of Constraint Logic Programming (CLP) to model SQL queries in a data-independent abstract layer by focusing on some semantic properties for signalling possible errors in such queries…”
Get full text

Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming by Wilk, Szymon, Michalowski, Wojtek, Michalowski, Martin, Farion, Ken, Hing, Marisela Mainegra, Mohapatra, Subhra

“… ► We propose a method for automatic mitigation of adverse interactions in CPGs. ► We combine constraint logic programming model with encoded clinical knowledge…”
Get full text

Implementing type theory in higher order constraint logic programming by GUIDI, FERRUCCIO, SACERDOTI COEN, CLAUDIO, TASSI, ENRICO

“…In this paper, we are interested in high-level programming languages to implement the core components of an interactive theorem prover for a dependently typed…”
Get full text

Integrating answer set programming and constraint logic programming by Mellarkod, Veena S., Gelfond, Michael, Zhang, Yuanlin

“… The algorithm does not require full grounding of a program and combines “classical” ASP solving methods with constraint logic programming techniques and CR-Prolog based abduction…”
Get full text

Reasoning about clinical guidelines based on algebraic data types and constraint logic programming by Pérez, Beatriz

“…[Display omitted] •Reasoning about Clinical Guidelines based on CLP using the Formula tool as model finder.•Guidelines design reasoning by checking correctness…”
Get full text

CLP(H): Constraint logic programming for hedges by DUNDUA, BESIK, FLORIDO, MÁRIO, KUTSIA, TEMUR, MARIN, MIRCEA

“…CLP(H) is an instantiation of the general constraint logic programming scheme with the constraint domain of hedges…”
Get full text

Functional and (Constraint) Logic Programming by Escobar, Santiago, Falaschi, Moreno

Get full text

Constraint logic programming with a relational machine by Gallego Arias, Emilio Jesús, Lipton, James, Mariño, Julio

“…We present a declarative framework for the compilation of constraint logic programs into variable-free relational theories which are then executed by…”
Get full text

Scenario Oriented Program Slicing for Large-Scale Software Through Constraint Logic Programming and Program Transformation by Ren, Shengbing, Jia, Mengyu

“… In this paper, we propose an approach of scenario-oriented program slicing, which combines constraint logic programming and program transformation…”
Get full text

Failure tabled constraint logic programming by interpolation by GANGE, GRAEME, NAVAS, JORGE A., SCHACHTE, PETER, SØNDERGAARD, HARALD, STUCKEY, PETER J.

“…We present a new execution strategy for constraint logic programs called Failure Tabled CLP. Similarly to Tabled CLP our strategy records certain derivations…”
Get full text