Výsledky vyhledávání - 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ískat 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ískat 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í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

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

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

“… for richer programming languages and alignment patterns…”
Získat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text