PRUV 2014 – First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness
July 23-24, 2014 · Vienna, Austria
Also available as PDF.
Important Dates
Paper Submission | |
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
- 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)
- Özgür Lütfü Oezcep (Institute for Softwaresystems, Hamburg University of Technology)
- Rafael Penaloza (TU Dresden) - chair
- Steven Schockaert (Cardiff University)
- Giorgos Stoilos (National Technical University of Athens (NTUA))
- Anni-Yasmin Turhan (University of Oxford) - chair