Fünf Thesen zur Reform von Berufsschullehrer-Lehrgängen Lipsmeier, A. 1994. In: Gesellschaftlicher Wandel und Gewerbelehrerausbildung. Analysen und Beiträge für eine Studienreform. Hrsg.: J. Rützel. Alsbach 1994. S. 279-281
History of vocational training Lipsmeier, A.; Schröder, H. 1994. In: International encyclopedia of education. 2. ed. Vol. 11. Oxford 1994. S. 6678-6684
Proving WAM compiler correctness Schmitt, P. H. 1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,33.)
The call-by-need lambda calculus (unabridged) Maraist, J.; Odersky, M.; Wadler, P. 1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,28.)
The semantics of rational contractions Giesl, J.; Neumann, I. 1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,29.)
Accepting grammars and systems Bordihn, H.; Fernau, H. 1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,9.)
Mechanisms for structuring knowledge-based systems Landes, D.; Studer, R. 1994. Karlsruhe 1994. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 301.)
ProMISE - a process model for information system evolution Scherrer, G.; Oberweis, A.; Stucky, W. 1994. Proceedings of the 3rd Maghrebian Conference on Software Engineering and Artificial Intelligence, Rabat, Marocco, April, 1994, 27–36
The design process in MIKE Landes, D.; Studer, R. 1994. In: Proceedings of the 8th Knowledge Acquisition for Knowledge-Based Systems (KAW ’94), Banff, Canada 1994. S. 33-1/34-1
Mechanism for structuring knowledge-based systems Landes, D.; Studer, R. 1994. In: Database and expert system applications. Ed.: D. Karagiannis. Berlin 1994. S. 488-497. (Lecture notes in computer science. 856.)
DesignKARL - A language for the design of knowledge-based systems Landes, D. 1994. Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering (SEKE ’94), Jurmala, Latvia, June 21-23, 1994, 78–85, Knowledge Systems Institute
A comparison of two approaches to model-based knowledge acquisition Fensel, D.; Poeck, K. 1994. In: A future for knowledge acquisition. EKAW ’94. Ed.: L. Steels. Berlin 1994. S. 46-62. (Lecture notes in computer science. 867. Lecture notes in artificial intelligence.)
A model of expertise in KARL Angele, J.; Fensel, D.; Studer, R. 1994. In: Proceedings of the 2nd World Congress on Expert Systems, Lisbon/Estoril, Portugal 1994. S. 20-30
A knowledge-based type system for computer algebra Tjandra, I. A.; Homann, K.; Calmet, J. 1994. In: Proceedings of the Rhine Workshop on Computer Algebra, Karlsruhe 1994. Ed.: J. Calmet. 1994. S. 60-66
Integrating explanation-based learning in symbolic computing Homann, K. 1994. In: Advances in artificial intelligence - theory and applications II. 7th International Conference on Systems Research, Informatics & Cybernetics (ICSRIC ’94), Baden-Baden 1994. Ed.: J.W. Brahan. 1994. S. 130-135
MANTRA: a multi-level hybrid knowledge representation system Bittencourt, G.; Calmet, J.; Homann, K.; Lulay, A. 1994. In: Proceedings of the 11th Brazilian Symposium on Artificial Intelligence (SBIA), Fortaleza 1994. Ed.: T. Pequeno. 1994. S. 493-506
Knowledge based analysis of satellite images Schilling, K.-J.; Vögtle, T.; Müssig, P. 1994. In: Proceedings. ISPRS Commission III Symposium: Spatial Information from Digital Photogrammetry and Computer Vision, München 1994. S. 732-736
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft