Universität Bielefeld - Technische Fakultät

Workshop 4

Verarbeitung aussagenlogischer Probleme


Organisation:
Peter Barth (MPII Saarbrücken), Hans Kleine Büning (Universität-GH Paderborn), Christoph Weidenbach (MPII Saarbrücken)

Workshopbeschreibung:

Obwohl die Aussagenlogik eine relativ ausdrucksschwache Logik ist, existieren für sie eine Fülle von Anwendungen sowohl in der KI als auch in der Informatik allgemein (z.B. Truth Maintenance Systeme, nicht-monotone Logiken, deduktive Datenbanken, Hardwareverifikation). Gerade in den letzten Jahren gab es daher ein erneutes Interesse an aussagenlogischen Problemen, welches eine Reihe von Lösungsverfahren, Implementierungstechniken und theoretischen Resultaten hervorbrachte. Wir wollen dieser Entwicklung mit diesem Workshop Rechnung tragen. Viele aussagenlogische Probleme sind als NP-vollständig bekannt. Trotzdem ist es wegen der praktischen Relevanz dieser Probleme notwendig, spezifische Approximations- und Lösungsverfahren zu entwickeln und zu implementieren. Deshalb ist insbesondere auch die Evaluation von konkreten Implementierungen ein Ziel des Workshops.

Geplante Vorträge:

Eingeladener Vortrag: N.N.

A. Heuerding: LWB - A Logics Workbench
G. Aguilera: A new tool for a general approach to ATP's
E.A. Hirsch: A fast deterministic algorithm for CNF with a large fraction of satisfying assignments
T. Lettmann: Closure under Replacements and Run-time of Davis-Putnam Algorithms
J.W. Freeman: Improvements to the Davis-Putnam Procedure for Satisfiability
G. Governatori: KE: Beyond Refutation
J.D. Horton: A Top Down Algorithm to Find Minimal Clause Trees
J. Posegga: A First-Order Calculus Based on Propositional BDDs
A. Ramesh: Propositional Non Clausal Deduction and Diagnosis
P. Marquis: From Theory Prime Implicates Compilations to Minimal Implicates Compilations
B. Beckert: Anti-Links for Boolean Function Manipulation

An die Vorträge schließen sich gegebenenfalls Systemdemonstrationen an.

Kontaktadresse:

Christoph Weidenbach
Max-Planck-Institut für Informatik
Im Stadtwald
66123 Saarbrücken
Tel.: 0681/5430, Fax.: 0681/5401
email: weidenb@mpi-sb.mpg.de
www:http://www.mpi-sb.mpg.de/guide/cpl95.html

Ipke Wachsmuth, 1995-01-31
Anke Bodzin, 1995-07-13