Künstliche Intelligenz, Band 12, 1998

Band 12, Heft 1, März 1998

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

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

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

• Robert Engels, Guido Lindner, Rudi Studer: Providing User Support for Developing Knowledge Discovery Applications: A Midterm Report. 40-45 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

• Stefan Wrobel: Data Mining Serviceteil. 58-59

Band 12, Heft 2, Juni 1998

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

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

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

Band 12, Heft 3, September 1998

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

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

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

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

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
• Reinhold Letz, Christoph Weidenbach: Paradigmen und Perspektiven der automatischen Deduktion. 15-19
• Reinhard Bündgen, Alfons Geser: Formale Hardware-Verifikation mit Termersetzung. 19-24
• Ulrich Dorndorf, Andreas Drexl, Erwin Pesch, Toàn Phan Huy: Adaptive Suchverfahren zur Projektplanung bei beschränkten Ressourcen. 25-32

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

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

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

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