🚀 go-pugleaf

From: werner@ai-vie (Werner Horn)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Thu, 27 Jun 91 14:04:22 MES
Subject: <mod-ki 0733> 7. Oesterr. AI-Tagung 1991 (Final Program)
Keywords: Konferenzen

mod-ki message 0733
************************************************************************
        7. OESTERREICHISCHE ARTIFICIAL INTELLIGENCE TAGUNG 1991
        -------------------------------------------------------
      SEVENTH AUSTRIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE 1991
      -----------------------------------------------------------

                      Technische Universitaet Wien
              Gusshausstrasse 25-27, A-1040 Wien, Austria

                               Tutorials
                            24.-25. 9. 1991

                               Workshops
                            24.-25. 9. 1991

            Wissenschaftliches Programm / Technical Program
                            26.-27. 9. 1991

       Oesterreichische Gesellschaft fuer Artificial Intelligence
                   Postfach 177, A-1014 Wien, Austria

                        Ehrenschutz / Patronage
     SE. MAGNIFIZENZ O. UNIV.-PROF. DIPL.-ING. DR. TECHN. F. MOSER
                Rektor der Technischen Universitaet Wien

                    Tagungsleiter / Conference Chair
                         HERMANN KAINDL (Wien)

                  Programmkomitee / Program Committee
   W. Bibel    Darmstadt           J. Diederich   St. Augustin / Davis
   G. Goerz    Erlangen-Nuernberg  J. Hertzberg   St. Augustin
   H. Horacek  Bielefeld           W. Horn        Wien
   A. Leitsch  Wien                W. Nejdl       Wien
   B. Neumann  Hamburg             J. Retti       Wien
   G. Strube   Bochum              R. Trappl      Wien
   St. Wrobel  St. Augustin        H. Ziegeler    Wien

    Tutorialorganisation / Organization of Tutorials: W. Horn (Wien)

           Workshopkoordination / Coordination of Workshops:
                          E. Buchberger (Wien)

                    Konnektionismus / Connectionism:
                           H. Ziegeler (Wien)
          Modellbasiertes Schliessen / Model-Based Reasoning:
                   G. Friedrich, F. Lackinger (Wien)
          Nicht schon wieder ... / Trading Philosophy for AI?
                             R. Born (Linz)

      Tagungssprachen / Conference Languages: Deutsch und Englisch

                Hotelreservierungen / Hotel Reservations
               Mag. Sigrid Zehrl, Austropa Kongressbuero
                   Postfach 30, A-1043 Wien, Austria
              Tel: +43-1-588 00 / 113 Fax: +43-1-56 85 33

                Tagungssekretariat / Onsite Registration
             Gusshausstrasse 25-27, A-1040 Wien, 8:30-16:00

    Jeder Teilnehmer erhaelt ein Exemplar des Tagungsbandes, der im
    Springer-Verlag in der Reihe Informatik-Fachberichte erscheint.
    Every participant receives a copy of the conference proceedings
    published by Springer-Verlag in the series Informatik-Fachberichte.


                               Tutorials
                               ---------
             Dienstag, 24. 9. 1991 / Tuesday, 24 Sept. 1991

        Objektorientierte Entwicklung in Expertensystemen in C++
      J. Retti, W. Hoellinger, G. Fleischanderl (Siemens AG, Wien)

          Qualitatives Schliessen und Modellbasierte Diagnose
        G. Friedrich, F. Lackinger (Christian Doppler Labor fuer
     Expertensysteme und Technische Universitaet Wien, Oesterreich)


            Mittwoch, 25. 9. 1991 / Wednesday, 25 Sept. 1991

                       Constraint Programmierung
         C. Holzbaur (Oesterreichisches Forschungsinstitut fuer
             Artificial Intelligence und Universitaet Wien)

                          Maschinelles Lernen
  L. Winkelbauer (IIASA, Laxenburg), K. Zercher (Siemens AG, Muenchen)

               Technologien fuer Echtzeit-Expertensysteme
 F. Barachini, R. Granec (Alcatel Austria ELIN Forschungszentrum, Wien)

                            Konnektionismus
         G. Dorffner (Oesterreichisches Forschungsinstitut fuer
             Artificial Intelligence und Universitaet Wien)


                               Workshops
                               ---------
             Dienstag, 24. 9. 1991 / Tuesday, 24 Sept. 1991

          Konnektionismus / Connectionism: H. Ziegeler (Wien)

