|
|
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
*
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
-
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|