Výsledky vyhľadávania - constraint logic programming languages

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ískať plný text

Relating constraint answer set programming languages and algorithms Autor Lierler, Yuliya

“…Recently a logic programming language AC was proposed by Mellarkod et al. [1] to integrate answer set programming and constraint logic programming…”
Získať plný text

A constraint logic programming language keyed CLP and its applications to decision making problems in OR/MS Autor Hiraishi, Kunihiko

“… In this research, a new constraint logic programming language Keyed CLP is developed. Keyed CLP has some characteristic features for solving problems in OR/MS…”
Získať 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ískať plný text

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ískať plný text

Alignment Completeness for Relational Hoare Logics Autor Nagasamudram, Ramana, Naumann, David A.

“… for richer programming languages and alignment patterns…”
Získať plný text

Observational equivalences for linear logic concurrent constraint languages Autor Haemmerle, Remy

“…Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC…”
Získať plný text

No-Rainbow Problem and the Surjective Constraint Satisfaction Problem Autor Zhuk, Dmitriy

“… Additionally, we disprove the conjecture saying that the SCSP over a constraint language Γ and the CSP over the same language with constants have the same computational complexity up to poly-time reductions…”
Získať plný text

A compiler and virtual machine for constraint-logic object-oriented programming with Muli Autor Dageförde, Jan C., Kuchen, Herbert

“…). As a constraint-logic OO language, it facilitates an integrated implementation of applications that use aspects from both constraint-logic and object-oriented programming, thus eliminating the need…”
Získať plný text

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages Autor Lee, Jimmy H.M., Leung, Ho-fung

“… This paper presents an implementation scheme IQ of incremental queries in Constraint Pandora, which defines a class of non-deterministic concurrent constraint logic programming languages…”
Získať plný text

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses Autor Burn, Toby Cathcart, Ong, Luke, Ramsay, Steven, Wagner, Dominik

“… The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types…”
Získať plný text

Automatic spatial layout planning system using a second-generation constraint logic programming language Autor Honda, Kazuyoshi, Mizoguchi, Fumio

“… Our new method represents the rectangles as inconsistent sets of linear constraints. We then select the consistent sets from them by using a second-generation Constraint Logic Programming (CLP…”
Získať plný text

COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation System Autor Han, Jipeng

“… To overcome these issues, we introduce the COOL (Constraint Object-Oriented Logic) programming language, an innovative approach that seamlessly combines logical reasoning with neural network technologies…”
Získať plný text

Fast Parallel Equivalence Relations in a Datalog Compiler Autor Nappa, Patrick, Zhao, David, Subotic, Pavle, Scholz, Bernhard

“…Modern parallelizing Datalog compilers are employed in industrial applications such as networking and static program analysis. These applications regularly…”
Získať plný text

Subexponential concurrent constraint programming Autor Olarte, Carlos, Pimentel, Elaine, Nigam, Vivek

“…In previous works we have shown that linear logic with subexponentials (SELL), a refinement of linear logic, can be used to specify emergent features of concurrent constraint programming (CCP…”
Získať plný text

A constraint logic programming language for combinatorial optimization and linear programming Autor Lim, P., Epstein, M.L., Freeman, E.H.

“…The authors report on the language definition and a prototype implementation of the constrained logic programming shell (Mathematica), or CLPS(M…”
Získať plný text

Extending and implementing the stable model semantics Autor Simons, Patrik, Niemelä, Ilkka, Soininen, Timo

“…A novel logic program like language, weight constraint rules, is developed for answer set programming purposes…”
Získať plný text

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification Autor CRISTIÁ, MAXIMILIANO, ROSSI, GIANFRANCO

“… We do so by defining a type system and implementing a typechecker for $\{log\}$ (read ‘setlog’), a Constraint Logic Programming language and satisfiability solver based on set theory…”
Získať plný text

Constraint functional logic programming over finite domains Autor Fernandez, Antonio J, Hortala-Gonzalez, Teresa, Saenz-Perez, Fernando, Del Vado-Virseda, Rafael

“…$)) with a lazy functional logic programming language which seamlessly embodies finite domain ($\fd$) constraints. This proposal increases the expressiveness and power of constraint logic programming over finite domains…”
Získať plný text

An Automatically Verified Prototype of the Android Permissions System Autor Cristiá, Maximiliano, De Luca, Guido, Luna, Carlos

“…’)—a satisfiability solver and a constraint logic programming language— which is then used to automatically discharge most of the proofs performed in Coq…”
Získať plný text