Künstliche Intelligenz, 1992

Band 6, Heft 1, März 1992

• Frank von Martial: Einführung in die Verteilte Künstliche Intelligenz. 6-11
• Birgit Burmeister, Kurt Sundermeyer: Domänen-unabhängiges Kooperatives Problemlösen. 12-16
• Hans-Dieter Burkhard: Ein Formalismus für Multi-Agenten-Systeme. 17-21
• Klaus Fischer, Hans-Michael Windisch: MAGSY: Ein regelbasiertes Multiagentensystem. 22-26
• Dorothea Czedik: Status Quo der Wiederverwendbarkeit von Wissensbasen. 27-32

• Birgit Burmeister: MAAMAW '91. 33-35
• Mike P. Papazoglou, Stefan Kirn: IJCAI'91-Workshop Intelligent and Cooperative Information Systems. 36-37
• Harald Eckert, Frank Maurer: IJCAI'91-Workshop Software Engineering for Knowledge-Based Systems. 38-39
• Siegfried Bocionek, Norbert Eisinger, Gunnar Teege: 4. Internationaler GI-Kongreß Wissensbasierte Systeme. 40-42
• Frank Bomarius, Alastair D. Burt, Andreas Lux: 4. Internationaler GI-Kongreß Wissensbasierte Systeme, Verteilte Künstliche Intelligenz und kooperatives Arbeiten. 43-44
• Andreas Günter: GWAI'91 oder 15. Fachtagung für Künstliche Intelligenz. 45
• Frieder Stolzenburg, Alexander Bach, Christian Lieske, Hanno Ridder, Martin Volk: Third European Summer Scholl on Language, Logic, and Information - Saarbrücken 1991. 46-46
• Rüdiger Klein: TL Users Workshop. 47-48
• Sabine Schmitgen, Matthias Kloth: Räumliche Aspekte bei der Konfigurierung. 49-50
• Ulrich Furbach: ILPS'91 - International Logic Programming Syposium. 50

• Klaus Burger, Dorothea Mehling: Computer Aided Knowledge Engineering (CAKE): Eine Notwendigkeit für modellbasierte XPS-Entwicklungen - Erfahrungen aus einer KADS-Anwendung im Bereich Prodktionsleittechnik. 51-55

• Paul Levi: Multiagenten-Systeme. 56

• Jürgen Müller: Die VKI Landkarte. 57-58
• Donald Steiner, Hans Haugeneder, Michael Kolb, Frank Bomarius, Alastair D. Burt: Mensch-Maschine Kooperation. 59-63
• Sahin Albayrak: TUBKOM-Projekt: Blackboard-DEC. 64-68
• Stefan Kirn, Andreas Scherer, Gunter Schlageter: FRESCO: Föderative Kooperation in Verteilten Wissensbasierten Systemen. 68-71

• Egon Frank: Zu den Möglichkeiten und Grenzen einer künstlichen Intelligenz. 84-89

Band 6, Heft 2, Juni 1992

• Ernst Pöppel, Kerstin Schill: Zeitliche Koordinationssprobleme mentaler Prozesse. 7-12
• Angela D. Friederici: Natürliche Sprachverarbeitung: Funktionen und Dysfunktionen. 13-19
• Hans-Paul Schwefel, Thomas Bäck: Künstliche Evolution - eine intelligente Problemlösungsstrategie? 20-27
• Christel Kemke: Metaphern und analogisches Schließen: Ein Überblick. 28-36
• Fritz Mädler: Problemzerlegung als optimalitätserhaltende Operatorabstraktion. 37-41