13:00  Eroeffnung / Opening
       Holger G. Ziegeler (Siemens AG und Universitaet Wien)
13:10  Visualization Methods for Neural Networks
       Horst Bischof (Universitaet fuer Bodenkultur, Wien), Axel J.
       Pinz (Technische Universitaet Wien)
13:45  Evaluierung diagnostischer Informationen mit Hilfe einer
       konnektivistischen medizinischen Datenbank
       Peter Hamilton, M. Kurthen (Universitaet Bonn)
14:05  Klassifizierung von Bodenreaktionskraeften als Anwendungsgebiet
       Neuraler Netze in der Ganganalyse
       Monika Koehle (Technische Universitaet Wien), Stefan Holzreiter
       (Allgemeine Unfallversicherungsanstalt, Klosterneuburg)
14:25  Pause / Break
14:45  Die Transformation experimenteller Verteilungen durch eine
       Self-Organizing Feature Map
       Alfred Ultsch und Guenter Halmans (Universitaet Dortmund)
15:20  Describing Neural Networks by Using Attributed Elementary
       Programmed Graph Grammars
       Brigitte Haberstroh, Rudolf Freund (Technische Universitaet Wien)
15:55  Elastic Tracking versus Neural Network Tracking for Very High
       Multiplicity Problems
       Magnus Harlander, Miklos Gyulassy (Lawrence Berkeley Laboratory)
16:15  Pause / Break
16:35  Optimal Dilution of a Hopfield Network
       Karl E. Kuerten (KFA Juelich und Ruhr-Universitaet Bochum)
17:10  Neural Networks and Physical Boundary Conditions
       Holger G. Ziegeler (Siemens AG und Universitaet Wien), Karl W.
       Kratky (Universitaet Wien)
17:30  Zukunftsperspektiven im Konnektivismus -- eine persoenliche Sicht
       (eingeladen / invited)
       Georg Dorffner (Universitaet Wien)


            Mittwoch, 25. 9. 1991 / Wednesday, 25 Sept. 1991

          Modellbasiertes Schliessen / Model-Based Reasoning:
                   G. Friedrich, F. Lackinger (Wien)

 9:45  Eroeffnung / Opening
       Gerhard Friedrich, Franz Lackinger (Christian Doppler Labor fuer
       Expertensysteme und Technische Universitaet Wien, Oesterreich)
10:00  An analysis of model-based diagnosis using problem reformulation
       D.J. Out, E. Hammink, R.R. Bakker (University of Twente)
10:40  Model-based Diagnosis of Networks
       Marc Riese (Swiss Federal Institute of Technology)
11:20  Diagnosing Temporal Misbehavior
       Gerhard Friedrich, Franz Lackinger (Christian Doppler Labor fuer
       Expertensysteme und Technische Universitaet Wien, Oesterreich)
12:00  Mittagspause / Lunch Break
13:30  Model-based Diagnosis with Constraint Logic Programs
       Igor Mozetic, Christian Holzbaur (Oesterreichisches Forschungs-
       institut fuer Artificial Intelligence und Universitaet Wien)
14:10  Funktionale Modelle in der Konfigurierung
       B. Stein, J. Weiner (Universitaet Duisburg)
14:50  Model Representation and Taxonomic Reasoning in Configuration
       Problem Solving
       R. Klein (Berlin)
15:30  Pause / Break
15:50  Model-based monitoring of continuous-variable processes
       S. Cermignani, G. Tornielli (Cise SpA, Milano)
16:10  Levels of Representation in Constraint Networks
       S. Battle (The Transputer Centre, Bristol)
16:30  Model-based Diagnosis in Telecommunications
       A. Boon, J. Groote, B. Mens, T. Visser (PTT Research, Groningen)
