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|