A generative constraint formalism for configuration problems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 728 LNAI, Issue , 1993, Pages 302-313

  Stumptner, Markus ^a   Haselböck, Alois ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

COMPONENT-ORIENTED; CONSTRAINT NETWORKS; CONSTRAINT SATISFACTION; CONSTRAINT SYSTEMS; INTERACTION OF COMPONENTS; NONLOCAL; RESOURCE CONSTRAINT;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 85014496026     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57292-9_68     Document Type: Conference Paper

References (11)

1. James Bowen and Dennis Bahler. Conditional existence of variables in generalized constraint networks. In Proc. AAAI Conf., pages 215–220, 1991.
2. R. Cunis, A. Günter, I. Syska, H. Bode, and H. Peters. Plakon — an approach to domain-independent construction. In Proc. IEA/AIE Conf., Tennessee, 1989. UTSI.
3. Rina Dechter. Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition. Artificial Intelligence, 41(3):273–312, 1990.
4. Robert M. Haralick and Gordon L. Elliott. Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence, 14:263–313, 1980.
5. M. Heinrich and E.W. Jüngst. A resource-based paradigm for the configuring of technical systems from modular components. In Proc. CAIA, pages 257–264, February 1991.
6. Alois Haselböck and Markus Stumptner. An integrated approach for modelling complex configuration domains. In Proc. of the 13th Int. Conf. on Expert Systems, AI, and Natural Language, Avignon, May 1993.
7. Sanjay Mittal and Agustin Araya. A knowledge-based framework for design. In Proceedings AAAI Conference, pages 856–865, 1986.
8. John McDermott. R1: A rule-based configurer of computer systems. Artificial Intelligence, 19:39–88, 1982.
9. Sanjay Mittal and Felix Frayman. Making partial choices in constraint reasoning problems. In Proceedings AAAI Conference, pages 631–636, July 1987.
10. Sanjay Mittal and Felix Frayman. Towards a generic model of configuration tasks. In Proc. 11 th IJCAI, pages 1395–1401. Morgan Kaufmann Publishers, Inc., August 1989.
11. Sanjay Mittal and Brian Falkenhainer. Dynamic constraint satisfaction problems. In Proceedings AAAI Conference, pages 25–32, August 1990.