Copy Link
Add to Bookmark
Report
Neuron Digest Volume 07 Number 40
Neuron Digest Monday, 15 Jul 1991 Volume 7 : Issue 40
Today's Topics:
Austrian AI Conference 1991
Send submissions, questions, address maintenance and requests for old issues to
"neuron-request@hplabs.hp.com" or "{any backbone,uunet}!hplabs!neuron-request"
Use "ftp" to get old issues from hplpm.hpl.hp.com (15.255.176.205).
----------------------------------------------------------------------
From: siegud!hgz@relay.EU.net
Date: Sat, 29 Jun 91 13:46:24 +0200
Subject: Austrian AI Conference 1991
[ Editor's Note: I'm fairly sure that this conference willbe of interest
primarliy to our European colleagues. I'm not sure whether the language
of the conference will be German or English, since the talks listed
appear to be both, but most of the description is in German. Herr
Ziegler did not provide a translation. Sorry. Perhaps contact him for
more detailed information. Due to the length, this is the only entry in
this Digest. -PM ]]
Could you post the following conference program on the Neuron Digest?
(at least header and list of workshops/tutorials)
Yours sincerely
Holger Ziegeler
| office: Siemens AG Austria phone: +43-1-60171-6166 |
| PSE 13 fax: +43-1-60171-6112 |
| Gudrunstrasse 11 tx: +47-61-32233615 siegud a |
| A-1100 Vienna / Austria email: hgz@siegud.siemens.co.at |
...............................................................PROGRAMM.
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
------------------------------
End of Neuron Digest [Volume 7 Issue 40]
****************************************
