[DL] Call for Papers PRUV 2014 - Logics for Reasoning about Preferences, Uncertainty and Vagueness

[penaloza at tcs.inf.tu-dresden.de]

******************************************************************
FIRST CALL FOR PAPERS
First International Workshop on Logics for Reasoning about
Preferences, Uncertainty and Vagueness
(PRUV 2014)
Vienna, Austria, July 23-24, 2014
http://vsl2014.at/pruv/
******************************************************************

PRUV 2014 is the first Workshop on Logics for Reasoning about
Preferences, Uncertainty, and Vagueness.

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 2014 is associated with the Vienna Summer of Logic, a major
event hosting logic conferences and workshops (http://vsl2014.at/).
In particular, PRUV will be hosted by FLoC (http://vsl2014.at/floc/)
and associated to IJCAR (http://vsl2014.at/ijcar/).

== IMPORTANT DATES ==

- Paper submission: April 20, 2014
- Notification of acceptance: May 18, 2014
- Camera-ready submission: May 25, 2014

== 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.

== PUBLICATION  ==

All accepted papers will be made available electronically at the
CEUR Workshop Proceedings website (http://www.CEUR-ws.org/).

== SUBMISSIONS ==

Submissions must be prepared in Springer's LaTeX style llncs
(http://www.springer.com/comp/lncs/Authors.html).

There are three submission formats:

- Full papers (up to 12 pages plus references)
- Technical Communications (up to 6 pages plus references)
- System Descriptions (up to 6 pages plus references)

Submissions will be made via EasyChair:

      https://www.easychair.org/conferences/?conf=pruv2014

== DOUBLE SUBMISSIONS ==

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.

== PROGRAM COMMITTEE ==

Nathalie Bertrand (Inria Rennes Bretagne Atlantique)
Fernando Bobillo (University of Zaragoza)
Felix Bou (University of Barcelona (UB))
Marco Cerami (Palacký University in Olomouc)
Simona Colucci (Università della Tuscia)
Fabio Gagliardi Cozman (Universidade de Sao Paulo)
C. Maria Keet (Department of Computer Science, University of Cape Town,
South Africa)
Angelika Kimmig (KU Leuven)
Pavel Klinov (University of Ulm)
Beata Konikowska (Institute of Computer Science Polish Academy of Sciences)
Thomas Lukasiewicz (Department of Computer Science, University of Oxford)
- chair
Maria Vanina Martinez (University of Oxford)
Rafael Peñaloza (TU Dresden) - chair
Steven Schockaert (Cardiff University)
Giorgos Stoilos (National Technical University of Athens (NTUA))
Anni-Yasmin Turhan (TU Dresden) - chair
Özgür Lütfü Özcep (Institute for Softwaresystems, Hamburg University of
Technology)