Results 1  10
of
2,599,747
SubsetLogic Programming: Application and Implementation
 In Proceedings of the Fifth International Conference and Symposium on Logic Programming
, 1988
"... o Subsetlogic programming is a paradigm of programming with subset and equality assertions. We propose this paradigm as a logical basis for programming with sets. We p r~ent a language called SEL to illustrate the approach. The teriii3 of SEL arc the usual firstorder ten:Dll of Prolog, augmented w ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
o Subsetlogic programming is a paradigm of programming with subset and equality assertions. We propose this paradigm as a logical basis for programming with sets. We p r~ent a language called SEL to illustrate the approach. The teriii3 of SEL arc the usual firstorder ten:Dll of Prolog, augmented
Constraint Logic Programming: Applications and Implementation
, 1999
"... Logic Programming was born with the idea to attach a procedural behaviour to a logical description, such that declarative specifications become executable. This should help the user to concentrate on the correct specification of the problem instead of bothering about implementation details. Constrai ..."
Abstract
 Add to MetaCart
Constraint Logic Programming, CLP based on linear programming and CLP based on intervals. A second part of the thesis concentrates on applications of Constraint Logic programming. A first application concerns planning of maintenances in power plants. Several alternatives were investigated to solve
Logic Programming Applications for Educational Technology
"... There has been a dramatic increase in the number of people that wish to obtain higher education. Unfortunately, some of these people are unable to obtain this education due to difficulties caused by disabilities, distance or time constraints. This group of people still needs and should be provided t ..."
Abstract
 Add to MetaCart
There has been a dramatic increase in the number of people that wish to obtain higher education. Unfortunately, some of these people are unable to obtain this education due to difficulties caused by disabilities, distance or time constraints. This group of people still needs and should be provided the opportunity to gain higher education. Educational tools and environments need to adapt in order to accommodate these people given evolving Internet Technologies. One of the formidable challenges is creating an electronic educational environment that is conducive to learning. Research into educational technology has been increasing but unfortunately at a slower rate than the need for the new technologies. In the recent past, we have seen a transformation of educational support moving from audio conferencing to video conferencing to multimedia environments. With the advent of the Internet, multimedia educational environments seem to provide the optimal tool. Current research trends into t...
Abduction in Logic Programming
"... Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over th ..."
Abstract

Cited by 616 (76 self)
 Add to MetaCart
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over
A Logic Programming Application for the Analysis of Spanish Verse
 Computational Logic  CL 2000, First International Conference
, 2000
"... Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. The program uses DCG grammars to model the division of eachword into syllables, and additional predicates are employ ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. The program uses DCG grammars to model the division of eachword into syllables, and additional predicates
The Handbook of Parallel Constraint Logic Programming Applications
, 1995
"... This is the final technical deliverable of the APPLAUSE project. It provides a summary of the APPLAUSE technology and its implementation in ElipSys and ECL i PS e . It then includes a tutorial on how to use constraints and parallelism in ECL i PS e . The main part of the book contains descri ..."
Abstract
 Add to MetaCart
descriptions of the APPLAUSE applications summarizing the experience gathered in the course of the project. The book is targeted at potential users of parallel constraint logic programming (CLP) and ECL i PS e . It aims to encourage them to exploit the potential of parallel CLP by presenting the APPLAUSE
The Semantics Of Constraint Logic Programs
 JOURNAL OF LOGIC PROGRAMMING
, 1996
"... This paper presents for the first time the semantic foundations of CLP in a selfcontained and complete package. The main contributions are threefold. First, we extend the original conference paper by presenting definitions and basic semantic constructs from first principles, giving new and comp ..."
Abstract

Cited by 872 (14 self)
 Add to MetaCart
This paper presents for the first time the semantic foundations of CLP in a selfcontained and complete package. The main contributions are threefold. First, we extend the original conference paper by presenting definitions and basic semantic constructs from first principles, giving new and complete proofs for the main lemmas. Importantly, we clarify which theorems depend on conditions such as solution compactness, satisfaction completeness and independence of constraints. Second, we generalize the original results to allow for incompleteness of the constraint solver. This is important since almost all CLP systems use an incomplete solver. Third, we give conditions on the (possibly incomplete) solver which ensure that the operational semantics is confluent, that is, has independence of literal scheduling.
Constraint Logic Programming: A Survey
"... Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Although a relatively new field, CLP has progressed in several quite different directions. In particular, the early fundamental concepts have been adapted to better serve in differe ..."
Abstract

Cited by 864 (25 self)
 Add to MetaCart
Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Although a relatively new field, CLP has progressed in several quite different directions. In particular, the early fundamental concepts have been adapted to better serve
The Stable Model Semantics For Logic Programming
, 1988
"... We propose a new declarative semantics for logic programs with negation. Its formulation is quite simple; at the same time, it is more general than the iterated fixed point semantics for stratied programs, and is applicable to some useful programs that are not stratified. ..."
Abstract

Cited by 1831 (66 self)
 Add to MetaCart
We propose a new declarative semantics for logic programs with negation. Its formulation is quite simple; at the same time, it is more general than the iterated fixed point semantics for stratied programs, and is applicable to some useful programs that are not stratified.
Results 1  10
of
2,599,747