🚀 go-pugleaf

From: HDSTUECK@DS0LILOG.BITNET
To: mod-ki@unido.uucp
Date: Thu, 10 Aug 89 14:15:19 CET
Subject: Treffen der FG Deduktionssysteme Herbst 89
Keywords: GI-Fachgruppen

mod-ki message 0277
************************************************************************
                               Einladung
 
   zum  6. Jahrestreffen der GI-Fachgruppe  1.2.1 "Deduktionssysteme"

        vom 18. - 20. Oktober 1989  in Lautenbach / Schwarzwald
                  ___________________________________

Das diesjaehrige Treffen wird vom Institut fuer Wissensbasierte  Systeme
(IWBS) der IBM Deutschland organisiert. Dieses Institut ist ein Teil des
Wissenschaftlichen Zentrums der IBM und besteht aus Forschungsgruppen in
Heidelberg  und  Stuttgart.  Das  IWBS,  das  Fraunhofer  Institut  fuer
Arbeitswirtschaft und  Organisation,  Stuttgart,  und  eine  Gruppe  aus
Karlsruhe werden schwerpunktmaessig ihre Arbeiten vorstellen.

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

Anreise: Das Jahrestreffen findet in  Lautenbach  im  Schwarzwald,  etwa
40km suedlich von Karlsruhe, statt. Bei Anreise mit  dem  PKW  verlaesst
man  die  BAB  5  Karlsruhe - Basel  bei  der  Anschlussstelle  Rastatt,
weiter auf der B 462  bis  Gernsbach,  dort  Abzweigung  links  Richtung
Lautenbach. Aus Richtung Stuttgart kann man auch  ueber  Pforzheim - Bad
Herrenalb nach Lautenbach kommen.

Fuer Bahnreisende bis Hbf Karlsruhe steht am 18.10. fuer die  Teilnehmer
ein Bustransfer zur Verfuegung. Der  Bus  wartet  am  Busbahnhof -  nach
Verlassen des Hauptbahnhofs 50m rechts  Richtung  Bahnhofspost.  Abfahrt
des Busses ist 11.20 Uhr (aus allen  Richtungen  kommen  wichtige  Zuege
gegen 11.00 Uhr an).

Anmeldung: Die Anmeldung zum Fachgruppentreffen erfolgt durch  Einsenden
des Anmeldeformulars (siehe unten) bis zum 20.9.89 an

Uli Hedtstueck, IBM  Deutschland  GmbH,  Institut  fuer  Wissensbasierte
Systeme, Postfach 80 0880, 7000 Stuttgart 80

Unterbringung:  Das  Fachgruppentreffen  findet  im   Hotel   Sonne   in
Lautenbach statt (evtl. bekommen wir fuer die Vortraege die  Stadthalle,
die  ganz  in  der  Naehe  des  Hotels  ist ).   Jeder  Teilnehmer,  der
uebernachten   will,   muss   sich   direkt   mit    dem    beiliegenden
Reservierungsformular (siehe unten) im

 Hotel " Zur Sonne", Lautenbach / Murgtal, 7562 Gernsbach 4,
 Tel. 07224 / 2602

anmelden. Leider steht nur eine begrenzte Anzahl  an  Einzelzimmern  zur
Verfuegung. Buchen Sie deshalb nach Moeglichkeit  die  Unterbringung  in
Doppelzimmern. Die Vollpension im Hotel kostet fuer  2 Tage  pro  Person
insgesamt DM 120 - DM 180 (je nach Komfort), im Einzelzimmer  20 - 40 DM
mehr.

Bei weiteren Fragen wenden Sie sich bitte an Uli Hedtstueck
(Tel. 0711 / 6695 537) oder an
Wolfgang Wernecke, IBM Deutschland GmbH Institut fuer Wissensbasierte
Systeme, Wilckensstr. 1a, 6900 Heidelberg  1, Tel.: 06221  / 404 309.

xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Vorlaeufiges Programm fuer das 6. Jahrestreffen der GI-Fachgruppe
"Deduktionssysteme" in Lautenbach/Schwarzwald,
18.-20. Oktober 1989

Mittwoch, 18. Oktober
 
11.20 - 12.30  Bustransfer Karlsruhe Hbf - Lautenbach
------------------------------------------
12.30 - 14.20  Mittagspause
------------------------------------------
14.20 - 14.30  Begruessung
------------------------------------------
14.30 - 15.00  U. Pletat (IWBS LILOG): Die
               Wissensrepraesentationssprache LLILOG II
15.00 - 15.30  S. Boettcher (IWBS / Uni Hamburg): Logikprogrammierung
               und Datenbanken in PROTOS-L
15.30 - 16.00  U. Hedtstueck (IWBS LILOG): Verarbeitung von
               Sorteninformationen in LILOG
------------------------------------------
16.00 - 16.30  Pause
------------------------------------------
16.30 - 17.00  B. Hummel (Uni Karlsruhe): !ber die Generalisierung
               von Formeln im Karlsruher Induktionssystem INKA
17.00 - 17.30  D. Hutter (Uni Karlsruhe): Verwendung von
               Induktionshypothesen in Induktionsbeweisen
17.30 - 18.00  C. Walther (Uni Karlsruhe): On Proving the Termination
               of Algorithms by Machine

Donnerstag, 19. Oktober
 
 9.00 -  9.30  W. Schoenfeld (IWBS ILFA): Der Tableau-Kalkuel als
               Basis fuer Logik-Programmierung
 9.30 - 10.00  W. Wernecke (IWBS ILFA): Erweiterungen des
               Tableau-Kalkuels
10.00 - 10.30  W. Stephan (Uni Karlsruhe / ILFA):Integration von
               prozeduralen Konstrukten in Logik-Sprachen
------------------------------------------
10.30 - 11.00  Pause
------------------------------------------
11.00 - 11.25  A. Schmuecker (IWBS ILFA): Optimierung von Logik-
               Programmen
11.25 - 11.50  A. Zell, T. Braeunl (Uni Stuttgart): DFID: Eine
               alternative Suchstrategie fuer Prolog
11.50 - 12.15  C. Beierle (IWBS PROTOS): Das PROTOS-Projekt
12.15 - 12.40  A. Goerdt (Uni Duisburg  / ILFA): Leistungsfaehigkeit
               von Resolutionsrestriktionen
------------------------------------------
12.40 - 14.30  Mittagspause
------------------------------------------
14.30 - 15.00  E. Koenig (Uni Stuttgart / LILOG): Parsing als
               Theorembeweisen am Beispiel des Lambek-Kalkuels
15.00 - 15.30  U. Reyle (Uni Stuttgart / LILOG): Ein Beweisverfahren fuer
               Diskursrepraesentationsstrukturen
15.30 - 16.00  K. Schlechta (IWBS LILOG): Zur Semantik von
               Default-Schluessen
---------------------------------------
16.00 - 16.30  Pause
---------------------------------------
16.30 - 16.55  T. Bollinger (IWBS LILOG): Die LILOG-Inferenzmaschine
16.55 - 17.20  A. Maier (RWTH Aachen / LILOG): Ordnungssortierte
               Unifikation und Sortenverbandsverarbeitung in LILOG-DB
17.20 - 17.45  B. Fronhoefer (TU Muenchen): Default Connections in a
               Modal Planning Framework
17.45 - 18.10  R. Letz (TU Muenchen): SETHEO: Ein Theorembeweiser
               mit Prolog-Performanz

Freitag, 20. Oktober

 9.00 -  9.30  J. Hoepelman (FHG Stuttgart): Behandlung von
               kontrafaktischen Konditionalsaetzen in einem
               dialog-logischen Ansatz
 9.30 - 10.00  A. J. M. van Hoof (FHG Stuttgart): Behandlung von
               Relevanz in einem dialog-logischen Ansatz
