PRUV 2018 - Reasoning with Preferences, Uncertainty and Vagueness

PRUV 2018 is the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness. This workshop follows a successful first edition, which culminated in a Special Issue of the IfCoLog Journal of Logics and their Applications.
Originally, managing preferences, uncertainty, and vagueness has in particular been explored in Artificial Intelligence. During the recent years, especially with the availability of massive amounts of data in different repositories and the possibility of integrating and exploiting these data, technologies for managing preferences, uncertainty, and vagueness have started to play a key role in other areas, such as databases and the (Social or Semantic) Web. These application areas have sparked another wave of strong interest into logics for dealing with preferences, uncertainty, and vagueness. Important examples are fuzzy and probabilistic approaches for description logics or rule systems for handling vagueness and uncertainty in the Semantic Web, or formalisms for handling user preferences in the context of ontological knowledge in the Social Semantic Web.
The aim of PRUV is to bring together people from different communities (such as the Artificial Intelligence and the Semantic Web community, among others), including theorists and practitioners, working on logics for reasoning about preferences, uncertainty, and vagueness.
Making researchers aware of and fruitfully discuss the most recent application areas, new challenges and the existing body of work on logics for reasoning about preferences, uncertainty, and vagueness, respectively is the main goal of this meeting.
PRUV 2018 will take place during FLoC (http://www.floc2018.org/) and associated to IJCAR (http://www.ijcar2018.org/).
Topics
PRUV welcomes submissions relating logic with preferences, uncertainty and vagueness. Some logics of interest are:
first order logic,
propositional logic,
logic programming,
answer set programming,
description logics,
modal logic,
dynamic logic,
temporal logics,
agent logics.
Formalisms for handling preferences, uncertainty and vagueness include, but are not limited to
probability measures,
Bayesian networks,
possibility measures,
preference networks,
CP-networks,
rough sets,
fuzzy set theory,
similarity measures.
Publication
All accepted papers will be made available electronically at the CEUR Workshop Proceedings website (http://www.CEUR-ws.org/).
Double Submission Policy
The aim of the workshop is to bring together experts from a wide spectrum of research areas. Thus, we accept submissions of papers and results previously published in other major conferences and journals.