16:50  DPNet: A Model-based Approach for Fault Localization in Power
       Delivery Networks (eingeladen / invited)
       A. Beschta, O. Dressler, H. Freitag, P. Struss (Siemens AG,
       Muenchen)
17:30  System Demonstration of DPNet

   Nicht schon wieder ... / Trading Philosophy for AI? R. Born (Linz)

 9:00  Some Philosophical Remarks on Automatic Proofs
       H. Hrachovec, Ch. Fermueller, P. Krall (Wien)
10:15  Pause / Break
10:45  Ethics and Artificial Intelligence
       O. Neumaier (Salzburg)
11:15  Virtual Reality
       S. Thuermel (Muenchen)
12:00  Mittagspause / Lunch Break
14:00  Computational Philosophy of Science
       E. Oeser (Wien)
15:00  Rules in Knowledge Representation
       F. Annerl, K. Durnwalder, E. Prem, M. Peschl (Wien)
16:00  Pause / Break
16:30  Gotthard Guenther and Artificial Intelligence
       E. Kotzmann (Klagenfurt)
17:15  Intentionality in AI
       R. Born (Linz)
18:00  Abendessen / Supper
20:00  Searching for Certainty
       J. Casti (Wien)
22:00  Ende / End


            Wissenschaftliches Programm / Technical Program
            -----------------------------------------------
           Donnerstag, 26. 9. 1991 / Thursday, 26 Sept. 1991

 9:00  Eroeffnung / Opening
       Hermann Kaindl (Siemens AG und Technische Universitaet Wien)
 9:10  Knowledge-Based Generation of Illustrated Documents (eingeladen /
       invited)
       Wolfgang Wahlster (Universitaet des Saarlandes, Deutschland)
10:10  Pause / Break
10:30  HESDE - A Hypertext based Expert-System debugging Tool
       Craig Boyle, John Schuette (Texas A&M University, USA)
11:10  A Model of Task-oriented Communication based on Principles of
       Rational Action and Interaction
       Helmut Horacek (Universitaet Bielefeld, Deutschland)
11:30  VIE-DU - Dialogue by Unification
       Ernst Buchberger, Elizabeth Garner, Wolfgang Heinz, Johannes
       Matiasek, Bernhard Pfahringer (Oesterreichisches Forschungs-
       institut fuer Artificial Intelligence, Oesterreich)
12:10  Eine deklarative Beschreibung von Linkstilgungsluecken in
       koordinierten Strukturen des Deutschen
       Rudolf Hunze (Siemens AG, Deutschland)
12:50  Mittagspause / Lunch Break
14:00  Applying Artificial Intelligence in Designing for Quality
       Brian Lees (Paisley College, UK)
14:20  Automatische Verfeinerung der Wissensbasis durch maschinelles
       Lernen in einem medizinischen Expertensystem
       Bernhard Nagele, Gerhard Widmer, Werner Horn (Universitaet Wien
       und Oesterreichisches Forschungsinstitut fuer Artificial
       Intelligence, Oesterreich)
15:00  Learning Diagnostic Rules for Power Distribution Systems
       Andrea Leufke, Angelika Hecht, Regine Meunier, Ruxandra
       Scheiterer (Siemens AG, Deutschland)
15:20  Pause / Break
15:40  Modelling Feature Maps by Attributed Parallel Array Grammars
       Rudolf Freund, Martina Kirchmeyer, Friedrich Tafill (Technische
       Universitaet Wien, Oesterreich)
16:20  Design of the SNNS Neural Network Simulator
       Andreas Zell, Niels Mache, Tilman Sommer, Thomas Korb
       (Universitaet Stuttgart, Deutschland)
17:00  Ende / End

18:30  Heuriger / Heurigen Evening


              Freitag, 27. 9. 1991 / Friday, 27 Sept. 1991

 9:00  On the Complexity of Clause Condensing (eingeladen / invited)
       Georg Gottlob (Christian Doppler Labor fuer Expertensysteme und
       Technische Universitaet Wien, Oesterreich)
10:00  Pause / Break
10:20  Deductive Generalization and Meta-Reasoning or How to Formalize
       Genesis
       Gernot Salzer (Technische Universitaet Wien, Oesterreich)
