Výsledky vyhľadávania - D.3.2 [Programming Languages] Language Classifications — Constraint and logic languages

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

Constraint Logic Programming for Natural Language Processing Autor Blache, Philippe, Hathout, Nabil

“…This paper proposes an evaluation of the adequacy of the constraint logic programming paradigm for natural language processing…”
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

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

Natural Language Processing with (Tabled and Constraint) Logic Programming Autor Kifer, Michael, Liu, Yanhong Annie

Získať plný text

A parallelization of the constraint logic programming language 2LP Autor Atay, Coskun

“… It is a small, compact language with C-like syntax that has been designed to run on various parallel architectures and it is the first parallel implementation of a Constraint Logic Programming (CLP) language…”
Získať plný text

Integration of Linear Constraints with a Temporal Logic Programming Language Autor Qian Ma, Zhenhua Duan, Mengfei Yang

“…This paper investigates the integration of linear constraints with MSVL. To this end, we first define linear constraint statements and discuss related issues of the incorporation…”
Získať plný text

First-order Logic as a Constraint Programming Language Autor Apt, K R, Vermeulen, C F M

“…We provide a denotational semantics for first-order logic that captures the two-level view of the computation process typical for constraint 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

Probabilistic Constraint Logic Programming. Formal Foundations of Quantitative and Statistical Inference in Constraint-Based Natural Language Processing Autor Riezler, Stefan

“… The first approach, called quantitative constraint logic programming, is conceptualized in a clear logical framework, and presents a sound and complete system of quantitative inference for definite…”
Získať plný text

The unification of functional and logic languages-towards constraint functional programming Autor Darlington, J., Guo, Y.

“… At the same time, logic programming can also be achieved by solving constraints over these domains…”
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

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

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

A visual logic programming language based on sets and partitioning constraints Autor Spratt, L., Ambler, A.

“…: it is a visual language, it is a logic programming language, it relies on sets to organize data, and it supports partitioning constraints on the contents of sets…”
Získať plný text