References

Aben, 1995

Aben, M. (1995). Formal Methods in Knowledge Engineering. PhD thesis, SWI, University of Amsterdam.

Benjamins et al., 1996

Benjamins, R., , Fensel, D., and Straatman, R. (1996). Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering. In 12th European Conference on Artificial Intelligence (ECAI-96).

Benjamins and Pierret-Golbreich, 1996

Benjamins, R. and Pierret-Golbreich, C. (1996). Assumptions of Problem-Solving Methods. In 6th Workshop on Knowledge Engineering: Methods & Languages.

Brachman and Schmolze, 1985

Brachman, R. and Schmolze, J. (1985). An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171--216.

Breuker and Van de Velde, 1994

Breuker, J. and Van de Velde, W. e. (1994). The Common KADS Library. Technical report, University of Amsterdam and Free University of Brussels.

Brill, 1993

Brill, D. (1993). Loom Reference Manual, Version 2.0. University of Southern California.

Chandrasekaran, 1983

Chandrasekaran, B. (1983). Towards a Taxonomy of Problem Solving Types. AI Magazine, 4(1):9--17.

Clancey, 1985

Clancey, W. (1985). Heuristic Classification. Artificial Intelligence, 1(27):289--350.

Clancey, 1992

Clancey, W. (1992). Model Construction Operators. Artificial Intelligence, 7(53):1--115.

Coelho and Lapalme, 1995

Coelho, E. and Lapalme, G. (Montreal, August, 1995). Extending Ontolingua for Representing Control Knowledge. In IJCAI Workshop on Basic Ontological Issues in Knowledge Sharing.

Coelho et al., 1996

Coelho, E., Lapalme, G., and Patel, V. (1996). From KADS Models to Operational Problem-Solving Methods: Perspectives in the Domain View. In 6th Workshop on Knowledge Engineering: Methods & Languages.

Eshelman, 1988

Eshelman, L. (1988). MOLE: A Knowledge-Acquisition Tool for Cover-and-Differentiate Systems. In Marcus, S., editor, Automating Knowledge Acquisition for Expert Systems, chapter 3, pages 37--79. Boston: Kluwer Academic Publishers.

Fensel, 1995

Fensel, D. (1995). A Case Study: Assumptions and Limitations of a Problem-Solving Method. Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95).

Genesereth and Fikes, 1992

Genesereth, M. and Fikes, R. (1992). Knowledge Interchange Format, Version 3.0, Computer Science Department, Stanford University edition.

Gennari et al., 1993

Gennari, J., Tu, S. W., Rothenfluh, T. E., and Musen, M. A. (1993). Mapping domains to methods in support of reuse. In Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Workshop.

Gruber, 1992

Gruber, T. (1992). Ontolingua: A mechanism to support portable ontologies. Technical report, Technical Report KSL91-66, Stanford University, Knowledge Systems Laboratory.

Gruber, 1993a

Gruber, T. (1993a). Towards principles for the design of ontologies used for knowledge sharing. Technical report, Technical Report KSL93-04, Stanford University, Knowledge Systems Laboratory.

Gruber, 1993b

Gruber, T. (1993b). A translation approach to portable ontology specifications. Knowledge Acquisition, 2(5):199--220.

Gruber et al., 1994

Gruber, T., Runkel, J. T., and Olsen, G. (1994). VT Domain Ontology. Available in ftp://ksl.stanford.edu/pub/knowledge-sharing/ontologies/.

Guarino, 1995

Guarino, N. (1995). Formal ontology, conceptual analysis and knowledge representation. International Journal Human-Computer Studies, 43(5):625--640.

Marcus, 1988

Marcus, S. (1988). SALT: A Knowledge-Acquisition Tool for Propose-and-Revise Systems. In Marcus, S., editor, Automating Knowledge Acquisition for Expert Systems, pages 81--123. Boston: Kluwer Academic Publishers.

McDermott, 1988

McDermott, J. (1988). Preliminary steps toward a taxonomy of problem-solving methods. In Marcus, S., editor, Automating Knowledge Acquisition for Expert Systems, chapter 8, pages 225--256. Boston: Kluwer Academic Publishers.

Motta et al., 1994

Motta, E., O'Hara, K., Shadbolt, N., Stutt, A., and Zdrahal, Z. (1994). A VITAL Solution to the Sisyphus II Elevator Design Problem . 8th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'94).

Motta and Zdrahal, 1995

Motta, E. and Zdrahal, Z. (1995). The Problem with What: Issues in method-independent task specifications. 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95).

Musen et al., 1994

Musen, M., Gennari, J., Eriksson, H., Tu, S., and Puerta, A. (1994). PROTÉGÉ-II: Computer Support for Development of Intelligent Systems From Libraries of Components (Tech. Rep. Nr. KSL-94-60). Technical report, Stanford University, Knowledge Systems Laboratory.

Neches et al., 1991

Neches, R., Fikes, R., Finin, T., Gruber, T., Patil, R., Senator, T., and Swartout, W. R. (1991). Enabling technology for knowledge sharing. AI Magazine, 12(3):16--36.

Newell, 1982

Newell, A. (1982). The Knowledge Level. Artificial Intelligence, 1(18):87--127.

Steels, 1990

Steels, L. (1990). Components of expertise. AI Magazine, 11(2):28--49.

Yost, 1994

Yost, G. R. (1994). Configuring Elevator Systems. Technical report, Knowledge Systems Laboratory, Stanford University. Edited and changed by T. E. Rothenfluh in http://camis.stanford.edu/projects/protege/sisyphus-2/s2-0.html.