Suchergebnisse - "constraint logic programming"

Building Information Modeling Using Constraint Logic Programming von 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 …”
Volltext

Integrating Cardinality Constraints into Constraint Logic Programming with Sets von 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 …”
Volltext

Anti-unification in Constraint Logic Programming von 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 …”
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

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

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

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

Performing fully parallel constraint logic programming on a quantum annealer von 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 …”
Volltext

From extended feature models to constraint logic programming von 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 …”
Volltext

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

A new probabilistic constraint logic programming language based on a generalised distribution semantics von 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 …”
Volltext

Applying Constraint Logic Programming to SQL Semantic Analysis von 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 …”
Volltext

Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming von 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 …”
Volltext

Implementing type theory in higher order constraint logic programming von 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 …”
Volltext

Integrating answer set programming and constraint logic programming von 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 …”
Volltext

Reasoning about clinical guidelines based on algebraic data types and constraint logic programming von 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 …”
Volltext

CLP(H): Constraint logic programming for hedges von 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 …”
Volltext

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

Volltext

Constraint logic programming with a relational machine von 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 …”
Volltext

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

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

Failure tabled constraint logic programming by interpolation von 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 …”
Volltext