Künstliche Intelligenz, Band 12, 1998

Band 12, Heft 1, März 1998

• Stefan Wrobel: Data Mining und Wissensentdeckung in Datenbanken. 6-10 BibTeX
• Christian Borgelt, Rudolf Kruse, Guido Lindner: Lernen probabilistischer und possibilistischer Netze aus Daten: Theorie und Anwendung. 11-17 BibTeX
• Martin Ester, Hans-Peter Kriegel, Jörg Sander, Xiaowei Xu: Clustering for Mining in Large Spatial Databases. 18-24 BibTeX
• Barbara Kozok: Erklärungsfunktionalität von Expertensystemen: Anwendungs- und Forschungsbedarf. 25-33 BibTeX

• Ipke Wachsmuth: Virtuelle Realität - Das aktuelle Schlagwort. 34 BibTeX

• Ronen Feldman, Willi Klösgen: Data Mining on the Web: A Promising Challenge? 35-36 BibTeX
• Joachim M. Buhmann: Knowledge-Discovery: Wie können wir Muster und Strukturen in Daten zuverlässig erkennen? 37 BibTeX
• Joachim Feist: Data Mining in der Praxis. 38-39 BibTeX

• Robert Engels, Guido Lindner, Rudi Studer: Providing User Support for Developing Knowledge Discovery Applications: A Midterm Report. 40-45 BibTeX 40

• Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Angelica Maria Kappel, Stefan Lüttringhaus-Kappel: Verbesserte Brandfrüherkennung im Steinkohlenbergbau durch Vorhersage von CO-Konzentrationen. 46-53 BibTeX

• Stefan Wrobel: Data Mining Serviceteil. 58-59 BibTeX

Band 12, Heft 2, Juni 1998

• Thomas Christaller: Umwelt und (künstliche) Intelligenz. 29-31 BibTeX
• K. Christoph Ranze, Thorsten Scholz: Methoden der künstlichen Intelligenz in Umweltanwendungen - Eine Projektlandkarte. 32-34 BibTeX
• Ulrich Heller, Peter Struss: Modellbasierte Entscheidungsunterstützung im Umweltbereich mit qualitativen Modellen. 35-38 BibTeX
• Mathias Kirsten, Stefan Wrobel, F. Wilhelm Dahmen, Hans-Christoph Dahmen: Einsatz von Data Mining-Techniken zur Analyse ökologischer Standort- und Pflanzendaten. 39-42 BibTeX
• Hubert B. Keller, Andreas Fick: Maschinelle Lernverfahren am Beispiel der thermischen Abfallbehandlung. 43-46 BibTeX
• Michael Boronowsky: Induktion von Entscheidungsbäumen zur qualitativen Analyse kontinuierlicher Funktionen. 47-50 BibTeX
• Wolfgang Ferse, Thomas Reiz: Erwerb von Bewertungswissen im Programmsystem für Altlasten XUMA-GEFA. 51-55 BibTeX

• Gerhard Paass, Jörg Kindermann: Klassifikation mit Populationen von heterogenen Modellen. 56-65 BibTeX
• Udo Hahn, Martin Romacker: Automatische Erzeugung von medizinischen Wissensbasen durch partielles Textverstehen: Befundtextanalyse im MedSyndikate-System. 65-72 BibTeX
• Frieder Stolzenburg: A Flexible System for Constraint Disjunctive Logic Programming. 73-78 BibTeX

• Winfried Graf, Alexander Kroener, Stefan Neurohr, Randy Goebel: Experience in Integrating AI and Constraint Programming Methods for Automated Yellow Pages Layout. 79-85 BibTeX

Band 12, Heft 3, September 1998

• Matthias Klusch, Wolfgang Benn: Intelligente Informationsagenten im Internet. 8-17 BibTeX
• Henry Lieberman: Beyond Information Retrieval: Information Agents at the MIT Media Lab. 17-23 BibTeX
• Thorsten Joachims, Dunja Mladenic: Browsing-Assistenten, Tour Guides und adaptive WWW-Server. 23-29 BibTeX
• Jürgen Koenemann, Christoph G. Thomas: Agent-Supported Information Brokering. 30-37 BibTeX

• Donald Steiner: FIPA: Foundation for Intelligent Physical Agents - Das aktuelle Schlagwort. 38 BibTeX

• Uwe R. Zimmer, Thomas Christaller, Christfried Webers: Aspects of Japanese Robotics Research. 39-42 BibTeX

• Olaf Mehlmann, Jens Landvogt, Anthony Jameson, Ralph Schäfer: Einsatz Bayes'scher Netze zur Identifikation von Kundenwünschen im Internet. 43-48 BibTeX
• Mario Lenz, Heike Müller, Torsten Hilbrich, Ralf Kühnel: Informationsrecherche, Assistenzagenten und elektronische Produktkataloge für das WWW. 49-55 BibTeX
• Hans-Jürgen Appelrath, Jürgen Sauer: MEDICUS: ein medizinisches Ressourenplanungssystem. 56-60 BibTeX

Band 12, Heft 4, Dezember 1998

• Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas: Automated Deduction: a Technological Point of View. 7-14 BibTeX
• Reinhold Letz, Christoph Weidenbach: Paradigmen und Perspektiven der automatischen Deduktion. 15-19 BibTeX
• Reinhard Bündgen, Alfons Geser: Formale Hardware-Verifikation mit Termersetzung. 19-24 BibTeX
• Ulrich Dorndorf, Andreas Drexl, Erwin Pesch, Toàn Phan Huy: Adaptive Suchverfahren zur Projektplanung bei beschränkten Ressourcen. 25-32 BibTeX

• Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt: Wohin geht die automatische Deduktion? 33-37 BibTeX

• Wolfgang Bibel: DFG-Schwerpunktprogramm ``Deduktion''. 38-40 BibTeX
• Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: Integrierter Deduktiver Software-Entwurf. 40-41 BibTeX

• Wolfgang Reif: Interaktives Theorembeweisen und seine Anwendungen in der Softwaretechnik. 42-48 BibTeX
• Johann Schumann: Verifikation von Authentifikationsprotokollen mit Automatischen Beweisern. 48-53 BibTeX
• Stefan K. Bamberger, Sabine Schwingeler, Susanne Ziegler: KBA-D3: ein wissensbasiertes Diagnose- und Informationssystem für Druckmaschinen. 54-59 BibTeX

• Peter H. Schmitt: Serviceteil Deduktion und Anwendungen. 64 BibTeX