Publications by the Institute AIFB in 1994

- book

- incollection

- booklet

- proceedings

- phdthesis

- techreport

- deliverable

- manual

- misc

- unpublished

article

Dieter Fensel
Sinn und Unsinn formaler Spezifikationssprachen für wissensbasierte Systeme
Künstliche Intelligenz (KI), (4), 1994
(Details)

Dieter Fensel, Frank van Harmelen
A Comparison Of Languages Which Operationalize And Formalize KADS Models of Expertise
The Knowledge Engineering Review, 8, (2), Juni, 1994
(Details)

↑ top

inproceedings

Jürgen Angele, Dieter Fensel, Rudi Studer
The Model of Expertise in KARL
Proceedings of the 2nd World Congress on Expert Systems, Lisbon/Estoril, Portugal, January 10-14, 1994Januar, 1994
(Details)

Dieter Fensel
Graphical and Formal Knowledge Specification with KARL
Proceedings of the International Conference on Expert Systems for Development, Bangkok, Thailand, March 28-31, 1994März, 1994
(Details)

Dieter Fensel, S. Neubert
Integration Of Semiformal and Formal Methods For Specification of Knowledge-Based Systems
In B. Wolfinger, Innovation bei Rechen- und Kommunikationssystemen, Springer-Verlag, Berlin, Informatik Aktuell
(Details)

Dieter Fensel, Jürgen Angele, Rudi Studer
The Specification Language KARL and Its Declarative Semantics
Proceedings of the IS-CORE94 Workshop, Amsterdam, September 27-30, 1994, research report, Free University of AmsterdamSeptember, 1994
(Details)

Dieter Fensel, Dieter Landes, S. Neubert, Rudi Studer
Integrating Semiformal and Formal Methods in Knowledge-Based Systems Development
Proceedings of the 3rd Japanese Knowledge Acquisition Workshop JKAW'94 (Hatoyama, Japan, Nov. 7-9), pages: 73-87
(Details)

Dieter Fensel, Markus Wiese
From JoJo to Frog: Extending a bi-directional Search Strategy to a more flexible three-directional Search
In C. Globig & K.-D. Althoff, Beiträge zum 7. Fachgruppentreffen Maschinelles Lernen, Kaiserslautern, August, 1994, Forschungsbericht LSA-95-01, Zentrum für Lernende Systeme und Anwendungen, Fachbereich Informatik, Universität Kaiserslautern, pages: 37-44
(Details)

Dieter Fensel, K. Poeck
A Comparision Of Two Approaches To Model-Based Knowledge Acquisition
Proceedings of the European Knowledge Acquisition Workshop (EKAW-94), Hoegaarden, Belgium, September 26-29, 1994, Springer Verlag, Berlin, Lecture Notes in Artificial Intelligence (LNAI), 867
(Details)

Peter Jaeschke, Andreas Oberweis, Wolffried Stucky
Extending ER model clustering by relationship clustering
In R.A. Elmasri, V. Kouramajian, B. Thalheim, Entity-Relationship Approach - ER'93: 12th Int. Conference on the Entity-Relationship Approach, pages: 451-462, LNCS, 823, Berlin, Heidelberg
(Details)

Dieter Landes, Rudi Studer
The Design Process in MIKE
Proceedings of the 8th Knowledge Acquisition for Knowledge-Based Systems Workshop KAW'94 (Banff, Canada, January 30 - February 4)
(Details)

Dieter Landes
Language Support for Knowledge-Based Systems Design
In H. Voss and R. Studer, Proceedings of the 4th KADS Meeting (St. Augustin, Germany, March 24-25), St. Augustin, Germany, Arbeitspapiere der GMD
(Details)

Dieter Landes
Addressing Non-Functional Requirements in the Development of Knowledge-Based Systems
In K. Pohl, G. Starke und P. Peters, Proceedings of the 1st International Workshop on Requirements Engineering: Foundation of Software Quality REFSQ'94 (Utrecht, Netherlands, June 6-7), pages: 64-70, Verlag der Augustinus Buchhandlung, Aachen, Aachener Beiträge zur Informatik, 6
(Details)

