PRUV ON WEDNESDAY, JULY 23RD: TALK VIEW

Days:

next day

all days

View: with abstracts session overview side by side with other conferences

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

09:00-09:15 Opening

09:15-10:15 Invited Talk

10:45-11:15

In Which Sense Is Fuzzy Logic a Logic for Vagueness?

Libor Behounek

11:15-11:45

Stable Models of Fuzzy Propositional Formulas

Joohyung Lee, Yi Wang

11:45-12:15

Towards a Logic of Dilation

Arina Britz, Ivan Varzinczak

14:30-15:00

Andreas Ecke

15:00-15:30

Resolution and Clause Learning for Multi-Valued CNF Formulas

David Mitchell

15:30-16:00

Many-valued Horn Logic is Hard

Stefan Borgwardt, Marco Cerami, Rafael Peñaloza

16:30-17:00

Learning Preferences for Collaboration

Eva Armengol

17:00-17:30

Computing k-Rank Answers with Ontological CP-Nets

T. Di Noia, T. Lukasiewicz, M.V. Martinez, G. Simari, O. Tifrea-Marciuska

17:30-18:00

Multi-Attribute Decision Making using Weighted Description Logics

Erman Acar, Christian Meilicke

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break