Suchergebnisse - constraint logic programming languages

A new probabilistic constraint logic programming language based on a generalised distribution semantics von 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 …”
Volltext

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

“… Recently a logic programming language AC was proposed by Mellarkod et al. [1] to integrate answer set programming and constraint logic programming …”
Volltext

A constraint logic programming language keyed CLP and its applications to decision making problems in OR/MS von 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 …”
Volltext

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” von Wallace, Mark, Schimpf, Joachim, Shen, Kish, Harvey, Warwick

Volltext

The Inductive Constraint Programming Loop von 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 …”
Volltext

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

“… for richer programming languages and alignment patterns …”
Volltext

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

“… Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC …”
Volltext

No-Rainbow Problem and the Surjective Constraint Satisfaction Problem von 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 …”
Volltext

A compiler and virtual machine for constraint-logic object-oriented programming with Muli von 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 …”
Volltext

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages von 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 …”
Volltext

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses von 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 …”
Volltext

Automatic spatial layout planning system using a second-generation constraint logic programming language von 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 …”
Volltext

COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation System von 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 …”
Volltext

Fast Parallel Equivalence Relations in a Datalog Compiler von 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 …”
Volltext

Subexponential concurrent constraint programming von 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 …”
Volltext

A constraint logic programming language for combinatorial optimization and linear programming von 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 …”
Volltext

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

“… A novel logic program like language, weight constraint rules, is developed for answer set programming purposes …”
Volltext

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification von 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 …”
Volltext

Constraint functional logic programming over finite domains von 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 …”
Volltext

An Automatically Verified Prototype of the Android Permissions System von 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 …”
Volltext