Hierarchical Constraint Logic Programming

Hierarchical Constraint Logic Programming (1993)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Molly Ann Wilson

Citations:

67 - 3 self

BibTeX

@MISC{Wilson93hierarchicalconstraint,
    author = {Molly Ann Wilson},
    title = {Hierarchical Constraint Logic Programming},
    year = {1993}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

A constraint describes a relation to be maintained

Citations

1739	Foundations of logic programming - Lloyd
1471	Numerical Recipes in C: The Art of Scientific Computing - Press, Flannery, et al. - 1992
1263	The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
1247	A logic for default reasoning - Reiter - 1980
918	Consistency in networks of relations - Mackworth - 1977
855	Negation as Failure - Clark - 1978
742	Constraint logic programming - Jaffar, Lassez - 1987
732	Circumscription - A Form of Non-Monotonic Reasoning - McCarthy - 1980
641	Predicate logic as a programming language - Kowalski - 1974
585	The Art of Prolog - Sterling, Shapiro - 1986
570	Towards a theory of declarative knowledge - Apt, Blair, et al. - 1988
466	Sketchpad: A man-machine graphical communications system - Sutherland - 1963
390	Partial constraint satisfaction - Freuder, Wallace - 1992
364	Constraint satisfaction in logic programming - Hentenryck - 1989
274	An introduction to Prolog III - Colmerauer - 1990
274	The CLP(R) Language and System - ar, Michaylow, et al. - 1992
249	The constraint logic programming language CHIP, Fifth Generation Computer Systems - Dincbas, Hentenryck, et al. - 1988
241	On the declarative semantics of deductive databases and logic programs - Przymusinski - 1998
235	Semantic foundations of concurrent constraint programming - Saraswat, Rinard, et al. - 1991
217	Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis - Stallman, Sussman - 1977
214	Reasoning about Change. Time and causation from the standpoint of artificial intelligence - Shoham - 1988
192	Garnet: Comprehensive support for graphical, highly interactive user interfaces - Myers, Giuse, et al. - 1990
188	W: Decision analysis and behavioral research - Winterfeldt, Edwards - 1986
187	The programming language aspects of thinglab, a constraint-oriented simulation laboratory - Borning - 1981
182	Concurrent Constraint Programming Languages - Saraswat - 1989
180	Preferred subtheories: An extended logical framework for default reasoning - Brewka - 1989
158	Structural description and inexact matching - Shapiro, Haralick - 1981
148	Revisions of Knowledge Systems Using Epistemic Entrenchment - Gardenfors, Makinson - 1988
145	Constraint-Directed Search: A Case Study of Job Shop Scheduling - Fox - 1983
137	Constraint hierarchies - Borning, Duisberg, et al. - 1987
134	Non-Standard Analysis - Robinson - 1980
125	Logic Semantics for a Class of Committed-choice Programs - Maher - 1987
108	An Incremental Constraint Solver - Freeman-Benson, Maloney, et al. - 1990
88	Constraint logic programming languages - Cohen - 1990
82	Multi-way versus one-way constraints in user interfaces: experiences with the Deltablue algorithm - Sannella, Maloney, et al. - 1993
78	Methodology and Implementation of a CLP System - Jaffar, Michaylov - 1987
66	Constraint Hierarchies and Logic Programming - Borning, Maher, et al. - 1989
64	The Definition and Implementation of a Computer Programming Language Based on Constraints - Steele - 1980
49	Concurrent prolog: a progress report, in - Shapiro - 1987
45	Nonmonotonic temporal reasoning - Sandewall, Shoham - 1994
40	Deriving Properties of Belief Update from Theories of Actions (II - Val, Shoham - 1993
39	a constraint-based graphics system - Juno - 1985
36	An object-oriented approach to graphical interfaces - Barth - 1986
36	The SkyBlue Constraint Solver - Sannella - 1993
35	On integrity constraints - Reiter - 1988
34	Integrating Constraints with an Object-Oriented Language - Freeman-Benson, Borning - 1992
34	A general framework for visualizing abstract objects and relations - Kamada, Kawai - 1991
34	Constraint Programming Languages - Leler - 1987
30	A user interface toolkit based on graphical objects and constraints - Szekely, Myers - 1988
30	A general framework for bidirectional translation between abstract and pictorial data - Matsuoka, Takahashi, et al. - 1992