10.00 - 10.30  J. Machate (FHG Stuttgart): Definition und Interpretation
               von Fokusoperatoren in einem dialog-logischen Ansatz
------------------------------------------
10.40 - 11.00  Pause
------------------------------------------
11.00 - 11.25  H. Gust (Uni Osnabrueck / LILOG): Realisierung
               funktionaler Techniken in Prolog
11.25 - 11.50  K. Eberle (Uni Stuttgart / LILOG): Temporales Schliessen^
               in natuerlichsprachlichen Systemen
11.50 - 12.15  S. Pribbenow ( Uni Hamburg / LILOG): Raeumliches
               Schliessen
12.15 - 12.40  M. Kerber (Uni Kaiserslautern): Repraesentation
               mathematischer Konzepte mithilfe von Frames
12.40 - 12.45  Schlusswort
------------------------------------------
12.35 - 14.15  Mittagspause
------------------------------------------
14.15 - 15.30  Bustransfer Lautenbach - Karlsruhe Hbf
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

                    Anmeldeformular
                    ---------------

zum 6. Jahrestreffen der Fachgruppe "Deduktionssysteme"
vom 18. - 20. Oktober 1989  in Lautenbach / Schwarzwald
 
 
 
Dr. Uli Hedtstueck
Institut fuer Wissensbasierte Systeme
IBM Deutschland GmbH
Postfach 80 0880
7000 Stuttgart 80
 
 
 
 
Name:      _________________________________________________
 
Anschrift: _________________________________________________
 
           _________________________________________________
 
           _________________________________________________
 
           _________________________________________________
 
Telefon:   _________________________________________________
 
 
Ich beabsichtige am Fachgruppentreffen teilzunehmen.
 
 
 
Ich nehme am Bustransfer von Karlsruhe Hbf nach
Lautenbach am Mittwoch, 18. Oktober 89, teil.
 
 
Ich nehme am Bustransfer von Lautenbach nach
Karlsruhe Hbf am Freitag, 20. Oktober 89, teil.
 
 
(Bitte moeglichst verbindlich ankreuzen, damit wir richtig planen koennen)

 
____________        ______________________________
Datum               Unterschrift
 

xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

                 Reservierungsformular
                 _____________________

6. Jahrestreffen der Fachgruppe Deduktionssysteme
vom 18. - 20. Oktober 1989 in Lautenbach/Schwarzwald
 
Hotel Zur Sonne
Lautenbach/Murgtal
7562 Gernsbach 4
 

 
Name: ______________________________________________________
 
Anschrift: ______________________________________________________
 
           ______________________________________________________
 
           ______________________________________________________
 
           ______________________________________________________
 
Telefon:   ______________________________________________________
 
 
Ich habe mich am _______________________ zum 6. Jahrestreffen der
Fachgruppe Deduktionssysteme (18.10.89 - 20.10.89) angemeldet und
reserviere:
 
2 Tage Vollpension, Zimmer mit fl. k. + w. Wasser:
DM 120,-- (Doppelzimmer) / DM 140,-- (Einzelzimmer)
 
2 Tage Vollpension, Zimmer mit Dusche u. WC:
DM 150,-- (Doppelzimmer) / DM 170,-- (Einzelzimmer)
 
2 Tage Vollpension, komf. Zimmer mit Dusche u. WC:
DM 180,-- (Doppelzimmer) / DM 220,-- (Einzelzimmer)

 

Bei Unterbringung in Doppelzimmer: Ich wuensche Unterbringung
zusammen mit
 
___________________________________________________.
 
 
Bei Abweichungen von den Terminen 18.10./20.10. setzen
Sie sich bitte direkt mit dem Hotel (TEL.(07224) 26 02)
in Verbindung.
 
 
 
Datum                  Unterschrift

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