PRUV 2014 PROCEEDINGS

Editors: Thomas Lukasiewicz, Rafael Peñaloza and Anni-Yasmin Turhan

Authors	Title	Paper	Talk
Erman Acar and Christian Meilicke	Multi-Attribute Decision Making using Weighted Description Logics		Jul 23 17:30
Eva Armengol	Learning Preferences for Collaboration		Jul 23 16:30
Libor Behounek	In Which Sense Is Fuzzy Logic a Logic for Vagueness?		Jul 23 10:45
Christoph Beierle, Markus Höhnerbach and Marcus Marto	Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics		Jul 24 11:45
Stefan Borgwardt, Marco Cerami and Rafael Peñaloza	Many-valued Horn Logic is Hard		Jul 23 15:30
Arina Britz and Ivan Varzinczak	Towards a Logic of Dilation		Jul 23 11:45
Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Simari and Oana Tifrea-Marciuska	Computing k-Rank Answers with Ontological CP-Nets		Jul 23 17:00
Andreas Ecke	Similarity-based Relaxed Instance Queries in EL++		Jul 23 14:30
Joohyung Lee and Yi Wang	Stable Models of Fuzzy Propositional Formulas		Jul 23 11:15
Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu and Gerardo Simari	Answering Ontological Ranking Queries Based on Subjective Reports		Jul 24 10:45
David Mitchell	Resolution and Clause Learning for Multi-Valued CNF Formulas		Jul 23 15:00