Thread View: dnet.general
1 messages
1 total messages
Started by Chris Schmidt
Fri, 28 Jun 1991 14:13
OEGAI'91 Programm
Author: Chris Schmidt
Date: Fri, 28 Jun 1991 14:13
Date: Fri, 28 Jun 1991 14:13
361 lines
27054 bytes
27054 bytes
--
From: Holger G Ziegeler <hgz@siegud.siemens.co.at>
Date: Wed, 26 June 1991, 15:24:50 MET DST (+0200)
Subject: OEGAI'91 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
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads