Acronym: 
WL4AI'15
Individual: 
Lluís Godo
Deadline: 
Lunes, Julio 27, 2015
Location: 
Buenos Aires, Argentina

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

Workshop Chairs:

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

Programme Committee:

* Teresa Alsinet, University of Lleida, Spain
* Leila Amgoud, IRIT - CNRS, France
* Ofer Arieli, Academic College of Tel-Aviv, Israel
* Mohua Banerjee, Indian Institute of Technology, India
* Ana Casali, National University of Rosario, Argerntine
* Carlos Chesnevar, Universidad Nacional del Sur, Argentine
* Laurence Cholvy, ONERA-Toulouse, France
* Marcelo Coniglio, University of Campinas, Brazil
* Fabio Cozman, University of Sao Paulo, Brazil
* Didier Dubois, IRIT/RPDMP, France
* Tommaso Flaminio, University of Insubria, Italy
* Gabriele Kern-Isberner, Technical University of Dortmund, Germany
* Joe Halpern, Cornell University, USA
* Anthony Hunter, University College London, UK
* Souhila Kaci, University Montpellier, France
* Churn-Jung Liau, Academia Sinica, Taiwan
* Weiru Liu, Queens University Belfast, UK
* Emiliano Lorini, IRIT - CNRS, France
* Thomas Lukasiewicz, Oxford University, UK
* Vilem Novák, University of Ostrava, Czech Republic
* Zoran Ognjanovic, Mathematical Institute SANU, Serbia
* Manuel Ojeda-Aciego, University of Málaga, Spain
* Paulo Santos, Centro Universitário da FEI, Brazil
* Steven Schockaert, Cardiff University, UK
* Guillermo Simari, Universidad Nacional del Sur, Argentine
* Umberto Straccia, ISTI-CNR, Italy
* Matthias Thimm, University of Koblenz, Germany
* Ivan Varzinczak, Federal University of Rio de Janeiro, Brazil
* Thomas Vetterlein, Johannes Kepler University Linz, Austria
* Nic Wilson, University of Cork, Ireland
* Anna Zamansky, University of Haifa, Israel