Journal of the ACM (JACM)
Micro-Planner Reference Manual
Micro-Planner Reference Manual
Assimilation of New Information by a Natural Language Understanding System
Assimilation of New Information by a Natural Language Understanding System
Qualitative Knowledge, Causal Reasoning, and the Localization of Failures
Qualitative Knowledge, Causal Reasoning, and the Localization of Failures
Truth Maintenance Systems for Problem Solving
Truth Maintenance Systems for Problem Solving
Dependency networks as a representation for modelling in general problem solvers.
Dependency networks as a representation for modelling in general problem solvers.
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
The 3 R's of optimizing constraint logic programs: refinement, removal and reordering
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraints: a uniform approach to aliasing and typing
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Functional programing and the logical variable
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Representation in CAD: Models and semantics
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Equational logic programming: an extension to equational programming
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Representation of factual information by equations and their evaluation
ICSE '82 Proceedings of the 6th international conference on Software engineering
History of programming languages---II
| Hi-index | 0.00 |
We present an interactive system organized around networks of constraints rather than the programs which manipulate them. We describe a language of hierarchical constraint networks. We describe one method of deriving useful consequences of a set of constraints which we call propagation. Dependency analysis is used to spot and track down inconsistent subsets of a constraint set. Propagation of constraints is most flexible and useful when coupled with the ability to perform symbolic manipulations on algebraic expressions. Such manipulations are in turn best expressed as alterations or augmentations of the constraint network. Numerous diagrams ornament the text.