2020), 6-9 April 2020, Hangzhou, China
Proceedings: on site Springer LNCS (TBC), post: Journal of Logic and
Computation.
Deadline: November 30, 2019
The 3rd International Conference on Logic and Argumentation (CLAR 2020)
invites interdisciplinary contributions from logic, artificial
intelligence, philosophy, computer science, linguistics, law, and other
areas studying logic and formal argumentation.
CLAR 2020 will be held in Hangzhou, 6-9 April 2020, as part of the Zhejiang
Conferences on Logics in Artificial Intelligence (ZJULogAI 2020). With a
special focus on "methods and tools for explainable AI", a core objective
of ZJULogAI is to present the latest developments and progress made on the
crucial question of how to make AI more transparent, trustworthy and
accountable, both in China as well as in the rest of the world. All
participants to CLAR 2020 have access to all other events of ZJULogAI as
well.
Proceedings with accepted submissions will be available during the
conference, and extended versions will be published after the conference in
a special issue of the Journal of Logic and Computation.
More information can be found at the websites:
http://www.xixilogic.org/events/clar2020 (CLAR 2020)
https://www.xixilogic.org/zjulogai/ (ZJULogAI)
CLAR 2020 conference highlights recent advances in the two fields of logic
and argumentation and promotes communication between researchers in logic
and argumentation within and outside China. Previous conferences can be
accessed at:
http://www.xixilogic.org/events/clar2018
http://www.xixilogic.org/events/clar2016
CLAR 2020 and ZJULogAI are in collaboration with the Second Tsinghua
Interdisciplinary Workshop on Logic, Language, and Meaning: Monotonicity in
Logic and Language, 10-12 April 2020 (
http://tsinghualogic.net/JRC/?page_id=1576).
************************
List of Topics
************************
Suggested topics include, but are not limited to the following:
* Abstract argumentation
* Applications of logic and/or argumentation
* Applied logic
* Argumentation and game theory
* Argumentation and law
* Argumentation and linguistics
* Argumentation and medical reasoning
* Argumentation in AI
* Argument mining
* Argumentation schemes
* BDI logic
* Computational argumentation
* Deontic logic
* Dynamic epistemic logic and belief revision
* Formal models for dialog and argumentation
* Informal logic
* Judgment aggregation
* Knowledge representation and reasoning
* Logic for game theory
* Logic for multi-agent systems
* Logic for semantic web
* Logic for social network
* Mathematical logic
* Modal logic
* Nonmonotonic logics
* Numerical and uncertainty reasoning
* Philosophical logic
* Pragma-Dialectics
* Preference logic
* Structured argumentation
* Uncertain argumentation
************************
Submission Guidelines
************************
We invite two types of submissions: full papers (between 8 and 20 pages)
describing original and unpublished work and extended abstracts (max 5
pages) of preliminary original work or extended abstracts of already
published work, from either the field of logic or the field of formal
argumentation. Additional support material may be included in an appendix,
which may be considered or ignored by the program committee.
Submissions must be prepared in LaTeX, using the LaTex template
myifcolog.cls:
Submissions not complying with these guidelines will be desk rejected.
Papers in PDF format should be submitted via EasyChair:
https://easychair.org/conferences/?conf=clar2020
Each submitted paper will be carefully peer-reviewed by a panel of PC
members based on originality, significance, technical soundness, clarity of
exposition and relevance for the conference. For each accepted paper, at
least one author is expected to register and present the paper at the
conference.
************************
Important Dates
************************
Submission: 30 November 2019
Notification: 10 January 2020
Camera-Ready: 31 January 2020
Conference: 6-9 April 2020
************************
PC members (to be completed)
************************
Thomas Ågotnes, University of Bergen
Johan van Benthem, University of Amsterdam & Stanford University
Pietro Baroni, University of Brescia
Stefano Bistarelli, Università di Perugia
Alexander Bochman, Holon Institute of Technology
Thomas Bolander, Technical University of Denmark
Weiwei Chen, Sun Yat-Sen University
Zoé Christoff, University of Bayreuth
Agata Ciabattoni, Vienna University of Technology
Dragan Doder, University of Belgrade
Shanshan Du, Wuhan University
Massimiliano Giacomin, University of Brescia
Guido Governatori, CSIRO
Norbert Gratzl, Ludwig Maximilian University of Munich
Davide Grossi, University of Groningen
Jiahong Guo, Beijing Normal University
Andreas Herzig, IRIT-CNRS
Wesley Holliday, UC Berkeley
Jeff Horty, University of Maryland
Fengkui Ju, Beijing Normal University
Souhila Kaci, LIRMM
Hannes Leitgeb, Ludwig Maximilian University of Munich
Hengfei Li, Shandong Jianzhu University
Fenrong Liu, Tsinghua University
Hu Liu, Sun Yat-sen University
Emiliano Lorini, IRIT-CNRS, Université Paul Sabatier, Toulouse
Réka Markovich, University of Luxembourg
Alessandra Marra, University of Bayreuth
Thomas Meyer, University of Cape Town and CAIR
Sara Negri, University of Helsinki
Nir Oren, University of Aberdeen
Eric Pacuit, University of Maryland
Valeria de Paiva, Samsung Research America and University of Birmingham
Gabriella Pigozzi, Université Paris-Dauphine
Henry Prakken, University of Utrecht & University of Groningen
R. Ramanujam, Institute of Mathematical Sciences, Chennai
Chenwei Shi, Tsinghua University
Guillermo R. Simari, Universidad del Sur in Bahia Blanca.
Sonja Smets, University of Amsterdam
Christian Strasser, Ruhr-University Bochum
Yì N. Wáng, Zhejiang University
Xuefeng Wen, Sun Yat-sen University
Stefan Woltran, Vienna University of Technology
Jiachao Wu, Shandong Normal University
Yun Xie, Sun Yat-sen University
Yuming Xu, Shandong Univers
Tomoyuki Yamada, Hokkaido University
Fan Yang, University of Helsinki
Teng Ying, Zhejiang University City College
Zhe Yu, Sun Yat-sen University
************************
PC Chairs
************************
Mehdi Dastani, Utrecht University
Huimin Dong, Zhejiang University
Leon van der Torre, University of Luxembourg
************************
Contact
************************
All questions about submissions should be emailed to: clar2020@xixilogic.org
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
