Výsledky vyhledávání - D.3.2 [Programming Languages] Language Classifications — Constraint and logic languages
-
1
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”
ISSN: 1383-7133, 1572-9354Vydáno: Heidelberg Springer 01.01.2004Vydáno v Constraints : an international journal (01.01.2004)Získat plný text
Journal Article -
2
Constraint Logic Programming for Natural Language Processing
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 05.04.1995Vydáno v arXiv.org (05.04.1995)“…This paper proposes an evaluation of the adequacy of the constraint logic programming paradigm for natural language processing…”
Získat plný text
Paper -
3
A constraint logic programming language for combinatorial optimization and linear programming
ISBN: 0818621354, 9780818621352Vydáno: IEEE Comput. Soc. Press 1991Vydáno v Artificial Intelligence Applications 7th Conference (1991)“…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
Konferenční příspěvek -
4
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages
ISSN: 0096-0551Vydáno: Elsevier Ltd 01.10.1999Vydáno v Computer languages (01.10.1999)“… 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
Journal Article -
5
Natural Language Processing with (Tabled and Constraint) Logic Programming
ISBN: 1970001968, 9781970001969Vydáno: United States Association for Computing Machinery 2018Vydáno v Declarative Logic Programming (2018)Získat plný text
Kapitola -
6
A parallelization of the constraint logic programming language 2LP
ISBN: 9798207776088Vydáno: ProQuest Dissertations & Theses 01.01.1992“… 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ískat plný text
Dissertation -
7
Integration of Linear Constraints with a Temporal Logic Programming Language
Vydáno: IEEE 01.07.2013Vydáno v 2013 International Symposium on Theoretical Aspects of Software Engineering (01.07.2013)“…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ískat plný text
Konferenční příspěvek -
8
First-order Logic as a Constraint Programming Language
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 19.11.2002Vydáno v arXiv.org (19.11.2002)“…We provide a denotational semantics for first-order logic that captures the two-level view of the computation process typical for constraint programming…”
Získat plný text
Paper -
9
A constraint logic programming language keyed CLP and its applications to decision making problems in OR/MS
ISSN: 0167-9236, 1873-5797Vydáno: Amsterdam Elsevier B.V 01.07.1995Vydáno v Decision Support Systems (01.07.1995)“… 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
Journal Article -
10
Probabilistic Constraint Logic Programming. Formal Foundations of Quantitative and Statistical Inference in Constraint-Based Natural Language Processing
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 30.08.2000Vydáno v arXiv.org (30.08.2000)“… 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ískat plný text
Paper -
11
The unification of functional and logic languages-towards constraint functional programming
Vydáno: IEEE 1989Vydáno v Fourth IEEE Region 10 International Conference TENCON (1989)“… At the same time, logic programming can also be achieved by solving constraints over these domains…”
Získat plný text
Konferenční příspěvek -
12
COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation System
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 07.11.2023Vydáno v arXiv.org (07.11.2023)“… 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
Paper -
13
Automatic spatial layout planning system using a second-generation constraint logic programming language
ISSN: 0957-4174, 1873-6793Vydáno: Elsevier Ltd 01.11.1997Vydáno v Expert Systems with Applications (01.11.1997)“… 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
Journal Article -
14
A new probabilistic constraint logic programming language based on a generalised distribution semantics
ISSN: 0004-3702, 1872-7921Vydáno: Elsevier B.V 01.11.2015Vydáno v Artificial intelligence (01.11.2015)“… We tackle this problem by developing a generalised distribution semantics for a new probabilistic constraint logic programming language…”
Získat plný text
Journal Article -
15
A visual logic programming language based on sets and partitioning constraints
ISBN: 0818639709, 9780818639708Vydáno: IEEE Comput. Soc. Press 1993Vydáno v Visual Languages, '93 IEEE Symposium On (1993)“…: 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ískat plný text
Konferenční příspěvek

