Combining KARL and CRLM for designing vertical transportation systems

International Journal of Human Computer Studies

Volumn 44, Issue 3-4, 1996, Pages 435-467

  Poeck, Karsten ^a   Fensel, Dieter ^b   Landes, Dieter ^c   Angele, Jürgen ^d  

^a UNIVERSITY OF WÜRZBURG   (Germany)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

^c UNIVERSITY OF KARLSRUHE   (Germany)

^d FB e   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; ELEVATORS; GRAPHICAL USER INTERFACES; KNOWLEDGE BASED SYSTEMS; PROBLEM SOLVING;

ELEVATOR SYSTEMS; SISYPHUS OFFICE ASSIGNMENT PROBLEM;

KNOWLEDGE ACQUISITION;

EID: 0030110653     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1996.0021     Document Type: Article

References (31)

1. ANGELE, J., FENSEL, D. & STUDER, R. (1990). Applying software engineering methods and techniques to knowledge engineering. In D. EHRENBERG, H. KRALLMANN & B. RIEGER, Eds. Wissensbasierte Systeme in der Betriebswirtschaft, Reihe betriebliche Informations- und Kommunikationssysteme, no 15, pp. 285-304. Berlin: Erich Schmidt Verlag.
2. ANGELE, J., FENSEL, D. & STUDER, R. (1994). The model of expertise in KARL. Proceedings of the 2nd World Congress on Expert Systems. Lisbon/Estoril, Portugal, January 10-14.
3. ANGELE, J., FENSEL, D., LANDES, D., NEUBERT, S. & STUDER, R. (1993). Model-based and incremental knowledge engineering: the MIKE approach. In J. CUENA, Ed. Knowledge Oriented Softwate Design. IFIP Transactions A-27, pp. 139-168. Amsterdam: Elsevier.
4. BRAZIER, F. M. T., VAN LANGEN, P., PHILIPSEN, A. W., WIJNGAARDS, N. J., E. & WILLEMS, M. (1994). DESIRE: designing an elevator configuration. In G. SCHREIBER & B. BIRMINGHAM, Eds. SISYPHUS-II-VT Elevator Design. Proceedings of the 8th Banff Knowledge Acquisition for Knowledge Based Systems Workshop. Vol. 3. Banff, Canada.
5. CHANDRASEKARAN, B. & JOHNSON, T. R. (1993). Generic tasks and task structures: history, critique and new directions. In J.-M. DAVID, J.-P. KRIVINE & R. SIMMONS, Eds. Second Generation Expert Systems. Berlin: Springer Verlag.
6. FENSEL, D. (1995a). The Knowledge Acquisition and Representation Language KARL. Boston: Kluwer.
7. FENSEL, D. (1995b). Assumptions and limitations of a problem-solving method: a case study. Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95). Banff, Canada, February 26th-March 3rd.
8. FENSEL, D. & POECK, K. (1994). A comparison of two approaches to model-based knowledge acquisition. In L. STEELS, G. SCHREIBER & W. VAN DE VELDE, Eds. A Future for Knowledge Acquisition, 8th European Knowledge Acquisition Workshop, EKAW-94, Lecture Notes in Artificial Intelligence 867. Hoegaarden: Springer-Verlag.
9. FENSEL, D., ERIKSSON, H., MUSEN, M. A. & STUDER, R. (1993). Description and formalization of problem-solving methods for reusability: a case study. Complement Proceedings of the 7th European Knowledge Acquisition Workshop (EKAW'93), Toulouse, France, September 6-10.
10. GAPPA, U. (1995). Graphical knowledge acquisition systems and their generation (in German). Ph.D. Thesis, University of Karlsruhe, Germany.
11. GRUBER, T. & RUNKEL, J. (1993). Ontolingua theories for sisyphus elevator-design, In: ftp://ksl.stanford.edu//pub/knowledge-sharing/ontologies/ol-ontologies.tar Z.
12. LANDES, D. (1994). DesignKARL - a language for the design of knowledge-based systems. Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering SEKE'94. Jurmala, Latvia, June 20-23.
13. LANDES, D. & STUDER, R. (1995). The treatment of non-functional requirements in MIKE. Proceedings of the 5th European Software Engineering Conference ESEC'95. Barcelona, Spain, September 25-28.
14. MARCUS, S. (1988). SALT: a knowledge-acquisition tool for propose-and-revise systems. In S. MARCUS, Ed. Automating Knowledge Acquisition for Expert Systems. Boston: Kluwer.
15. NEUBERT, S. (1993). Model construction in MIKE (model-based and incremental knowledge engineering). In N. AUSSENAC, G. BOY, B. GAINES, M. LINSTER, J.-G. GANASCIA, Y. KODRATOFF, Eds. Knowledge Acquisition for Knowledge-Based Systems, Proceedings of the 7th European Workshop (EKAW'93). Toulouse, France, September 6-10. Lecture Notes in AI 723. pp. 200-219. Berlin: Springer-Verlag.
16. NEUBERT, S. (1994). Model construction in MIKE - methods and tools (in German). Ph.D. Thesis, University of Karlsruhe, Germany.
17. POECK, K. (1991). Solving the YQT-problem with the assignment shell COKE. In M. LINSTER, Ed. Sisyphus '91 : Models of Problem Solving, Arbeitspapiere der GMD 630. Sankt Augustin: GMD.
18. POECK, K. (1992). Tackling the sisyphus problem with COKE. In M. LINSTER, Ed. Sisyphus '92 : Models of Problem Solving, Arbeitspapiere der GMD 663. Sankt Augustin: GMD.
19. POECK, K. (1995). Configurable problem solving methods for assignment and classification (in German). Ph.D. Thesis, University of Würzburg, Germany.
20. POECK, K. & PUPPE, F. (1992). COKE: efficient solving of complex assignment problems with the propose-and-exchange method. Proceedings of the 5th International Conference on Tools with Artificial Intelligence. Arlington, Virginia, November 10-13.
21. POECK, K. & GAPPA, U. (1993). Making role-limiting shells more flexible. In N. AUSSENAC, G. BOY, B. GAINES, M. LINSTER, J.-G. GANASCIA, Y. KODRATOFF, Eds. Knowledge Acquisition for Knowledge-Based Systems, Proceedings of the 7th European Workshop (EKAW'93). Toulouse, France, September 6-10. Lecture Notes in Artificial Intelligence 723, Berlin: Springer-Verlag.
22. PUPPE, F. (1993). Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods. Berlin: Springer-Verlag.
23. PUPPE, F. & GAPPA, U. (1992). Towards knowledge acquisition by experts. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Proceedings of the 5th International Conference IEA/AIE-92. Paderborn, June 9-12.
24. ROTHENFLUH, T. E., GENNARI, J. H., ERIKSSON, H., PUERTA, A. R., TU, S. W. & MUSEN, M. A. (1994). Reusable Ontologies, Knowledge Acquisition Tools, and Performance Systems: PROTÉGÉ-II Solutions to Sisyphus-II. In G. SCHREIBER & B. BIRMINGHAM, Eds. SISYPHUS-II-VT Elevator Design Problem, Proceedings of the 8th Banff Knowledge Acquisition for Knowledge Based Systems Workshop. Vol. 3. Banff, Canada.
25. SCHREIBER, G. (1992). Pragmatics of the Knowledge Level. Ph.D. Thesis, University of Amsterdam, The Netherlands.
26. SCHREIBER, G., TERPSTRA, P., MAGNI, P. & VAN VELZEN, M. (1994). Analysing and Implementing VT Using CommonKADS. In G. SCHREIBER, & B. BIRMINGHAM, Eds. SISYPHUS-II-VT Elevator Design Problem, Proceedings of the 8th Banff Knowledge Acquisition for Knowledge Based Systems Workshop. Vol. 3. Banff, Canada.
27. SCHREIBER, G., WIELINGA, B., AKKERMANS, H., VAN DE VELDE, W. & DE HOOG, R. (1994). CommonKADS. A comprehensive methodology for KBS development. IEEE Expert, 9, 28-37.
28. SPRAU, R. (1993). Modellierung eines Aufzug-Konfigurationssystems in KARL (Modelling a configuration system for elevators with KARL). (in German). Master's Thesis, Institut für Angewandte Informatik und Formale Beschreibungsverfahren, University of Karlsruhe, Germany.
29. T VELD, L. (1994). Configuring elevator specified in KBSSF. In G. SCHREIBER & B. BIRMINGHAM, Eds. SISYPHUS-II-VT Elevator Design Problem, Proceedings of the 8th Banff Knowledge Acquisition for Knowledge Based Systems, Workshop. Vol. 3. Banff, Canada.
30. WIELINGA, B., SCHREIBER, G. & BREUKER, J. A. (1992). KADS: a modeling approach to knowledge engineering. Knowledge Acquisition, 4, 5-53.
31. YOST, G. R. (1992). Configuring elevator systems. Technical report, Digital Equipment Co., Marlboro, MA.