Preface This volume contains the papers presented at PRUV 2014: First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness held on July 22-23, 2014 in Vienna. There were 13 submissions. Each submission was reviewed by two program committee members. The committee decided to accept 12 papers. The main goal of PRUV is to bring together the different communities work- ing with logical formalisms for representing and reasoning about preferences, un- certainty, and vagueness. Together with the contributed publications, the work- shop had invited talks and a demo session, for showcasing existing tools. We want to thank all the authors, members of the Programme Committee, and external reviewers. Their effort was the cause of the success of PRUV 2014. We hope that this workshop is only the first step towards a continued series of events. June 11, 2014 Thomas Lukasiewicz Dresden Rafael Peñaloza Anni-Yasmin Turhan v Table of Contents Multi-Attribute Decision Making using Weighted Description Logics . . . . . 1 Erman Acar and Christian Meilicke Learning Preferences for Collaboration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 Eva Armengol In Which Sense Is Fuzzy Logic a Logic for Vagueness? . . . . . . . . . . . . . . . . . 26 Libor Behounek Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics . . . . . . . . . . . . . . . . . 39 Christoph Beierle, Markus Höhnerbach and Marcus Marto Many-valued Horn Logic is Hard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 Stefan Borgwardt, Marco Cerami and Rafael Peñaloza Towards a Logic of Dilation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 Arina Britz and Ivan Varzinczak Computing k-Rank Answers with Ontological CP-Nets . . . . . . . . . . . . . . . . . 74 Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Ger- ardo Simari and Oana Tifrea-Marciuska Reasoning Under Belief Uncertainty in DL Lite N bool Using Finite Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 Ala Djeddai and Hassina Seridi Similarity-based Relaxed Instance Queries in EL++ . . . . . . . . . . . . . . . . . . . 89 Andreas Ecke Stable Models of Fuzzy Propositional Formulas . . . . . . . . . . . . . . . . . . . . . . . 102 Joohyung Lee and Yi Wang Answering Ontological Ranking Queries Based on Subjective Reports . . . . 115 Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu and Gerardo Simari Resolution and Clause Learning for Multi-Valued CNF Formulas . . . . . . . . 129 David Mitchell vi Program Committee Nathalie Bertrand Fernando Bobillo University of Zaragoza Felix Bou University of Barcelona (UB) Marco Cerami Palacký University in Olomouc Simona Colucci Università della Tuscia Fabio Gagliardi Cozman Universidade de Sao Paulo C. Maria Keet Department of Computer Science, University of Cape Town, South Africa Angelika Kimmig KU Leuven Pavel Klinov University of Ulm Beata Konikowska Institute of Computer Science Polish Academy of Sciences Thomas Lukasiewicz Maria Vanina Martinez University of Oxford Özgür Lütfü Oezcep Institute for Softwaresystems, Hamburg University of Technology Rafael Penaloza TU Dresden Steven Schockaert Cardiff University Giorgos Stoilos National Technical University of Athens (NTUA) Anni-Yasmin Turhan vii Additional Reviewers C Ceylan, Ismail Ilkan D Deagustini, Cristhian Ariel David viii