Abu-Hanna A., Benjamins R., & Jansweijer W. (1992). Device understanding and modeling for diagnosis. IEEE Expert 6(2), 26–32.
Bhatta S., Goel A., & Prabhakar S. (1994). Innovation in analogical design: A model-based approach. Proc. Third Int. Conf. Artif. Intell Design, pp. 57–74. Kluwer Academic, Boston.
Bylander T. (1991). A theory of consolidation for reasoning about devices. Man-Machine Stud. 35, 467–489.
Chandrasekaran B. (1994). Functional representation and causal processes. In Advances in Computers, (Yovits M., Ed.), pp. 73–143. Academic Press, New York.
Chandrasekaran B., Goel A., & Iwasaki Y. (1995). Functional representation as design rationale. IEEE Computer 48–56.
Chittaro L., Guida G.Tasso C., & Tappano E. (1993). Functional and telelogical knowledge in the multimodeling approach for reasoning about physical systems. IEEE Trans. Systems, Man and Cybern. 23(6), 1718–1751.
Davis R. (1984). Diagnostic reasoning based on structure and behavior. Artif. Intell. 24, 347–410.
de Kleer J. (1984). How circuits work. Artif. Intell. 24, 205–280.
Goel A. (1991). A model-based approach to case adaptation. Proc. Thirteenth Annu. Conf. Cognitive Science Soc. pp. 143–148.
Goel A. (1992). Representation of design functions in experience-based design. In Intelligent Computer Aided Design, (Brown D., Waldron M. and Yoshikawa H., Eds.), pp. 283–308. North-Holland, Amsterdam.
Goel A., & Chandrasekaran B. (1989). Functional representation of designs and redesign problem solving. Proc. Eleventh Int. Joint Conf. Artif. Intell, pp. 1388–1394. Morgan Kauffman, Los Altos, CA.
Goel A., & Chandrasekaran B. (1992). Case-based design: A task analysis. In Artificial Intelligence Approaches to Engineering Design, Volume II: Innovative Design, (Tong C. and Sriram D., Eds.), pp. 165–184. Academic Press, San Diego.
Goel A., Gomez A., Pittges J., Shankar M., & Stroulia E. (1994). A modelbased approach to redesign. Proc. Thirteenth SPIE Knowl. Based Systems. Conf., pp. 164–171.
Goel A., & Prabhakar S. (1994). A control architecture for redesign verification. Proc. 1994 Australian—New Zealand Intell. Inf. Sys. Conf. Brisbane, Australia, 377–381.
Govindaraj T. (1987). Qualitative approximation methodology for modeling and simulation of large dynamic systems: Applications to a marine power plant. IEEE Transact. Sys. Man and Cybern. SMC-17(6), 937–955.
Hawkins R., Sticklen J., McDowell J., Hill T., & Boyer R. (1994). Function-based modeling and troubleshooting. J. Applied Intell. 8(2), 285–302.
Hunt J., Pugh D., & Price C. (1995). Failure mode effects analysis: A practical application of functional modeling. J. Applied Intell. 9(1), 33–44.
Iwasaki Y., & Chandrasekaran B. (1992). Design verification through function- and behavior-oriented representation: Bridging the gap between function and behavior. Proc. Second Int. Conf. Artif. Intell. pp. 597–616. Kluwer Academic, Boston.
Iwasaki Y., Fikes R., Vescovi M., & Chandrasekaran B. (1993). How things are intended to work: Capturing functional knowledge in device design. Proc. 13th Int. Joint Conf. on Al, pp. 1516–1522, Morgan Kauffman, Los Altos, CA.
Keller R., Manago C., Nayak P., & Rua M. (1988). Large multi-use knowledge bases. Internal Memo, Knowledge Systems Laboratory, Stanford University.
Kumar A., & Upadhyaya S. (1995). Function-based discrimination during model-based diagnosis. J. Applied Intell 9(1), 65–80.
Larsson J. (1996). Diagnosis based on explicit means-ends models. Artif. Intell. 80, 29–93.
Lind M. (1994). Modeling goals and functions of complex industrial plants. J. Applied Intell. 8(2), 259–283.
Luk K., Stroulia E., & Goel A. (1995). A model-based approach to reasoning about cycles and fields. Proc. IJCA1–93 Workshop on AI in Design, Chambern, France (August, 1993), 36–41.
Navinchandra D., Sycara K., & Narasimhan S. (1991). Behavioral synthesis in CADET, a case-based design tool. Proc. Seventh IEEE Conf. Artif. Intell. Applications, pp. 217–221.
Rieger C., & Grinberg M. (1980). A system for cause-effect representation and simulation for computer-aided design. In Artificial Intelligence and Pattern Recognition in Computer-Aided Design, (Latombe J., Ed.), pp. 299–334. North Holland, Amsterdam, Netherlands.
Sembugamoorthy V., & Chandrasekaran B. (1986). Functional representation of devices and compilation of diagnostic problem solving systems. In Experience, Memory and Reasoning, (Kolodner J. and Riesbeck C., Eds.), pp. 47–73. Erlbaum, Hillsdale, NJ.
Stroulia E., & Goel A. (1992). Generic teleological mechanisms and their use in case adaptation. Proc. Fourteenth Annual Conf. of the Cognitive Science Soc., 319–324.
Stroulia E., & Goel A. (1994). A model-based approach to reflective learning. Proc. 1994 European Conf. Machine Leant., 287–306.
Stroulia E., & Goel A. (1995). Functional representation and reasoning in reflective systems. J. of Applied Intell. 9(1), 101–124.
Stroulia E., Shankar M., Goel A., & Penberthy L. (1992). A modelbased approach to blame assignment in design. Proc. Second Int. Conf. on AI in Design, pp. 519–538. Kluwer Academic Press, Boston.
Sun K., & Faltings B. (1994). Supporting creative mechanical design. Proc. Third Int. Conf. Artif. Intell. Design, Kluwer Academic, Boston.
Umeda Y., Takeda H., Tomiyama T., & Yoshikawa H. (1990). Function, behavior and structure. In Al in Engineering, (Gero J., Ed.), pp. 177–193. Springer-Verlag, Berlin.