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/

***** DEADLINE EXTENDED TO MAY 15. *****

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, Theory 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 is the main goal of this meeting.

PRUV 2014 is part of 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: May 15, 2014
• Notification of acceptance: May 30, 2014
• Camera-ready submission: June 7, 2014

== TOPICS ==

PRUV welcomes submissions relating logic with preferences, uncertainty and vagueness in the wider sense. Some logics of interest are:

• first-order logic,
• propositional logic,
• probabilistic logic,
• logic programming,
• answer set programming,
• description logics,
• modal logics,
• hybrid logics,
• defeasible logic,
• multi-valued logics,
• 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/).

After the workshop, there will be a special issue of the IFCOLOG Journal of Logics and their Applications (http://www.collegepublications.co.uk/journals/ifcolog/) with selected papers from the workshop.

== 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 recently published in other venues.

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