Research in music and artificial intelligence
ACM Computing Surveys (CSUR)
Animated graphical interfaces using temporal constraints
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Defining constraints graphically
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Constraint-based tools for building user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Design of a dependency-directed compiler for constraint propagation
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Towards a compiler for a constraint language
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
The design of LINETOOL, a geometric editor
SCG '88 Proceedings of the fourth annual symposium on Computational geometry
A module mechanism for constraints in Smalltalk
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Constraint logic programming languages
Communications of the ACM
A methodology for managing hard constraints in CLP systems
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Applying domain and design knowledge to requirements engineering
ACM SIGOIS Bulletin - Special issue on information system design support tools
Geometric programming: a programming approach to geometric design
ACM Transactions on Graphics (TOG)
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A modular architecture for constraint logic programming
CSC '91 Proceedings of the 19th annual conference on Computer Science
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Supporting organizational problem solving with a work station
ACM Transactions on Information Systems (TOIS)
Consul: A Parallel Constraint Language
IEEE Software
KBRA: A New Paradigm for Requirements Engineering
IEEE Expert: Intelligent Systems and Their Applications
Developing Formal Specifications from Informal Requirements
IEEE Expert: Intelligent Systems and Their Applications
PREDICTE - An Intelligent System for Indicative Construction Time Estimation
IAAI '90 Proceedings of the The Second Conference on Innovative Applications of Artificial Intelligence
FORK: A System for Object- and Rule-Oriented Programming
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Graphically defining new building blocks in ThingLab
Human-Computer Interaction
The use of parallelism to implement a heuristic search
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Uniform: a language based upon unification which unifies (much of) LISP, Prolog, and Act 1
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
How to discover a knowledge representation for causal reasoning by studying an expert physician
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
A universal programming language
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Nondeterministic lisp as a substrate for constraint logic programming
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A survey on reactive programming
ACM Computing Surveys (CSUR)
| Hi-index | 0.02 |
The constraint paradigm is a model of computation in which values are deduced whenever possible, but deductions must be {\it local}. One may visualize a constraint ``program" as a network of devices connected by wires. Data values may flow along the wires, and computation is performed by the devices, which use only locally available information (with a few exceptions), and places newly derived values on other, locally attached wires. In this way computed values are {\it propagated}. Advantages and disadvantages of the constraint paradigm are discussed, and a number of implementations of its programming languages are presented. The goal approached, though not quite reached, is a complete programming system which will implicitly support the constraint paradigm to the same extent that LISP, say, supports automatic storage management.