11:00  A Generalized Factorization Rule Based on the Introduction of
       Skolem Terms
       Uwe Egly (TH Darmstadt, Deutschland)
11:40  On Exploiting the Structure of Martin-Loef's Theory of Types
       Andrew Ireland (University of Edinburgh, UK)
12:20  Mittagspause / Lunch Break
13:30  Being Aware of Assumptions
       Maria R. Cravo, Joao P. Martins (Instituto Superior Tecnico,
       Portugal)
14:10  A Mathematical Formulation of Dempster-Shafer's Belief Functions
       Chung-Hung Tzeng (Ball State University, USA)
14:50  Pause / Break
15:10  Qualitative Spatial Reasoning with Cardinal Directions
       Andrew U. Frank (National Center for Geographic Information and
       Analysis, and University of Maine, USA)
15:50  Ende der Tagung / End of the Conference

========================================================================

         Anmeldungskarte - OEGAI-91 - Registration Application
        7. OESTERREICHISCHE ARTIFICIAL INTELLIGENCE TAGUNG 1991
            24.-27. Sept. 1991, Technische Universitaet Wien
------------------------------------------------------------------------
Name: __________________________________________________________________
Adresse / Address:   ___________________________________________________
________________________________________________________________________
________________________________________________________________________
Telefon / Phone:   ______________    Fax:   _______________

Wissenschaftliches Programm / Technical Program
(incl. Tagungsband / Proceedings)
 ( ) by July 15, 1991     AS 1500  ( ) Student under 26  AS 750    _____
 ( ) after July 15, 1991  AS 1900  ( ) Student under 26  AS 950    _____
 ( ) fuer Tutorialteilnehmer /
     for participants of tutorials  AS 1300                        _____
 ( ) OEGAI members may subtract  AS 100                          - _____

Workshops (inkludiert im Tagungsbeitrag / included in the fee above)
 ( ) Konnektionismus / Connectionism (Dienstag / Tuesday)
 ( ) Modellbasiertes Schliessen / Model-Based Reasoning
     (Mittwoch / Wednesday)
 ( ) Nicht schon wieder ... / Trading Philosophy for AI?
     (Mittwoch / Wednesday)

Tutorials
 ( ) A  (Dienstag ganztaegig / Tuesday)
    ( ) A1  Objektorientierte Entwicklung von Expertensystemen
            in C++, oder
    ( ) A2  Qualitatives Schliessen und Modellbasierte Diagnose
 ( ) B  (Mittwoch vormittag / Wednesday morning)
    ( ) B1  Constraint Programmierung, oder
    ( ) B2  Maschinelles Lernen
 ( ) C  (Mittwoch nachmittag / Wednesday afternoon)
    ( ) C1  Technologien fuer Echtzeit-Expertensysteme, oder
    ( ) C2  Konnektionismus

 ( ) A + B + C                AS 4000                              _____
 ( ) A + B oder / or A + C    AS 3200                              _____
 ( ) A oder / or B + C        AS 2300                              _____
 ( ) B oder / or C            AS 1250                              _____
                                                    --------------------
                                                      Total (AS)   _____
------------------------------------------------------------------------

Zahlungsmodus / Method of Payment
 ( ) Ueberweisung auf Konto / Transfer to bank account
     Die Erste oesterreichische Spar-Casse-Bank Wien
     Konto-Nr. 004-71186, BLZ 20111
 ( ) Euro-Scheck / Eurocheque
 ( ) Eine Rechnung wird benoetigt / Bill required

Datum / Date:            Unterschrift / Signature:


========================================================================
Bitte senden Sie Ihre Anmeldung an / Please send your registration to
Univ.Doz. Dr. Hermann Kaindl
Siemens AG Oesterreich, PSE 13, Gudrunstr. 11, A-1101 Wien, Austria

Detaillierte Information zu den Tutorials kann vom Tagungsleiter
Herrn Doz. Kaindl oder vom Tutorialorganisator Herrn Doz. Horn
(Fax: +43-1-630652, E-mail: werner%ai-vie.uucp@relay.eu.net) angefordert
werden.
************************************************************************