[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/ /////////// New Submission deadline: May 25 /////////// * 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 25, 2015: Deadline for submission of contributions to the workshop • June 12, 2015: Notification on workshop paper submissions • June 27, 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 -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger
_______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai