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

The Inductive Constraint Programming Loop Autor 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…”
Získat plný text

FLARE: Fast layout for augmented reality applications Autor 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…”
Získat plný text

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

Automated Generation of Consistent Graph Models With Multiplicity Reasoning Autor 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…”
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

VeriFly: On-the-fly Assertion Checking via Incrementality Autor 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…”
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

Incremental and Modular Context-sensitive Analysis Autor 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…”
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

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

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

“… Starting in the mid 80s there has been significant progress in the development of parallelizing compilers for logic programming…”
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

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

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

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

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

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