[PlanetKR] ECAI-2012 Workshop on Weighted Logics for AI (WL4AI) - extended deadline

[Lluis Godo]

--Sorry for multiple postings --


***  New extended deadline:  June 10, 2012 ***


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

                 ECAI 2012 Workshop WL4AI

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

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

       one-day workshop: 27 or 28 August, 2012, Montpellier, France)


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


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

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 a 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.

The aim of this workshop 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 logic in relation to any of the following topics (but not
limited to) with an AI perspective is welcome:

- argumentation systems
- belief revision
- description logic
- graded BDI agents
- graded emotions
- graded truth
- inconsistency handling
- information fusion
- logic programs
- non monotonic reasoning
- preference modeling
- trust and reputation
- uncertainty

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


* Important Dates:
--------------------------

-  June 10, 2012: Workshop paper submission deadline
-  July 2, 2012: Notification on workshop paper submissions


* Submission of papers:
----------------------------------

- send a pdf file to the following email address: wl4ai at iiia.csic.es


* Program Committee:
-------------------------------

Lluis Godo, IIIA - CSIC (co-chair)
Henri Prade, IRIT (co-chair)

Teresa Alsinet, Univ. Lleida (Spain)
Leila Amgoud, IRIT (France)
Salem Benferhat, Univ. Artois (France)
Jonathan Ben Naim, IRIT (France)
Carlos Chesnevar, Univ. Nac. del Sur (Argentina)
Laurence Cholvy, ONERA (France)
Petr Cintula, CSAV (Czech Rep.)
Martine De Cock, Univerity Ghent (Belgium)
Didier Dubois, IRIT (France)
Francesc Esteva, IIIA- CSIC (Spain)
Tommaso Flaminio, IIIA - CSIC (Spain)
Angelo Gilio, Univ. Roma (Italy)
Gabriele Kern-Isberner, Univ. Dortmund (Germany)
Joe Halpern, Univ. Cornell (USA)
Anthony Hunter, Univ. College London (UK)
Manfred Jaeger, Univ. Aalborg (Denmark)
Souhila Kaci, Univ.Montpellier (France)
Jérôme Lang, Univ. Paris-Dauphine (France)
Churn-Jung Liau, Acad. Sinica (Taiwan)
Emiliano Lorini, IRIT (France)
Thomas Lukasiewicz, Univ. Oxford (UK)
Enrico Marchioni, IIIA - CSIC (Spain)
Vilem Novak, Univ. Ostrava (Czech Rep.)
Zoran Ognjanovic, Math. Institute SANU (Serbia)
Manuel Ojeda-Aciego, Univ. Málaga (Spain)
Nicola Olivetti, Univ. Paul Cézanne (France)
Guilin Qi, Southeast University (China)
Emad Saad, Egypt
Steven Schockaert, Univ. Cardiff (UK)
Guillermo Simari, Univ. Nac. del Sur (Argentine)
Umberto Straccia, CNR (Italy)
V.S. Subrahmanian, Univ. Maryland (USA)
Thomas Vetterlein, Univ. Linz (Austria)
_______________________________________________