Dieter Landes
Strukturierung wissensbasierter Systeme in MIKE
In J. Kunze and H. Stoyan, KI-94 Workshops - Extended Abstracts, pages: 341-343, Springer, Berlin
(Details)

Dieter Landes
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), pages: 78-85Juni, 1994
(Details)

Dieter Landes, Rudi Studer
Mechanisms for Structuring Knowledge-Based Systems
In D. Karagiannis, Database and Expert Systems Applications, pages: 488-497, Springer-Verlag, Berlin, Lecture Notes in Computer Science, 856
(Details)

Barbara Messing
Integrating Knowledge Bases: Towards Symbolic Representation and Conflict Managing
Integrating Knowledge Bases: Towards Symbolic Representation and Conflict Managing
(Details)

S. Neubert, Thomas Pirlein, G. Schmidt
Top-Down Knowledge Acquisition
Proceedings of the International Conference on Expert Systems for Development, Bangkok, Thailand, March 28-31, 1994
(Details)

Thomas Pirlein, Rudi Studer
KARO: An Integrated Environment for Reusing Ontologies
Proceedings of the European Knowledge Acquisition Workshop (EKAW-94), Hoegaarden, Belgium, September 26-29, 1994, pages: 200-225, Springer Verlag, Berlin, Lecture Notes in Artificial Intelligence (LNAI), 867
(Details)

K. Poeck, Dieter Fensel, Dieter Landes, Jürgen Angele
Combining KARL and Configurable Role Limiting Methods for Configuring Elevator Systems
Proceedings of the 8th Knowledge Acquisition for Knowledge-Based Systems Workshop KAW'94 (Banff, Canada, January 30 - February 4)
(Details)

↑ top

incollection

Dieter Landes
An Approach to the Design of Knowledge-Based Systems
In M. Ross, C.A. Brebbia, G. Staples and J. Stapleton, Software Quality Management II - Vol. 2: Building Quality into Software, pages 707-722, Computational Mechanics Publications, Southampton, 1994
(Details)

↑ top

techreport

Jürgen Angele, Dieter Fensel, Rudi Studer
The Model of Expertise in KARL
University of Karlsruhe, Institute AIFB, archiv number: 667 76128 Karlsruhe, Germany, (272), Januar, 1994
(Details)

Dieter Fensel
Graphical and Formal Knowledge Specification with KARL
University of Karlsruhe, Institute AIFB, archiv number: 650 76128 Karlsruhe, Germany, (284), 1994
(Details)

Dieter Fensel, Jürgen Angele, Rudi Studer
The Specification Language KARL and Its Declarative Semantics
University of Karlsruhe, Institute AIFB, archiv number: 640 76128 Karlsruhe, Germany, (307), August, 1994
(Details)

Dieter Landes, Rudi Studer
The Design Process in MIKE
University of Karlsruhe, Institute AIFB, archiv number: 665 76128 Karlsruhe, Germany, (285), Dezember, 1994
(Details)

Dieter Landes, Rudi Studer
Mechanisms for Structuring Knowledge-Based Systems
University of Karlsruhe, Institute AIFB, archiv number: 643 76128 Karlsruhe, Germany, (301), Juni, 1994
(Details)

Dieter Landes
DesignKARL - A Language for the Design of Knowledge-Based Systems
University of Karlsruhe, Institute AIFB, archiv number: 646 76128 Karlsruhe, Germany, (296), April, 1994
(Details)

K. Poeck, Dieter Fensel, Dieter Landes, Jürgen Angele
Combining KARL and Configurable Role Limiting Methods for Configuring Elevator Systems
University of Karlsruhe, Institute AIFB, archiv number: 653 76128 Karlsruhe, Germany, (292), Februar, 1994
(Details)

↑ top

misc