Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems.

Constraint (Intelligence aritificielle) --- Constraints (Artificial intelligence) --- Gedwongenheid (Artificiële intelligentie) --- Logic programming --- Logisch programmeren --- Logische programmering --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- Systeemanalyse --- System analysis --- Systèmes [Analyse des ] --- Congresses. --- Computer science. --- Software engineering. --- Artificial intelligence. --- Logic design. --- Programming Techniques. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering --- Informatics --- Science --- Logic programming - Congresses --- Constraints (Artificial intelligence) - Congresses. --- System analysis - Congresses.