🚀 go-pugleaf

From: Manfred Kerber <unido!informatik.uni-kl.de!kerber>
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Thu, 17 May 90 15:29:51 MET DST
Subject: Deduktionstreffen
Keywords: Konferenzen

mod-ki message 0466
************************************************************************
                          EINLADUNG zum
 
     7. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme"
 
         vom 26.-28.9.1990 in Johanniskreuz bei Kaiserslautern

Das  diesjaehrige  Treffen   wird   vom   Fachbereich   Informatik   der
Universitaet   Kaiserslautern   mit   Unterstuetzung    des    Deutschen
Forschungszentrums    fuer    Kuenstliche    Intelligenz    organisiert.
Schwerpunktmaessig werden  die  Kaiserslauterer  Deduktionsgruppen  ihre
Arbeiten vorstellen.

Zu  dem  Treffen  moechten   wir   alle   einladen,   die   im   Bereich
Deduktionssysteme arbeiten oder an diesem  Gebiet  Interesse  haben.  Es
soll zum gegenseitigen Austausch von Erfahrungen dienen  und  Raum  fuer
Diskussionen bieten.

Anreise: Das Jahrestreffen findet in Johanniskreuz  knapp 20 km suedlich
von   Kaiserslautern   an   der   B48   im    Waldhotel    Johanniskreuz
(Tel. 06306/1304) statt.

Fuer  Bahnreisende  bis  Hbf  Kaiserslautern  organisieren  wir  private
Mitfahrgelegenheiten.

Anmeldung: Die Anmeldung zum Fachgruppentreffen erfolgt durch  Einsenden
des Anmeldeformulars unten bis zum
 
                        20. Juli 1990

an die Organisatoren. Bei  spaeterer  Anmeldung  muss  man  sich  zwecks
Unterbringung direkt an das Waldhotel wenden!

Die Adresse der Organisatoren ist:
 
Manfred Kerber, Axel Praecklein
Fachbereich Informatik
Universitaet Kaiserslautern
Postfach 3049
6750 Kaiserslautern
Tel.: 0631/205-3331, 205-3344
email: kerber@informatik.uni-kl.de
       prckln@informatik.uni-kl.de
 

Die Teilnehmergebuehr von 25,00 DM ist beim Treffen zu entrichten.

------------------------------------------------------------------------
------------------------------------------------------------------------
PROGRAMM ZUM 7. DEDUKTIONSTREFFEN
 
MITTWOCH, der 26. September 1990
12:00-14:00 Mittagessen
 
Begruessung
 
14:00-14:05 Manfred Kerber, Axel Praecklein, Uni Kaiserslautern:
            Eroeffnung
14:05-14:10 Christoph Walther, TH Darmstadt: Begruessung durch den
            Fachgruppensprecher
 
Eingeladener Vortrag
 
14:10-16:10 Nicolaas Govert de Bruijn, TU Eindhoven, Niederlande:
            AUTOMATH - ein
            Projekt zur Verifikation von mathematischen Wissenschaften
16:10-16:40 Kaffeepause
 
Typtheorie
 
16:40-17:10 Christoph Kreitz, TH Darmstadt: Realisierung deduktiver
            Mechanismen in der Typen Theorie
17:10-17:30 Michael Kohlhase, Uni Kaiserslautern: Sigma RT - Ein
            sortierter Resolutionskalkuel fuer die Typtheorie
 
Beweisrepraesentation
 
17:30-17:50 Christoph Lingenfelder, Uni Kaiserslautern: Transformation
            und Strukturierung computererzeugter Beweise
17:50-18:10 Huang Xiaorong, Uni Kaiserslautern: A Characterization
            of the Intuitive Concept of Axiom Application
18:10-20:00 Abendessen
20:00-...   Sitzung der Fachgruppe Deduktionssysteme
 
 
DONNERSTAG, der 27. September 1990
 
Logik

 9:00- 9:30 Andreas Nonnengart, Hans Juergen Ohlbach, Uni Kaiserslautern:
            TICS - Techniques for Inferences in Communicating Systems
 9:30- 9:50 Detlef Fehrer, Uni Kaiserslautern: Ein Resolutionskalkuel
            fuer eine Logik zur Behandlung definitorischer Unschaerfe
 9:50-10:20 Christoph Weidenbach, Uni Kaiserslautern: A Resolution
            Calculus with Dynamic Sort Structures and Partial Functions
10:20-10:40 Manfred Kerber, Uni Kaiserslautern: Uebersetzungen von
            mathematischen Konzepten in Logik erster Stufe
10:40-11:10 Kaffeepause
11:10-11:40 Bertram Fronhoefer, TU Muenchen: Default Connections in a
            Modal Planning Framework
 
Gleichheitsbeweisen
 
