| Vol-1205 urn:nbn:de:0074-1205-4 Copyright © 2014 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# PRUV 2014
Logics for Reasoning about Preferences, Uncertainty, and Vagueness

### Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness
co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014)

### Vienna, Austria, July 23-24, 2014.

Edited by

### Thomas Lukasiewicz *
Rafael Peñaloza **
Anni-Yasmin Turhan **

* University of Oxford, Department of Computer Science, UK
** Technische Universität Dresden, Chair of Automata Theory, Germany

## Table of Contents

- Preface

- Multi-Attribute Decision Making using Weighted Description Logics 1-14
  Erman Acar, Christian Meilicke
- Learning Preferences for Collaboration 15-25
  Eva Armengol
- In Which Sense Is Fuzzy Logic a Logic for Vagueness? 26-39
  Libor Behounek
- Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics 39-51
  Christoph Beierle, Markus Höhnerbach, Marcus Marto
- Many-valued Horn Logic is Hard 52-58
  Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
- Towards a Logic of Dilation 59-73
  Arina Britz, Ivan Varzinczak
- Computing k-Rank Answers with Ontological CP-Nets 74-87
  Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska
- A New DL-Lite N Bool Probabilistic Extension Using Belief 88-100
  Ala Djeddai, Hassina Seridi, Tarek Khadir
- Similarity-based Relaxed Instance Queries in EL++ 101-113
  Andreas Ecke
- Stable Models of Fuzzy Propositional Formulas 114-126
  Joohyung Lee, Yi Wang
- Answering Ontological Ranking Queries Based on Subjective Reports 127-140
  Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari
- Resolution and Clause Learning for Multi-Valued CNF Formulas 141-154
  David Mitchell

2014-07-29: submitted by Rafael Peñaloza
2014-07-30: published on CEUR-WS.org |valid HTML5|