Henk Vandecasteele  Home/Search
Context Related
| cs.kuleuven.ac.be/~dtai/p...21836.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kuleuven.ac.be/...1999E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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. Constraint Logic Programming is a branch of Logic Programming designed for tackling combinatorial problems. These problems can be found mainly within scheduling and planning. Examples are rostering,... (Update)
Context of citations to this paper: More
.... As a consequence, the straightforward port of a Prolog application to Mercury does not always result in the anticipated speed up [20,19]. While Mercury does provide destructive input unique output modes, their use is cumbersome and does not t the declarative programming...
.... [18] and then reported in [4] where a rst attempt was done for integrating the SLDNFA proof procedure with the CLP system ROPE [23, 22]. This early system needed 24 hours to reduce the problem to a constraint store. Later on, in [22] several di erent direct encodings in...
Cited by: More
MROPE II: A Finite Domain Solver on top of Mercury - Vandecasteele (1999) (Correct)
A Finite Domain CLP Solver on Top of Mercury - Vandecasteele, Demoen, Janssens (Correct)
Logic Programming Approaches for Representing and Solving .. - Pelov, De Mot, Denecker (2000) (Correct)
Active bibliography (related documents): More All
0.5: Rule Allocation in Distributed Deductive Database Systems - Mohania, Sarda (1994) (Correct)
0.1: Consistency Techniques for Linear Arithmetic and Functional.. - Zhang (1998) (Correct)
0.1: Compiling Constraints in clp(FD) - Codognet, Diaz (1996) (Correct)
Similar documents based on text: More All
4.5: Reference Architecture For Holonic Manufacturing Systems - the key .. - Wyns (1998) (Correct)
2.1: Homotopy Continuation Methods For Solving Polynomial Systems - Verschelde (1995) (Correct)
1.8: Krylov Convergence Acceleration And Domain Decomposition Methods .. - Goossens (2000) (Correct)
Related documents from co-citation: More All
3: Constraint Satisfaction in Logic Programming (context) - VanHentenryck - 1989
2: Implementing a nite-domain CLP-language on top of Prolog: a transformational app.. (context) - Vandecasteele, De Schreye - 1994
2: The Mercury language reference manual - Henderson, Conway et al. - 1996
BibTeX entry: (Update)
H. Vandecasteele. Constraint Logic Programming: Applications and Implementation. PhD thesis, Department of Computer Science, K.U. Leuven, May 1999. http://citeseer.ist.psu.edu/vandecasteele99constraint.html More
@misc{ vandecasteele99constraint,
author = "H. Vandecasteele",
title = "Constraint Logic Programming: Applications and Implementation",
text = "H. Vandecasteele. Constraint Logic Programming: Applications and Implementation.
PhD thesis, Department of Computer Science, K.U. Leuven, May 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/vandecasteele99constraint.html" }
Citations (may not include all citations):395 An abstract Prolog instruction set (context) - Warren - 1983
73 Generating semantic descriptions from drawing of scenes with.. (context) - Waltz - 1972
54 A generic arc-consistency algorithm and its specializations - Van Hentenryck, Deville et al. - 1992 ACM DBLP
44 Numerica: a modeling language for global optimization - Van Hentenryck, Laurent et al. - 1997
43 Sem: a system for enumerating models (context) - Zhang, Zhang - 1995
32 Constraint processing in cc (context) - Van Hentenryck, Saraswat et al. - 1991
32 Constraint processing in cc (context) - Van Hentenryck, Saraswat et al. - 1992
24 implementation and evaluation of the constraint language cc (context) - Van Hentenryck, Saraswat et al. - 1993
11 Static Termination Analysis for Definite Horn Clause Program.. (context) - Verschaetse - 1992
2 The use of mercury for the implementation of a finite domain.. - Vandecasteele, Demoen et al. - 1996
2 Linear and Integer Programming (context) - Zionts - 1974
1 Opzoek naar modelleringstecnieken voor een planningsprobleme.. (context) - Verheyden - 1995
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/1999-E.shtml): More
Simultaneous prediction of multiple chemical parameters .. - Blockeel, Dzeroski.. (1999) (Correct)
Constraint-based Termination Analysis of Logic Programs - Decorte, De Schreye.. (1999) (Correct)
Adaplix: Towards Adaptive Websites - Jacobs (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC