Search Results - logic and constraint programming

The Inductive Constraint Programming Loop by BESSIERE, Christian, de Raedt, Luc, Guns, Tias, Kotthoff, Lars, Nanni, Mirco, Nijssen, Siegfried, O'Sullivan, Barry, Paparrizou, Anastasia, Pedreschi, Dino, Simonis, Helmut

“…Constraint programming is used for a variety of real-world optimization problems, such as planning, scheduling and resource allocation problems…”
Get full text

FLARE: Fast layout for augmented reality applications by Gal, Ran, Shapira, Lior, Ofek, Eyal, Kohli, Pushmeet

“… We propose a rule-based framework for generating object layouts for AR applications. Under our framework, the developer of an AR application specifies a set of rules (constraints…”
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

Automated Generation of Consistent Graph Models With Multiplicity Reasoning by Marussy, Kristof, Semerath, Oszkar, Varro, Daniel

“…Advanced tools used in model-based systems engineering (MBSE) frequently represent their models as graphs. In order to test those tools, the automated…”
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

VeriFly: On-the-fly Assertion Checking via Incrementality by SANCHEZ-ORDAZ, MIGUEL A., GARCIA-CONTRERAS, ISABEL, PEREZ, VICTOR, MORALES, JOSÉ F., LOPEZ-GARCIA, PEDRO, HERMENEGILDO, MANUEL V.

“… For Prolog programmers, this means being able to have relevant properties, such as modes, types, determinacy, nonfailure, sharing, constraints, and cost, checked and errors flagged without having…”
Get full text

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

Get full text

Incremental and Modular Context-sensitive Analysis by GARCIA-CONTRERAS, ISABEL, MORALES, JOSÉ F., HERMENEGILDO, MANUEL V.

“…Context-sensitive global analysis of large code bases can be expensive, which can make its use impractical during software development. However, there are many…”
Get full 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 by Anjorin, Anthony

Get full text

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

Anti-unification in Constraint Logic Programming by 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…”
Get full text

Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming by Hermenegildo, Manuel

“… Starting in the mid 80s there has been significant progress in the development of parallelizing compilers for logic programming…”
Get full 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” by Wallace, Mark, Schimpf, Joachim, Shen, Kish, Harvey, Warwick

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

“… 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…”
Get full text

A new thermal unit commitment approach using constraint logic programming by 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…”
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

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

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