Suchergebnisse - "constraint logic programming languages"

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

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

Fuzzy order-sorted feature logic von Milanese, Gian Carlo, Pasi, Gabriella

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

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

“… Spatial layout planning generates two-dimensional layouts consisting of a configuration of rectangles. Our new method represents the rectangles as inconsistent …”
Volltext

Programming with partially specified aggregates in Java von Bergenti, F., Chiarabini, L., Rossi, G.

“… ) logic programming languages it is common to deal with partially specified aggregates where either some elements or some parts of the aggregate are left unknown …”
Volltext

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

“… 2LP is a modeling and control language for applications in Operations Research and Artificial Intelligence developed at the Logic Based Systems Laboratory at …”
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), an instance …”
Volltext

Fuzzy order-sorted feature logic von Milanese, Gian Carlo, Pasi, Gabriella

“… The unification algorithm for such structures provides an efficient calculus of type subsumption, which has been applied in computational linguistics and implemented in constraint logic programming …”
Volltext

Radio Link Frequency Assignment von Cabon, B., de Givry, S., Lobjois, L., Schiex, T., Warners, J.P.

“… ) starting from data on a real network Roisnel93. Initially designed for assessing the performances of several Constraint Logic Programming languages, these benchmark …”
Volltext

Theory and practice of constraint handling rules von Fruehwirth, Thom

“… with constraint logic programming languages. This survey then describes implementations of the language before we review several constraint solvers – both traditional and nonstandard ones – written in the CHR language. Finally we introduce two innovative applications that benefited from using CHR …”
Volltext

Foundations of aggregation constraints von Ross, Kenneth A., Srivastava, Divesh, Stuckey, Peter J., Sudarshan, S.

“… We introduce a new constraint domain, aggregation constraints, that is useful in database query languages, and in constraint logic programming languages that incorporate aggregate functions …”
Volltext

An extended constraint deductive database: Theory and implementation von Aranda-López, Gabriel, Nieva, Susana, Sáenz-Pérez, Fernando, Sánchez-Hernández, Jaime

Volltext

Temporal Annotated Constraint Logic Programming von FRÜHWIRTH, THOM

“… We introduce a family of logics and associated programming languages for representing and reasoning about time. The family is conceptually simple while …”
Volltext

Some logic and related formalisms, programming paradigms, and development environments for the (new) AI von Cubrilo, M.

“… Since its very beginnings, AI has more or less developed in parallel with two lines of research method paradigms. The first paradigm could be called …”
Volltext

Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators von Falaschi, Moreno, Gabbrielli, Maurizio, Marriott, Kim, Palamidessi, Catuscia

“… Such languages include constraint logic programming languages, since most implementations of these languages delay constraints which are “too hard …”
Volltext

Declarative Programming with Intensional Sets in Java Using JSetL von Cristiá, Maximiliano, Fois, Andrea, Rossi, Gianfranco

“… ) unification and constraints that are typical of constraint logic programming languages into the Java language …”
Volltext

Mechanising shared configuration and diagnosis theories through constraint logic programming von Sharma, Nirad, Colomb, Robert

“… We show how constraint logic programming languages provide a flexible environment in which constraint-based specifications can be effectively shared and efficiently mechanised by exploiting …”
Volltext

Algebraic and logical semantics for CLP languages with dynamic scheduling von Marriott, Kim

“… The first logic programming languages, such as Prolog, used a fixed left-to-right atom scheduling rule. Unfortunately, this meant that programs written in a …”
Volltext

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems von Angelopoulos, Nicos, Bagnara, Roberto

“… for (Constraint) Logic Programming Languages held in Port Jefferson (1997), Manchester (1998), Las Cruces (1999), and London (2000), and more recently …”
Volltext