Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Veröffentlichungen/1995

Aus Aifbportal

Wechseln zu: Navigation, Suche

Publikationen des Instituts AIFB im Jahr 1995


2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

mehr


 - book
 - incollection
 - booklet
 - proceedings
 - phdthesis
 - 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, 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 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 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
Dieter Landes
Die Entwurfsphase in MIKE. Methode und Beschreibungssprache
Dissertation, Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe, DISKI 84, infix-Verlag
(Details)

Thomas Pirlein
Wiederverwendung von Commonsense Ontologien. Methoden und Werkzeuge
Dissertation, Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe, DISKI 85, infix-Verlag
(Details)

↑ top
-->