Skip to main content

Event Category

Veranstaltung

Article available in the folowing languages:

LID'96 - Internationaler Workshop über Logik in Datenbanken

Ein internationaler Workshop über "Logik in Datenbanken" wird vom 1.-2. Juli 1996 in Pisa, Italien, stattfinden. Der Workshop wird anläßlich der zwischen der EU und den USA vereinbarten Kooperationsaktivitäten organisiert, die gemeinsam im Rahmen der beiden Gemeinschaftsprogra...

1 Juli 1996 - 1 Juli 1996
Italien

Ein internationaler Workshop über "Logik in Datenbanken" wird vom 1.-2. Juli 1996 in Pisa, Italien, stattfinden. Der Workshop wird anläßlich der zwischen der EU und den USA vereinbarten Kooperationsaktivitäten organisiert, die gemeinsam im Rahmen der beiden Gemeinschaftsprogramme 'ESPRIT' und 'Sicherheit bei der Kernspaltung' finanziert werden.

Der Workshop soll die auf Logik basierenden Methoden und Verfahren ermitteln und fördern, die für Design und Entwicklung der zukünftigen Generation von Informationssystemen am wichtigsten sind. Zu diesem Zweck werden Experten aus den Bereichen Datenbanken, Computer-Logik und intelligente Informationssysteme auf dem Workshop zusammenkommen.

Zum Themenbereich des Workshops gehören unter anderem technische Fortschritte in den folgenden Bereichen:

- Aktionen, Agenten und aktive Regeln in Logik und Datenbanken;
- Zeitliche Beweisführung bei Logik und Datenbanken;
- Unbestimmte und angenäherte Beweisführung;
- Nicht deterministische Abfrage, Ausdrucksfähigkeit von Abfragesprachen, nicht monotone Beweisführung bei deduktiven Datenbanken;
- Anwendungen: Wissensbestimmung und semantische Integration bei heterogenen Datenbanken.

Wer zu einem der obengenannten Themen einen Vortrag halten möchte, wird darum gebeten, seinen Vorschlag bis zum 1. April 1996 an einen der beiden Programmvorsitzenden zu senden. Elektronische Dokumente in PostScript sind willkommen.

Weitere Informationen erteilt:

Università di Pisa
Dino Pedreschi
LID'96 - Programme co-chair
Dipartimento di Informatica
Corso Italia 40
IT-56125 Pisa
Tel. +39-50-887252; Fax +39-50-887226
E-mail: pedre@di.unipi.it

oder

University of California
Carlo Zaniolo
LID'96 - Programme co-chair
Department of Computer Science
Los Angeles
CALIFORNIA 90024
USA
E-mail: zaniolo@cs.ucla.edu

Weitere Informationen über die Konferenz sind auch über das Internet erhältlich unter:

http://www.di.unipi.it/LID96/info.html