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|