Program |
||
|
||
13.00 - 14.00 |
Registration and Welcome Reception | |
14.00 - 14.10 |
Opening | |
14.10 - 15.10 |
Petr Hajek (Prague, Czech Republic): | |
| "On set theory in fuzzy logic" [abstract] | ||
15.10 - 15.40 |
Norbert Preining (Vienna, Austria): | |
| "Semantics of Gödel logics" [abstract] | ||
15.40 - 16.00 |
Petr Cintula, Ondrej Majer (Prague, Czech Republic): | |
| "Evaluation games in fuzzy logics" [abstract] | ||
16.00 - 16.30 |
Discussion and Coffee Break | |
16.30 - 17.30 |
Peter Vojtas (Kosice, Slovak Republic): | |
| "Relations between deductive and inductive models of imperfect information and knowledge" [abstract] | ||
17.30 - 18.20 |
Richard Zach (Calgary, Canada): | |
| "Semantics for vagueness vs. logics for vagueness: The case of fuzzy logics" [abstract] | ||
|
||
09.00 - 10.00 |
Arnon Avron (Tel-Aviv, Israel): | |
| "Non-deterministic multiple-valued structures -- a general semantic framework" [abstract] | ||
10.00 - 11.00 |
Ewa Orlowska (Warsaw, Poland): | |
| "Semantic framework for lattice-based logics" [abstract] | ||
11.00 - 11.30 |
Discussion and Coffee Break | |
11.30 - 12.30 |
Beata Konikowska (Warsaw, Poland): | |
| "From semantics to deduction with Rasiowa-Sikowski methodology" [abstract] | ||
12.30 - 13.20 |
Lluis Godo (Bellaterra, Spain): | |
| "Reasoning with partial degrees of truth in t-norm based fuzzy logics" [abstract] | ||
13.00 |
Lunch | |
14.45 - 18:30 |
ERCIM Workshop | |
|
||
09.00 - 10.00 |
Ulrich Höhle (Wuppertal, Germany): | |
| "Local Existence in Monoidal Logics" [abstract] | ||
10.00 - 10.45 |
Daniele Mundici (Florence, Italy): | |
| "Regularity conditions for nonboolean partitions and projective lattice-ordered groups" [abstract] | ||
10.45 - 11.15 |
Discussion and Coffee Break | |
11.15 - 12.15 |
Hiroakira Ono (Ishikawa, Japan): | |
| "Predicate logics around Gödel logic -- completeness problem and expressive power" [abstract] | ||
12.15 - 12.45 |
Arnold Beckmann (Vienna, Austria): | |
| "On a connection between Gödel logics and linearly ordered Kripke frames" [abstract] | ||
13.05 |
Lunch | |
14.45 - 18:30 |
ERCIM Workshop | |
|
||
09.00 - 10.00 |
Didier Dubois (Toulouse, France): | |
| "Some remarks on truth-values and degrees of belief" [abstract] | ||
10.00 - 11.00 |
Piero Bonatti (Napoli, Italy): | |
| "Fuzzy description logics for knowledge representation" [abstract] | ||
11.00 - 11.30 |
Discussion and Coffee Break | |
11.30 - 12.15 |
Reiner Haehnle (Göteborg, Sweden): | |
| "Many-valued logic in formal specification language" [abstract] | ||
12.15 - 12:45 |
Libor Behounek (Prague, Czech Republic): | |
| "Fuzzy intensional Semantics and Its Applications" [abstract pdf] [abstract ps] | ||
12:45 |
Lunch | |
14.15 - 17:40 |
ERCIM Workshop | |
|
||
09.00 - 10.00 |
Dov Gabbay (London, England): | |
| "Temporal Dynamics of Argumentation Networks" [abstract] | ||
10.00 - 11.00 |
Viorica Sofronie-Stokkermans (Saarbrücken, Germany): | |
| " Representation theorems for lattice-ordered structures and automated theorem proving in non-classical logics" [abstract] | ||
11.00 - 11.30 |
Discussion and Coffee Break | |
11.30 - 11:50 |
Petr Cintula, Libor Behounek (Prague, Czech Republic): | |
| "From Fuzzy Logic to Fuzzy Mathematics: Methodological Aspects" [abstract] | ||
11:50 - 12.50 |
Christian Fermüller (Vienna, Austria): | |
| "Revisiting Giles: On Bets, Dialogue Games, Fuzzy logics, and Hypersequents" [abstract] | ||
12.50 |
Lunch | |
14.30 - 15.30 |
George Metcalfe (Vienna, Austria): | |
| "Uninorm based Fuzzy Logics" [abstract] | ||
15.30 - 16.10 |
Susana Muñoz Hernández (Madrid, Spain): | |
| "Fuzzy Prolog Evolution: Implementation vs Semantics" [abstract] | ||
16.10 - 17:00 |
Discussion and Coffee Break | |
Evening |
Social dinner. |
Place: Eischers Kronenstüberl |
Neustift am Walde 87 1190 Wien, Neustift am Walde Phone: 01 / 440 29 38 |
||
|
||
09.00 - 10.00 |
Albert Visser (Utrecht, Netherlands): | |
| "The Janus Faced Nature of Polish Notation" [abstract] | ||
10.00 - 10.45 |
Francesc Esteva (Bellaterra, Spain): | |
| "Exploring algebraic aspects of t-norm based logics: work in progress" [abstract] | ||
10.45 - 11.15 |
Discussion and Coffee Break | |
11.15 - 12.00 |
Sandor Jenei (Pécs, Hungary): | |
| "On monoidal operations for non-classical logics" [abstract] | ||
12.00 - 13.00 |
Irina Perfilieva (Ostrava, Czech Republic): | |
| "Functional systems of BL-algebras: characterization and canonical representation" [abstract] | ||
13.00 |
Lunch | |
14.30 - Open end |
Final Discussion | |
