19 Jul 2018
Oxford, England
Call for Papers for the second workshop on
Reasoning with Preferences, Uncertainty and Vagueness (PRUV)
http://pruv18.inf.unibz.it/
Aims and Scope
PRUV 2018 is the Second Workshop on Logics for Reasoning about
Preferences, Uncertainty, and Vagueness associated with IJCAR and FLoC. This
workshop follows a successful first edition (PRUV 2014), 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,
* inconsistency measures,
* similarity measures.
Publication
All accepted papers will be made available electronically at the CEUR
Workshop Proceedings website (http://www.CEUR-ws.org/). A special
issue on PRUV'18 in a journal is planned. 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.
Submission Instructions
All 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 15 pages)
* Technical Communications (up to 8 pages)
* System Descriptions (up to 8 pages)
Submissions must be made via EasyChair at
https://easychair.org/conferences/?conf=pruv18
Important Dates
Submission: April 15, 2018
Notification: May 15, 2018
Camera Ready: May 29, 2018
Workshop: July 19, 2018
--
PD Dr.-Ing. Anni-Yasmin Turhan
Post-doc Research and Teaching Fellow
Dresden University of Technology
Faculty of Computer Science
Institute of Theoretical Computer Science
Chair of Automata Theory
01062 Dresden
Tel.: +49 (351) 463-39167
Fax: +49 (351) 463-37959
E-Mail: Anni-Yasmin.Turhan@tu-dresden.de
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam