First Meeting of the
"Logical Models of Reasoning with Vague Information" (LOMOREVI)

IIIA -CSIC (Campus of the Autonomous University of Barcelona)
November 4-5, 2008

What is LOMOREVI?

The project "Logical Models of Reasoning with Vague Information" (LOMOREVI) is a three years project funded by the Eurocores LogICCC programme. The project will be running from September 2008 until September 2011. It has three different partners: the Vienna group (project leader: Christian Fermüller), the Prague group (principal investigator: Petr Hájek) and the Barcelona group (principal investigator: Lluís Godo). This project focuses on logical aspects of processing vague information and aims at formal models that may serve as bridges between deductive fuzzy logics and various theories of vagueness. It also examines relations to other forms of imperfect information and connections to data extraction.

Location of the Meeting

The first joint meeting of the group will be held at IIIA-CSIC under the organization of the Barcelona group.

Schedule Tuesday 4

Title       Speaker
10:00 11:00    LoMoReVI beyond mathematical fuzzy logic Christian Fermüller (Vienna)
11:00 11:30 COFFEE BREAK
11:30 12:30 The Prague Group Petr Cintula and Ondrej Maier (Prague)
12:30 13:00 The Barcelona Group Lluis Godo (Barcelona)
13:00 15:00 LUNCH
15:00 15:30 Towards Models of Argument on Top of Fuzzy Logics Teresa Alsinet and Lluis Godo (Barcelona)
15:30 16:30 On Fuzzy Modal Logics Félix Bou (Barcelona)
16:30 17:00 COFFEE BREAK
17:00 18:00 Discussion on Organization and Management of the Project
20:30 DINNER

Schedule Wednesday 5

Title       Speaker
10:00 10:30    What is a fuzzy logic? Petr Cintula (Prague) and Carles Noguera (Barcelona)
10:30 11:00 On Fuzzy Description Logics Angel García Cerdaña and Francesc Esteva (Barcelona)
11:00 11:30 COFFEE BREAK
11:30 12:00 Redundancy of axiomatic systems of BL and MTL Karel Chvalovsky (Prague)
12:00 13:00 Open Discussion on future research and collaborations