(University of London) Department of Computing Constraint-Logic Based...  Home/Search
Context
Related
| soi.city.ac.uk/~nicos...mscthesis.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: soi.city.ac.uk/~nicos/h...written (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This work is an attempt to bring forward and amalgamate a number of different technologies. Our motivation originates in extending the classical Logic Programming paradigm for effective reasoning over disjunctive information. In doing so we take aboard notions from the area of constraint satisfaction. We generalise these notions by allowing user-defined constraint rules. The level of programming required from the user is further abstracted by allowing experimentation with different control... (Update)
Active bibliography (related documents): More All
2.4: Constraint-Logic Based Approach To Scheduling - Angelopoulos (1993) (Correct)
0.2: Open Architecture for CLP - Meier, Brisset (1995) (Correct)
0.2: Control in ECLiPSe - Meier, Schimpf (1995) (Correct)
Similar documents based on text: More All
0.1: Constraint-based Frame Model for Workflow Management Systems - Ulrich John Research (Correct)
0.1: Magnetotail Flow Bursts: Association to Global.. - Angelopoulos.. (Correct)
0.1: Contribution Structures for Requirements Traceability - Gotel (1995) (Correct)
BibTeX entry: (Update)
@misc{ london-imperial,
author = "University Of London",
title = "Imperial College of Science, Technology and Medicine",
url = "citeseer.ist.psu.edu/605581.html" }
Citations (may not include all citations):702 Consistency in networks of relations (context) - Mackworth - 1977
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
267 The constraint logic programming language CHIP (context) - Dincbas, Van Hentenryck et al. - 1988
261 An introduction to Prolog III (context) - Colmerauer - 1990
214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
152 Introduction to Sequencing and Scheduling (context) - Baker - 1974
93 The shifting bottleneck procedure for job shop scheduling (context) - Adams, Balas et al. - 1988
69 Sequencing and Scheduling: An Introduction to the Mathematic.. (context) - French - 1982
66 Methodology and implementation of a CLP system (context) - Jaffar, Michaylov - 1987
59 Communications of the ACM (context) - Kowalski, Logic - 1979
41 Algorithms for solving production scheduling problems (context) - Giffler, Thompson - 1960
40 New search spaces for sequencing problems with application t.. (context) - Storer, Wu et al. - 1992
30 A dynamic programming approach to sequencing problems (context) - Held, Karp - 1962
20 Applying constraints for scheduling (context) - Wallace - 1993
19 A Logic Programming language based on the Andorra model (context) - Haridi - 1990
11 The Cardinality Operator: A new logical connective and its a.. (context) - Van Hentenryck, Deville - 1991
11 Enumerative and iterative computational approaches (context) - Kohler, Steiglitz - 1976
7 Essentials of Logic Programming (context) - Hogger - 1990
4 Terminological reasoning with constraint handling rules - Fruehwirth, Hanschke - 1993
2 The framework applied to planning (context) - Herring - 1993
2 A critical path analysis program (context) - Kriwaczek - 1984
2 Optimal two- and tree-stage production schedules with set-up.. (context) - Johnson - 1954
2 Hierharchical arc consistency for disjoint real intervals in.. (context) - Sidebottom, Havens - 1992
Documents on the same site (http://www.soi.city.ac.uk/~nicos/hp/wo/written.html):
Implementing Randomised Algorithms in Constraint Logic .. - Angelopoulos, Di.. (1998) (Correct)
The Problem With the Three Curtains - Nicos September Motivation (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