🚀 go-pugleaf

From: "Norbert E. Fuchs" <fuchs@relay.EU.net>
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 13 Jun 90 18:00 +0200
Subject: GWAI Workshop
Keywords: Workshops

mod-ki message 0480
************************************************************************
 GWAI-90 WORKSHOP 12.-13. September 1990
 
LOGIK ALS PROGRAMMIERSPRACHE
 
Logisches Programmieren wird haeufig mit "Programmieren  in  PRO-
LOG"  oder "Programmieren in Hornklausellogik" gleichgesetzt. Auf
diesem Paradigma aufbauend existieren zahlreiche Vorschlaege, lo-
gische  Programmiersprachen zu effizienten Sprachen zu erweitern.
In diesem Workshop soll alternativ dazu untersucht werden wie LO-
GIK  ALS  PROGRAMMIERSPRACHE  eingesetzt  werden kann. Dabei soll
eher der Aspekt der "ausfuehrbaren Spezifikation" und weniger der
der effizienten Implementierung im Vordergrund stehen.
 
Moegliche Themen von Vortraegen und Praesentationen sind z.B.
 
        ausfuehrbare Spezifikationen
        Programmieren auf der Basis Praedikatenlogik 1. Stufe
        Induktionsbeweise und Programmieren
        Formalismen zur Darstellung von Wissen und Programmen
        Programmsynthese
        Meta-reasoning (z.B. Generierung von Kontrolle)
        Kombination mit anderen Paradigmen
        Fragen des Software-Engineering
        Programm-Transformationen (z.B. partielle Deduktion)
 
Einige eingeladene  Vortaege  sollen  in   den  Themenkreis  ein-
fuehren. Bereits zugesagt haben
 
        W. Bibel (TH Darmstadt)
        Programmieren in Praedikatenlogik
 
        A. Herzig (LRI Toulouse)
        Eine modallogische Programmiersprache
 
        C. Walther (TH Darmstadt)
        Induktion und Rekursion
 
Darueber hinaus ist der Workshop als informelle Veranstaltung mit
Vortraegen, Praesentationen und Diskussionen geplant.  Bei Inter-
esse koennen auch Poster praesentiert werden.
 
Der Workshop wird  parallel  zu  den  anderen  GWAI-Workshops  am
Mittwoch,  12.  September, und Donnerstag, 13. September, jeweils
nachmittags  stattfinden.  Die endgueltige  Dauer  des  Workshops
wird  sich  nach  der  Zahl  der  eingereichten  und akzeptierten
Beitraege richten.
 
Diejenigen, die einen  Vortrag  halten  oder  eine  Praesentation
machen  wollen, werden gebeten, einen drei- bis fuenfseitigen Ex-
tended Abstract bis zum 2. JULI an einen der beiden Organisatoren
zu  schicken.  Anschliessend werden von den Organisatoren aus den
eingehenden Extended Abstracts geeignete ausgewaehlt. Bis zum 10.
AUGUST  werden  die Autoren von der Annahme, bzw. Ablehnung ihres
Beitrags unterrichtet. Diejenigen, die ein  Poster  praesentieren
wollen,  werden  gebeten, sich bis zum 1. AUGUST an einen der Or-
ganisatoren zu wenden.
 
Es ist geplant, ueberarbeitete Versionen der Beitraege  in  einem
Tagungsband zu veroeffentlichen.
 
 
Norbert E. Fuchs
Institut fuer Informatik
Universitaet Zuerich
Winterthurerstr. 190
CH-8057 Zuerich
fuchs@ifi.unizh.ch
 
Ulrich Furbach
Institut fuer Informatik
Technische Universitaet Muenchen
Arcisstr. 21
D-8000 Muenchen 2
furbach@lan.informatik.tu-muenchen.dbp.de
************************************************************************