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

# PRUV 2018
Logics for Reasoning with Preferences, Uncertainty, and Vagueness

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

### Oxford, UK, July 19th, 2018.

Edited by

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

* University of Oxford, Department of Computer Science, UK
** Free University of Bozen-Bolzano, Faculty of Computer Science, Italy
*** Technische Universität Dresden, Chair of Automata Theory, Germany

## Table of Contents

- Preface

- A New Logic for Jointly Representing Hard and Soft Constraints
  Jan Maly, Stefan Woltran
- A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems
  Alireza Ensan, Eugenia Ternovska, Heng Liu
- Measuring Disagreement among Knowledge Bases
  Nico Potyka
- A New Probabilistic Algorithm for Approximate Model Counting and Extensions for Numeric Domains
  Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
- Leveraging Probabilistic Existential Rules for Adversarial Deduplication
  José N. Paredes, Maria Vanina Martinez, Gerardo I. Simari, Marcelo A. Falappa
- Evidential Group Decision Making Model with Belief-Based Preferences
  Aouatef Rouahi, Kais Ben Salah, Khaled Ghedira
- Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure
  Laura Giordano, Valentina Gliozzi
- VolCE: An Efficient Tool for Solving #SMT(LA) Problems
  Cunjing Ge, Feifei Ma, Jian Zhang

2018-08-01: submitted by Rafael Peñaloza, metadata incl. bibliographic data published under Creative Commons CC0
2018-08-07: published on CEUR-WS.org |valid HTML5|