Publikationen des Instituts AIFB im Jahr 1995

- book

- incollection

- booklet

- proceedings

- phdthesis

- techreport

- deliverable

- manual

- misc

- unpublished

article

Jürgen Angele, Dieter Fensel, Dieter Landes, S. Neubert
Modellbasiertes Inkrementelles Knowledge Engineering: der MIKE-Ansatz
Künstliche Intelligenz, (1/1995), Seiten 16-21, 1995
(Details)

Dieter Fensel
Formal Specification Languages in Knowledge and Software Engineering
The Knowledge Engineering Review, 10, (4), 1995
(Details)

Thomas Pirlein, Rudi Studer
An environment for reusing ontologies within a knowledge engineering approach
International Journal on Human-Computer Studies, (43), Seiten 945 - 965, 1995
(Details)

Frank van Harmelen, Dieter Fensel
Formal Methods in Knowledge Engineering
The Knowledge Engineering Review, 10, (4), 1995
(Details)

↑ top

inproceedings

Jürgen Angele, Rudi Studer
Requirements Specification and Model-based Knowledge Engineering
Proceedings of Softwaretechnik `95, Braunschweig, 10. -11. Oktober, GI-Fachausschuß 2.1 "Softwaretechnik und Programmiersprachen", Verbund SofTec NRW
(Details)

Robert Engels
Högdalenverket: Applying ILP in an Industrial Setting
Proceedings of Intelligent Adaptive Systems Workshop IAS-95, Melbourne-beach, Florida
(Details)

Robert Engels
Högdalenverket: Applying ILP in an Industrial Setting
Proceedings of the Fifth Scandinavian Conference on Artificial Intelligence SCAI '95 (Trondheim, Norway, May 29-31), 1995
(Details)

Dieter Fensel, M. Zickwolff, Markus Wiese
Are Substitutions the Better Examples? Learning Complete Set of Clauses with Frog
In L. De Raedt, Proceedings of the 5th International Workshop on Inductive Logic Programming ILP-95, Leuven, September 4-6, 1995, Technical Report, Department of Computer Science, Katholieke Universiteit Leuven, Belgium
(Details)

Dieter Fensel
Assumptions and Limitations of a Problem-Solving Method: A Case Study
Proceedings of the 9th Knowledge Acquisition for Knowledge-Based Systems Workshop KAW'95 (Banff, Canada, February 26 - March 3)
(Details)

W. Fichtner, Dieter Landes, T. Spengler, M. Ruch, O. Rentz, Rudi Studer
Der MIKE-Ansatz zur Modellierung von Expertenwissen im Umweltbereich - dargestellt am Beispiel des Bauschuttrecyclings
Proceedings of the 9th International Symposium on Computer Science for Environment Protection (Berlin, September 27-29)
(Details)

Dieter Landes, Rudi Studer
The Treatment of Non-Functional Requirements in MIKE
In Wilhelm Schäfer, Pere Botella, Proceedings of the 5th European Software Engineering Conference ESEC'95 (Sitges, Spain, September 25 - 28, 1995), Springer, Berlin, Lecture Notes in Computer Science, 989
(Details)

Barbara Messing
Knowledge Representation in Many-Valued Horn Clauses
Proceedings of the 6th Conference of the Spanish Association for Artificial Intelligence, November 1995, AlicanteNovember, 1995
(Details)

↑ top

book

Dieter Fensel
The Knowledge Acquisition And Representation Language KARL
Kluwer Academic Publisher, Boston, 1995
(Details)

↑ top

techreport

Dieter Fensel
Assumptions and Limitations of a Problem-Solving Method: A Case Study
University of Karlsruhe, Institute AIFB, Archiv Nummer 630 76128 Karlsruhe, Germany, (312), Februar, 1995
(Details)

Dieter Fensel, M. Zickwolff, Markus Wiese
Are Substitutions the Better Examples? Learning Complete Sets of Clauses with Frog
University of Karlsruhe, Institute AIFB, Archiv Nummer 619 76128 Karlsruhe, Germany, 321, August, 1995
(Details)

Dieter Fensel, Jürgen Angele, Rudi Studer
The Knowledge Acquisition and Representation Language KARL
University of Karlsruhe, Institute AIFB, Archiv Nummer 626 76128 Karlsruhe, Germany, (316), Mai, 1995
(Details)

Dieter Landes, Rudi Studer
The Treatment of Non-Functional Requirements in MIKE
University of Karlsruhe, Institute AIFB, Archiv Nummer 624 76128 Karlsruhe, Germany, (319), Juni, 1995
(Details)

↑ top

misc