Výsledky vyhledávání - Constraint Logic Programming

Integrating Cardinality Constraints into Constraint Logic Programming with Sets Autor 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…”
Získat plný text

Integrating answer set programming and constraint logic programming Autor 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…”
Získat plný text

Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming: Preface Autor Schwarz, Sibylle, Voigtländer, Janis

Získat plný text

Declarative Model Transformations with Triple Graph Grammars: Invited Presentation at the 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming Autor Anjorin, Anthony

Získat plný text

Building Information Modeling Using Constraint Logic Programming Autor 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…”
Získat plný text

On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains” Autor Wallace, Mark, Schimpf, Joachim, Shen, Kish, Harvey, Warwick

Získat plný text

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

“… In this work we address the problem of anti-unification in CLP, where goals can be seen as unordered sets of atoms and/or constraints…”
Získat plný text

A new thermal unit commitment approach using constraint logic programming Autor HUANG, K.-Y, YANG, H.-T, HUANG, C.-L

“…The authors propose a constraint logic programming (CLP) algorithm to solve the thermal unit commitment (UC…”
Získat 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ískat 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ískat plný text

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

“…), an improved static slicing technique based on constraint logic programming, to help…”
Získat plný text

Performing fully parallel constraint logic programming on a quantum annealer Autor 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…”
Získat plný text

Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification Autor Unno, Hiroshi, Terauchi, Tachio, Gu, Yu, Koskinen, Eric

“… Our approach is constraint-based, and reduces the validity checking problem of the given first-order-fixpoint logic formula…”
Získat plný text

From extended feature models to constraint logic programming Autor 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…”
Získat plný text

A new probabilistic constraint logic programming language based on a generalised distribution semantics Autor 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…”
Získat 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ískat plný text

Applying Constraint Logic Programming to SQL Semantic Analysis Autor 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…”
Získat plný text

Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming Autor 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…”
Získat plný text

Implementing type theory in higher order constraint logic programming Autor 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 language: the kernel…”
Získat plný text

Reasoning about clinical guidelines based on algebraic data types and constraint logic programming Autor 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…”
Získat plný text