11:40-12:00 Bernhard Gramlich, Uni Kaiserslautern: Praktische Aspekte
            vervollstaendigungsbasierten Induktionsbeweisens
12:00-12:20 Joachim Steinbach, Michael Zehnter, Uni Kaiserslautern:
            Polynomordnungen fuer Terminierungsbeweise
12:20-12:40 Joerg Denzinger, Uni Kaiserslautern: Einbau des
            Gleichheitspraedikats in einen Theorembeweiser mit Hilfe
            der Vervollstaendigung: Das EQTHEOPOGLES-System
12:40-13:00 Axel Praecklein, Uni Kaiserslautern: Loesen von
            Gleichheitsproblemen mit einem Klauselgraphbeweiser
13:00-15:00 Mittagspause
 
Wissensrepraesentation

15:00-15:30 Hans-Juergen Buerckert, DFKI Kaiserslautern:
            Das DFKI-Projekt WINO
15:30-16:00 Werner Nutt, DFKI Kaiserslautern: Inferenz in KL-ONE:
            Algorithmen und Komplexitaet
16:00-16:20 Bernhard Hollunder, DFKI Kaiserslautern: Verallgemeinerte
            Quantoren in KL-ONE-basierten Systemen
16:20-16:50 Franz Baader, DFKI Kaiserslautern: Terminologische Zyklen
            in KL-ONE-artigen Wissensrepraesentationssprachen
16:50-17:20 Kaffeepause
 
Parallelitaet
 
17:20-17:40 Ulrich Assmann, Uni Bonn: Parallelitaet als
            effizienzsteigernde Methode fuer automatische Beweissysteme
17:40-18:00 Ulrich Furbach, TU Muenchen: Parallelisierung von
            Inferenzsystemen
 
Problem Corner
18:00-18:30 Vorstellung aktueller Probleme
19:00-...   Kaltes Buffet
 

FREITAG, der 28. September 1990
 
Konnektionismus

 9:00- 9:20 Hans Werner Guesgen, Steffen Hoelldobler, ICSI Berkeley, USA:
            Inferenz in konnektionistischen Systemen

Software-Engineering
 
 9:20- 9:50 Martin Weigele, Uni Hamburg: Eigenschaften von
            Datenbanksystemen und mathematisches Software-Engineering
 9:50-10:10 Siegfried Meggendorfer, Peter Baumgartner, TU Muenchen:
            Knowledge and Deduction Based Software Retrieval
10:10-10:40 Roland Fettig, Uni Kaiserslautern: Anwendungen von
            Rewrite-Methoden zur Programmsynthese - Steuerungsaspekte
            und Vergleich
10:40-11:10 Kaffeepause
 
Prolog
 
11:10-11:40 Reinhold Letz, TU Muenchen: Klassische Negation und
            Logikprogrammierung
11:40-12:00 Juergen Mueller, DFKI Kaiserslautern: Zeitliches Schliessen
            mit Prolog
12:00-12:30 Andreas Zell, Wolfgang Becker, Uni Stuttgart: Eine
            Prolog-basierte Time-Reasoning-Komponente
12:30-12:50 David M. W. Powers, Uni Kaiserslautern: Connection Graphs
            for Logic Programming
12:50-13:00 Schlusswort
13:00       Mittagessen
 
------------------------------------------------------------------------
------------------------------------------------------------------------
 
Anmeldung zum 7. Jahrestreffen der
GI-Fachgruppe 1.2.1 "Deduktionssysteme"
 
 
Familienname          .................................
 
 
Vorname               .................................
 
 
Adresse     ............................................................
 

            ............................................................
 
 
            ............................................................
 

email              .................................
 
 
Telefonnummer       .................................


Zimmerreservierung:
-------------------

Ich moechte im Waldhotel Johanniskreuz  vom  26.-28.9.1990  uebernachten
und zwar (Preise pro Person und Tag, Uebernachtung  mit  Fruehstueck  in
DM)
 
Einzelzimmer  Preiskategorie       42,- bis 48,-       [ ]
Einzelzimmer  Preiskategorie       55,- bis 80,-       [ ]
Doppelzimmer  Preiskategorie       36,- bis 40,-       [ ]
Doppelzimmer  Preiskategorie       45,- bis 60,-       [ ]
 
Falls kein Zimmer in der entsprechenden Preislage vorhanden ist,
moechte ich ein billigeres [ ], teureres [ ], keins [ ].
 
Im Falle eines Doppelzimmers, zusammen mit: ...................................
 
Ich moechte nicht im Waldhotel uebernachten [ ].

Ich moechte vom Hauptbahnhof Kaiserslautern abgeholt werden. Ja [ ] Nein [ ]
 
 
Unterschrift   ...............................................

************************************************************************