VSL 2014: VIENNA SUMMER OF LOGIC 2014
PRUV Call for Papers

PRUV 2014 – First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness
July 23-24, 2014 · Vienna, Austria

http://vsl2014.at/pruv/

Also available as PDF.

Important Dates

Paper Submission April 20, 2014 May 15, 2014
Notification May 30, 2014
Camera-ready version June 7, 2014

Aims and Scope

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/).

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/).

After the workshop, accepted papers will be invited to submit to a special issue of the IFCOLOG Journal of Logics and their Applications

Paper 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