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
09:00-10:15 Session 182D: Invited Talk: Gabriele Kern-Isberner
Location: FH, Seminarraum 107
09:00 | TBA (abstract) |
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
14:30-16:00 Session 185D: Demo session & closing
Location: FH, Seminarraum 107
16:00-16:30Coffee Break