• Jochen Heinsohn, Gerhard Paass: European Conference on Symbolic and Quantitative Approaches for Uncertainty. 42
• Martin Eldracher: 1992 Symposium on Applied Computing (SAC '92). 43
• Jens-Uwe Möller: The Impacts of Model-Based Approaches on Designing Human-Computer-Interaction. 44
• Gabriele Lohmann: Internationaler Workshop ``Robust Computer Vision''. 45
• Jürgen Cleve, Steffen Hölldobler, Jörg Würtz: 7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 ``Deduktionssysteme''. 46-47
• Ronald Bogaschewsky, Uwe Hoppe: 3. Symposium des GAWS: Wissenbasierte Systeme in der Betriebswirtschaft - Anwendungen und Integration mit Hypermedia. 48-49

• Harry Bretthauer, Thomas Christaller, H. Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Dieter Hovekamp, H. Knutzen, Jürgen Kopp, E. U. Kriegel, I. Mohr, R. Rosenmüller, Friedemann H. Simon: Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP. 50-54

Band 6, Heft 3, September 1992

• Christopher Habel: Perspektiven einer logischen Fundierung der KI. 7-13
• Manfred Kerber, Christoph Weidenbach: Deduktionssysteme. 14-22
• Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt: Terminologische Logiken. 23-33
• Hans Jürgen Ohlbach: Logic Engineering - Konstruktion von Logiken. 34-38
• Dov M. Gabbay: Logic Made Reasonable. 39-41
• Andreas Fritsch, Peter Weimann: Kooperation von Experten- und Datenbanksystemen: Vorteile und Ansätze. 42-48

• Michael M. Richter: Geschichte der Tagungen über automatische Beweisverfahren. 49-50
• Harald Ganzinger: Konferenzbericht LICS '92. 51
• Bernhard Hollunder, Bernhard Nebel: Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91). 52-53
• Maike Paritong, Brigitte Krenn: Third European Summer School in Language, Logic and Information. 54
• Rudi Studer: 2. Workshop Informationssysteme und Künstliche Intelligenz: Modellierung. 55-56
• Gert Kellermann: Kurzbericht über den 6. Workshop "Planen und Konfigurieren". 56
• Manfred Kopisch, Heiko Neumann, Birte Prahl, Mathias Kalle Dalheimer, Christiane Löckenhoff, Christoph Thomas, Enno Littmann, Kai Seim: KIFS '92, ein Rückblick. 58-63

• Lothar Gierl, Bernhard Pollwein, Gisela Heyde: Alltagsgerechtigkeit aus dem Computer. 64-68

• Hans-Jürgen Bürckert: Deduktion, Abduktion, Induktion. 69-70

• Wolfgang Bibel: DFG-Schwerpunkprogramm Deduktion. 71-74
• Erica Melis: KI und Logik (Projektübersicht). 75-78

• Wolfgang Bibel, Ulrich Furbach: Logik, KI und Intellektik. 91-94
• Christian Freksa: Über den Unterschied zwischen logik-basierten und logischen Ansätzen zur Wissensrepräsentation. 95-98

• Alan Bundy: Die Geschichte der Mechanisierung der Logik in der KI (Interview). 99-101

Band 6, Heft 4, Dezember 1992

• Winfried Graf, Markus A. Thies: Perspektiven zur Kombination von automatischem Animationsdesign und planbasierter Hilfe. 7-13
• Klaus-Dieter Althoff, Stefan Wess, Brigitte Bartsch-Spörl, Dietmar Janetzko, Frank Maurer, Angi Voß: Fallbasiertes Schließen in Expertensystemen: Welche Rolle spielen Fälle für wissensbasierte Systeme? 14-21
• Gerhard Strube: Die Rolle psychologischer Konzepte in der künstlichen Intelligenz. 22-25
• Matthias Heger, Karsten Berns: Risikoloses Reinforcement-Lernen. 26-32

• Michael Beetz, Joachim Hertzberg, Jana Koehler, Gerhard K. Kraetzschmar, Fritz Mädler: Bericht von der 1st International Conference on AI Planning Systems (AIPS-92). 33-34
• Christiane Löckenhoff: 2nd KADS User Meeting ``Inferenz- und Aufgabenstrukturen''. 35-36
• A. Nowottnick: 1. Berliner Fuzzy-Anwender-Treffen am 9. September 1992. 36
• Christoph Brzoska, Michael Gollner: Sprachen für KI-Anwendungen, Konzepte - Methoden - Implementierungen. 37-38
• Katharina Morik: 9. Internationale Konferenz zum maschinellen Lernen. 39-42
• John Nerbonne: Evaluierungsworkshop. 43-44

• Martin Schröder: Conceptual Graphs. 45

• Stefan Wess: Fallbasiertes Schließen in Deutschland - Eine Übersicht. 46-51

• Thomas J. Schult: Werkzeuge für fallbasierte Systeme. 52-53

• Michael Hoenen, Matthias Kloth, Elke Steven: Verifikation oder Überprüfbarkeit? 67-70
• Rolf Pfeifer, Hubert F. Hofmann, Erik Vinkhuyzen, Philip Rademakers: Problemlösende Systeme: Implikationen für Validierung, Zum Beitrag ``Verifikation oder Überprüfbarkeit''. 71-73