MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Hierarchical Constraint Logic Programming (1993) [66 citations — 4 self]

by Molly Ann Wilson ,  Molly Ann Wilson ,  Chairperson Supervisory ,  Committee Professor ,  Alan H. Borning
Add To MetaCart

Abstract:

A constraint describes a relation to be maintained

Citations

1628 Foundations of Logic Programming – Lloyd
1131 Numerical Recipes in C: The art of scientific computing – Press, Teukolsky, et al. - 1992
1122 The Stable Model Semantics for Logic Programming – GELFOND, LIFSCHITZ - 1988
863 Consistency in networks of relations – Mackworth - 1977
774 Negation as failure – Clark - 1978
710 The semantics of constraint logic programs – Jaffar, Maher, et al. - 1998
605 The semantics of predicate logic as a programming language – Emden, Kowalski - 1976
550 The Art of Prolog – Sterling, Shapiro - 1994
542 Towards a Theory of Declarative Knowledge – Apt, Blair, et al. - 1988
407 Sketchpad, A Man-Machine Graphical Communication System – Sutherland - 1963
383 R.: Ordinal constraint satisfaction – Freuder, Wallace, et al. - 2003
346 Constraint satisfaction in Logic programming – Hentenryck - 1989
265 The CLP(R) language and system – Jaffar, Michaylov, et al. - 1992
262 An introduction to PROLOGIII – Colmerauer - 1990
238 The constraint logic programming language CHIP – Dincbas, Hentenryck, et al. - 1988
226 On the declarative semantics of deductive databases and logic programs – Przymusinski - 1988
226 Semantic foundation of concurrent constraint programming – Saraswat, Rinard, et al. - 1991
205 Forward reasoning and dependencydirected backtracking in a system for computer-aided circuit analysis – Stallman, Sussman - 1977
203 Reasoning about Change: time and causation from the stand point of arti cial intelligence – Shoham - 1986
181 The programming language aspects of ThingLab, a constraint oriented simulation laboratory – Borning, H - 1981
181 Garnet: Comprehensive support for graphical, highly-interactive user interfaces – Myers, Giuse, et al. - 1990
177 Concurrent Constraint Programming Languages – Saraswat - 1993
161 Preferred subtheories : An extended logical framework for default reasoning – Brewka - 1989
143 Structural description and inexact matching – Shapiro, Haralick - 1981
136 Constraint-Directed Search: A Case Study of Job-Shop Scheduling – Fox - 1983
135 Decision analysis and behavioral research – Winterfeldt, Edwards - 1986
131 Revisions of Knowledge Systems using Epistemic Entrenchment – Gärdenfors, Makinson - 1988
130 M.: Constraint hierarchies – Borning, Freeman-Benson, et al. - 1992
130 Logic semantics for a class of committed-choice programs – Maher - 1987
109 An incremental constraint solver – Freeman-Benson, Maloney, et al. - 1990
91 Non-Standard Analysis – Robinson - 1980
85 Constraint logic programming languages – Cohen - 1990
81 Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm – Sannella, Freeman-Benson, et al. - 1992
79 Methodology and Implementation of a CLP System – Jaffar, Michaylov - 1987
67 Constraint hierarchies and logic programming – Borning, Maher, et al. - 1989
62 The definition and implementation of a computer programming language based on constraints – Steele - 1980
48 Concurrent Prolog: A Progress Report – Shapiro - 1986
42 Non-monotonic Temporal Reasoning – Sandewall, Shoham - 1995
40 Deriving properties of belief update from theories of action – Val, A, et al. - 1993
39 a Constraint-Based Graphics System – Juno - 1985
38 The SkyBlue Constraint Solver – Sannella - 1993
36 An Object-Oriented Approach to Graphical Interfaces – Barth - 1986
35 Constraint Programming Languages – Leler - 1988
31 A General Framework for Visualizing Abstract Objects and Relations – Kamada, Kawai - 1991
30 Integrating constraints with an object-oriented Language – Freeman-Benson, A - 1992
30 A user interface toolkit based on graphical objects and constraints – Szekely, Myers - 1988
29 Algebraic Constraints – Gosling - 1983
29 On integrity constraints – Reiter - 1987
29 A general framework for bidirectional translation between abstract and pictorial data – MATSUOKA, TAKAHASHI, et al. - 1992
29 A high level language for specifying pictures – Wyk - 1982
View or Download | Add to My Collection | Correct Errors