[PlanetKR] Special session at IPMU 2016 on graded modal logics: call for papers

[Lluis Godo]

Dear colleagues,

We would like to invite you to participate to the special session on

      Graded and Many-Valued Modal Logics

that we will organize at the IPMU 2016 Conference (Eindhoven, The
Netherlands, June 20-24),  http://is.ieis.tue.nl/ipmu/index.htm.


>   Call   <

Graded and many-valued modal logics aim to increase the expressive power of
classical modal logics by adding the possibility to use degrees in the
definition of the validity relation in the semantic side. For instance,
these degrees can be interpreted as truth-values or as weights that can be
used in a Kripke frame to modify the way successors of a state are taken
into account in order to define truth of modal formulas.

The goal of this special session is to allow researchers to discuss their
latest results in the topic of graded, many-valued or fuzzy modal logics,
including its theoretical aspects (axiomatization, characterization of
expressive power, complexity...) and its applications in knowledge
representation, uncertainty, decision theory, multi-agent systems...


>   Important dates   <

Submission deadline: January 8
Notification of acceptance: March 1
Conference: June 20-24


>   Submissions   <

The proceedings of IPMU-2016 will be published in Communications in
Computer and Information Science (CCIS) with Springer. Papers can be up to
12 pages long following the formatting instructions of the conference (see
http://is.ieis.tue.nl/ipmu/authors.htm#instructions ).


Best regards,

Lluis Godo, IIIA-CSIC, Barcelona, godo at iiia.csic.es
Bruno Teheux, University of Luxembourg, bruno.teheux at uni.lu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20151201/aab23be5/attachment.html