π-Resolution in Design Space Exploration

In studying the phenomenon of design we use models to envision mechanisms by which computers might support design. In one such model we understand design as guided movement through a space of possibilities. Design space explorers embody this model as mixed-initiative environments in which designers engage in exploration via human computer interaction.

[1]  C. Carlson.  Grammatical programming: an algebraic approach to the description of design spaces , 1993 .

[2]  Robert Woodbury,et al.  Software Environment to Support Early Phases in Building Design (SEED): Overview , 1995 .

[3]  R. Wille.  Concept lattices and conceptual knowledge systems , 1992 .

[4]  Bob Carpenter,et al.  The logic of typed feature structures , 1992 .

[5]  Andreas Podelski,et al.  Towards a Meaning of LIFE , 1991, J. Log. Program..

[6]  Teng-Wen Chang,et al.  Typed feature structures and design space exploration , 1999, Artif. Intell. Eng. Des. Anal. Manuf..

[7]  A. Gupta,et al.  An object-oriented representation for product and process , 1998 .

[8]  Bjarne Stroustrup,et al.  The Annotated C++ Reference Manual , 1990 .

[9]  Andrew P. Witkin,et al.  Interactive physically-based manipulation of discrete/continuous models , 1995, SIGGRAPH.

[10]  Ram D. Sriram,et al.  An object-oriented representation for product and design processes , 1998, Comput. Aided Des..

[11]  Robert Woodbury,et al.  Massing and Enclosure Design with SEED-Config , 1995 .

[12]  Jeff Heisserman.  Generative geometric design , 1994, IEEE Computer Graphics and Applications.

[13]  Patrick Lincoln,et al.  Efficient implementation of lattice operations , 1989, TOPL.

[14]  G. Stiny.  Introduction to Shape and Shape Grammars , 1980 .

[15]  L March.  Theme issue: design and language , 1981 .

[16]  Seth Copen Goldstein,et al.  Order Sorted Feature Theory Unification , 1993, J. Log. Program..