16-17 Jun 2018
Hangzhou, China
The interplay between logic and argumentation has a long history, from ancient Aristotle?s logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China. CLAR 2018 takes place at Zhejiang University in Hangzhou, China, 16-17 June 2018. Proceedings will be published in Logic in Asia (Springer, Studia Logica Library). We invite submissions of full papers or extended abstracts (see below), from either the field of logic or the field of argumentation. We are particularly interested in works crossing the boundaries between the two (but this is not a requirement). Examples of research questions of interest are (not exclusively!): What are the roles of logic and/or argumentation in social networks? How to model legal reasoning, medical reasoning, etc. in logic and/or argumentation? How can we formalize reasoning in game theoretic situations? What are the logical principles, models and patterns of daily life argumentation? What are the logical theories, methods and techniques that can be of interest to researchers in formal argumentation? How can existing logics be represented within existing argumentation frameworks? What are the trade-offs between expressive power and computational complexity in logic and argumentation? How can we model the strength of arguments? How can we further develop and apply formal argumentation in AI? How to identify and formalize argumentation in natural language texts? We invite two types of submissions: full papers (max 12 pages in LNCS format) describing original and unpublished work and extended abstracts (max 5 pages in LNCS format) of preliminary original work or already published work. Accepted full papers will be published in a volume of Springer's Logic in Asia series (Studia Logica Library). Accepted submissions of both types will be invited for presentation at the conference. Authors of accepted submissions will also be invited to submit extended versions to a special issue of Journal of Applied Logic, after the conference. More information at the website: http://www.xixilogic.org/events/clar2018 Important Dates: Paper submission deadline: 15 January 2018 Notification of acceptance: 5 March 2018 Camera-ready papers: 12 March 2018 Conference dates: 16-17 June 2018 Submissions: https://easychair.org/conferences/?conf=clar2018 Organizers: Thomas gotnes (thomas.agotnes@infomedia.uib.no) Beishui Liao (baiseliao@zju.edu.cn) Y N. Wng (ynw@xixilogic.org) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam