Bøger i Subreihe Künstliche Intelligenz serien

Eine Arbeitsgruppe des Fachbereichs KI der Gesellschaft fur Informatik hatte auf Anregung von W. Bibel hin ein neues Konzept fur die Jahrestagung dieses Fachbereichs erarbeitet. Christopher Habel, Clans-Rainer Rollinger und Thomas Christaller sind an erster Stelle als Autoren des Vorschlags zu nennen, auf dem wesentliche Elemente dieser 17. KI-Jahrestagung autbauen. Diese neue KI-93 besteht im wesentlichen aus zwei Teilen mit einem gemeinsamen Tag: - vom 13. - 15. September findet der "e;Wissenschaftliche Kongress"e; statt, der aus Vortragen und 17 Workshops besteht (Leitung des Programmkomitees: Thomas Christaller), -vom 15. -16. September schliet sich der ,,Anwender- Kongress"e; an, der durch Vortrage den erfolgreichen Einsatz von KI-Methoden demonstrieren wird (\I orsitz des Programmkomitees: Dieter Schutt). Daneben wird es auch zahlreiche Demonstrationen von Anwendungsbeispielen und von experimen- tellen KI-Programmen zur Weiterentwicklung geben. Gastgeber der KI-93 ist dankenswerterweise die Humboldt-Universitat zu Berlin (Leiter der lokalen OrganisationlDemos: Hans-Dieter Burkhard - schon jetzt vielen Dank an Renate Zirkelbach). Die ,,HUB"e; freut sich bereits auf viele Gaste -und fur den Mittwoch Abend ist schon eine Schiffsfahrt auf der Spree organisiert. Mit dem neuen Tagungskonzept sollen - die neuesten Entwicklungen und Trends in der KI deutlich werden, -junge Wissenschaftler die Moglichkeit haben, ihre Arbeiten vorzustellen, -"e;Wissenschaftler und Praktiker"e; auf dem Gebiet der KI zusammenfmden konnen. Die Zusagen "e;gestandener Wissenschaftler"e; fur eingeladene Vortrage, die zahlreichen Anmeldungen fur Workshops und die Qualitat der eingereichten Vortrage zeigen, da dieses Konzept Beifall fand.

Die deutsche Fruhjahrsschule fur Kunstliche Intelligenz, jahrlich veranstaltet von der Fachgruppe 1.2 "e;Kunstliche Intelligenz und Mustererkennung"e; der Gesellschaft fur Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Fruhjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergroert die thematische Vielfalt des bereits Verfugbaren um neuartige Einfuhrungen in LISP und PROLOG, sowie ausfuhrliche Beitrage uber Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.