Lluís Godo
Tuesday, August 28, 2012
Montpellier, France

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 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 aim of the ECAI 2012 workshop WL4AI 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.

Workshop organisers:

Lluís Godo, IIIA - CSIC, Barcelona
Henri Prade, IRIT, Toulouse

Programme Committee:

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