[PlanetKR] IJCAI-15 Workshop on Weighted Logics for AI (WL4AI-2015): last call for papers

[Lluis Godo]

[Apologies for multiple postings]
[Please feel free to distribute it among your colleagues]

===============================================================

                    IJCAI-2015 Workshop WL4AI'15

Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth

===============================================================

                    July 25-27, 2015, Buenos Aires, Argentina


* Web site: http://www.iiia.csic.es/wl4ai-2015/


*  Call for Papers:
-------------------------

Logics provide a formal basis for the study and development of applications
and systems in Artificial Intelligence. In the last decades there has been
an explosion of logical formalisms capable of dealing with a variety of
reasoning tasks that require an explicit representation of quantitative or
qualitative weights associated with classical or modal logical formulas (in
some form or another).

The semantics of the weights refer to a large variety of intended meanings:
belief degrees, preference degrees, truth degrees, trust degrees, etc.
Examples of such weighted formalisms include probabilistic or possibilistic
uncertainty logics, preference logics, fuzzy description logics, different
forms of weighted or fuzzy logic programs under various semantics, weighted
argumentation systems, logics handling inconsistency with weights, logics
for graded BDI agents, logics of trust and reputation, logics for handling
graded emotions, etc.

The underlying logics range from fully compositional systems, like systems
of many-valued or fuzzy logic, to non-compositional ones like modal-like
epistemic logics for reasoning about uncertainty, as probabilistic or
possibilistic logics, or even some combination of them.

In this workshop, continuation of the successful workshops with the same
name held at ECAI-2012 and IJCAI-2013, the aim is to bring together
researchers to discuss about the different motivations for the use of
weighted logics in AI, the different types of calculi that are appropriate
for these needs, and the problems that arise when putting them at work. Any
paper on a weighted logical system in relation to any of the following
topics (but not limited to) with an AI perspective is welcome:

* weighted argumentation systems
* uncertain extensions of description logics
* logical aspects of graded BDI agents
* graded emotions
* graded truth
* belief revision in weighted logics
* inconsistency handling in weighted logics
* information fusion in weighted logics
* proof systems and decision procedures for weighted logics
* uncertainty extensions of logic programs
* weighted systems and non monotonic reasoning
* preference modeling
* logics of graded trust and reputation

Authors are especially encouraged to discuss the intended semantics of the
weights they use in their paper.


* Submission guidelines: papers should be formatted according to the
IJCAI-15 format style not exceeding eight (8) pages (including title page,
figures, references, etc.), and have to be submitted in PDF format to the
following EasyChair account:
https://www.easychair.org/conferences/?conf=wl4ai2015

See http://www.iiia.csic.es/wl4ai-2015/submission_instructions for more
details.


* Important Dates (notice the new deadlines!):
---------------------------------------------------------------

• May 5, 2015: Deadline for submission of contributions to the workshop
• May 25, 2015: Notification on workshop paper submissions
• June 10, 2015: Deadline for sending the final camera ready copy to
workshop organizers


* Workshop co-chairs:
-------------------------------

Marcelo Finger, University of Sao Paulo, Brazil
Lluis Godo, IIIA-CSIC, Spain
Henri Prade, IRIT-CNRS, France
Guilin Qi, Southeast University, China

===============================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20150422/f61d6552/attachment.html