Multiple-Valued Logic
DAGSTUHL Seminar 9744
COST-MVL Conference

27.10.97 - 31.10.97

SCHLOSS DAGSTUHL
INTERNATIONALES
BEGEGNUNGS- UND FORSCHUNGSZENTRUM
FÜR INFORMATIK

Program

Monday, 27.10.

Session 1

9:30 - 9:45 Peter H. Schmitt: Welcome

9:45 - 10:30 Walter Carnielli: Non-deterministic Semantics

Coffee break

Session 2

11:00 - 11:30 Matthias Baaz: Analytic Calculi for Infinitely-valued Logics

11:30 - 12:00 Hiroakira Ono: Lukasiewicz's Many-valued Logics as Logics without Contraction Rule

Lunch break

Session 3

14:00 - 14:30 Reiner Hähnle: Proof Theory of Many-valued Logic and Hardware Design

14:30 - 15:00 Gonzalo Escalada-Imaz: Determining the Truth Degree in Real Time Settings

15:00 - 15:30 Peter Vojtas: Many-valued Logic Programming and Abduction

Coffee break

Session 4

16:00 - 16:30 Rasim Egri and Ismet Erkmen: A New Fuzzy Approach to Unit Committment in Power Systems

16:30 - 17:00 Rinaldo Poluzzi: Soft Computing: Hardware and Software Architectures - Application Prospects

17:00 - 17:30 Hans Jürgen Ohlbach: How to Augment a Logical System with a Boolean Algebra Component

Tuesday, 28.10.

Session 5

9:30 - 10:00 Christian Fermüller: Finite-valued Logics and Classical Proof Theory

10:00 - 10:30 Agata Ciabattoni

Coffee break

Session 6

11:00 - 11:30 Ewa Orlowska: Many-valued Substitutivity Principles

11:30 - 12:00 Felip Manya: Solving the SAT-problem in Regular CNF-formulas

Lunch break

Session 7

14:00 - 14:30 Siegfried Weber: Conditional Objects Based on MV-Algebras

14:30 - 15:00 Ulrich Höhle: Local Existence and the Singleton Monad

15:00 - 15:30 Antonio Di Nola: One Chain Generated Varieties of MV-Algebras

Coffee break

Session 8

16:00 - 16:30 Zbigniew Stachniak: Automated Reasoning in Multiple-valued Logics

16:30 - 17:00 Dirk van Heule and Albert Hoogewijs: The Partial Predicate Calculus, a three-valued Object Logic for ISABELLE

17:00 - 17:30 Erik Rosenthal: Unifying Annotated Resolution and Reduction

Dinner

19:30 COST-MVL Management Committee Meeting (Administrative Part)

Wednesday, 29.10.

Session 9

9:30 - 10:00 Petr Hajek: Foundations of Fuzzy Logic

10:00 - 10:30 Marc Roubens: Some Basic Fuzzy Set Algebraic Operations Revisted

Coffee break

Session 10

11:00 - 11:30 Bernard de Baets: Residuation in Fuzzy Set Theory

11:30 - 12:00 Radko Mesiar: Universal Operations in Fuzzy Logic

Lunch break

Excursion

Thursday, 30.10.

Session 11

9:30 - 10:30 Jeffrey Paris

Coffee break

Session 12

11:00 - 11:30 Patrik Eklund: What is the Role of Logic in Biomedical Engineering?

11:30 - 12:00 Esko Turunen

Lunch break

Session 13

14:00 - 14:30 Costas Drossos: Non-standard Methods in Many-valued Logics

14:30 - 15:00 Luisa Iturrioz: Non-functionally Complete Systems

15:00 - 15:30 Teresa Alsinet Bernado: Fuzzy Unification

Coffee break

Session 14

16:00 - 16:30 Didier Dubois and Henri Prade: Compositionality Issues in Multiple-valued and Uncertainty Logic

16:30 - 17:00 Elena Tsiporkova: Evidence Theory in Modal Logic

17:00 - 17:30 Stephan Lehmke: A Comparison of Particular Logics of Graded Truth and Graded Uncertainty

Friday, 31.10.

Session 15

9:30 - 10:00 Brunella Gerla: Ulam Game and MV-entropy

10:00 - 10:30 Stefano Aguzzoli: McNaughton Functions of One Variable for Automated Deduction in Lukasiewicz Logics

Coffee break

Session 16

11:00 - 11:30 Manuel Ojeda Aciego: The TAS Reduction Method on MVL

11:30 - 12:00 Neil Murray: Parameterized Prime Implicant/Implicate Computations for Regular Logics

Lunch break

14:00 COST-MVL Management Committee Meeting (Scientific Part)


beckert@ira.uka.de, $Date: 1997/10/30 16:21:47 $