VSL 2014: VIENNA SUMMER OF LOGIC 2014
PRUV PROGRAM

Days: Wednesday, July 23rd Thursday, July 24th

Wednesday, July 23rd, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-09:15 Session 161C: Opening
Location: FH, Seminarraum 107
09:15-10:15 Session 163: Invited Talk
Location: FH, Seminarraum 107
10:15-10:45Coffee Break
10:45-12:15 Session 166M: Vagueness to some degree
Location: FH, Seminarraum 107
10:45
In Which Sense Is Fuzzy Logic a Logic for Vagueness? (abstract)
11:15
Stable Models of Fuzzy Propositional Formulas (abstract)
11:45
Towards a Logic of Dilation (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 172L: Reasoning for Vagueness perhaps
Location: FH, Seminarraum 107
14:30
Similarity-based Relaxed Instance Queries in EL++ (abstract)
15:00
Resolution and Clause Learning for Multi-Valued CNF Formulas (abstract)
15:30
Many-valued Horn Logic is Hard (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 175M: Favorite reasoning procedures for preferences
Location: FH, Seminarraum 107
16:30
Learning Preferences for Collaboration (abstract)
17:00
Computing k-Rank Answers with Ontological CP-Nets (abstract)
17:30
Multi-Attribute Decision Making using Weighted Description Logics (abstract)
Thursday, July 24th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-12:15 Session 183G: Ontology-based reasoning, probably
Location: FH, Seminarraum 107
10:45
Answering Ontological Ranking Queries Based on Subjective Reports (abstract)
11:15
A New DL‐Lite N Bool Probabilistic Extension Using Belief (abstract)
11:45
Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics (abstract)
13:00-14:30Lunch Break
16:00-16:30Coffee Break