<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-size:small"><div class="gmail_default">Special Session on Natural Language and Argumentation 2020 (NLA'20)</div><div class="gmail_default"><br></div><div class="gmail_default"><a href="https://www.dcai-conference.net/special-sessions/nla20" target="_blank">https://www.dcai-conference.net/special-sessions/nla20</a></div><div class="gmail_default"><br></div><div class="gmail_default">at DCAI 2020:</div><div class="gmail_default">17th International Conference on Distributed Computing and Artificial Intelligence</div><div class="gmail_default">L'Aquila, Italy, 17-19 June 2020</div><div class="gmail_default"><br></div><div class="gmail_default">Paper Submission Deadline Extended:</div><div class="gmail_default">**** 17th February, 2020 ****</div><div class="gmail_default"><br></div><div class="gmail_default">Scope</div><div class="gmail_default">We are in the reality of natural and computational systems of argumentation provided by reasoning, with natural and artificial languages. Intelligent systems of argumentation target advanced methods for exchanging, saving, reasoning, accessing, and updating information in memory.  The special session on Natural Language and Argumentation (NLA) covers theories and applications. Formal models of argumentation like the Dung framework assume that natural language arguments have properly been mapped to logical formulas or partial proofs. Argument mining, when mainly working with existing machine learning methods, encounters difficulties to properly analyse arguments and relations between arguments, over general data, and especially when natural language expressions involve logical constructions. On the other side, traditional methods map sentences to logical formulas, which can be available after having been handled by a theorem prover. E.g., categorial analyses yield discourse representation structures, by using a parser (like Boxer, or Grail), and theorem provers (e.g., Coq) handle corresponding logical representations. The first two approaches (the Dung framework, and typical argument mining) suffer from the lack of development of the relations between natural language texts and dialogues, and do not handle the logical structure of meanings, while the third one (the predominant, traditional logical approach) is limited by the lack of sophisticated semantic lexicon for encompassing the logical structure carried by some words, and interconnections with other methods.</div><div class="gmail_default"><br></div><div class="gmail_default">Topics</div><div class="gmail_default">We welcome submissions on the following topics, without limiting to them, across approaches, methods, theories, implementations, and applications, in support of argumentation:</div><div class="gmail_default"><br></div><div class="gmail_default">- Formal models of argumentations (e.g., Dung's framework)</div><div class="gmail_default">- Logic of preferences</div><div class="gmail_default">- Argument mining</div><div class="gmail_default">- Theorem provers and assistants</div><div class="gmail_default">- Model checkers</div><div class="gmail_default">- Theory of computation</div><div class="gmail_default">- Theory of information</div><div class="gmail_default">- Natural language inference</div><div class="gmail_default">- Beliefs, attitudes, persuasions - theories and applications</div><div class="gmail_default">- Formal languages in support of reasoning and argumentation</div><div class="gmail_default">- Algorithms related to natural language and argumentation  - theories, implementations, applications</div><div class="gmail_default">- Mapping NL expressions into logical representations</div><div class="gmail_default">- Syntactic and semantic analyses of natural language</div><div class="gmail_default">- Computational methods to natural language - approaches, theories</div><div class="gmail_default">- Computational syntax, semantics, and/or interfaces between them</div><div class="gmail_default">- NLP argument mining</div><div class="gmail_default">- Ambiguity and underspecification in syntax and semantics</div><div class="gmail_default">- Discourse and context dependency</div><div class="gmail_default">- Reasoning with ambiguity and underspecification</div><div class="gmail_default">- Interactive computation, reasoning, argumentation</div><div class="gmail_default">- Computation with heterogeneous information</div><div class="gmail_default">- Reasoning with heterogeneous and/or inconsistent information</div><div class="gmail_default">- Dialog, interactions</div><div class="gmail_default">- Interdisciplinary approaches to language, computation, reasoning, memory, relevant for  argumentation</div><div class="gmail_default">- Argumentation in AI applications: e.g., to business, economy, justice, health, medical sciences</div><div class="gmail_default">- ...</div><div class="gmail_default"><br></div><div class="gmail_default">Important Dates</div><div class="gmail_default">Paper submission deadline: 17th February, 2020 (extended from: 31 January, 2020)</div><div class="gmail_default">Notification of acceptance: 09 March, 2020</div><div class="gmail_default">Camera-Ready papers due: 30 March, 2020</div><div class="gmail_default">Conference: 17-19 June, 2020</div><div class="gmail_default"><br></div><div class="gmail_default">Paper Submission</div><div class="gmail_default"><br></div><div class="gmail_default"><a href="https://www.dcai-conference.net/special-sessions" target="_blank">https://www.dcai-conference.net/special-sessions</a></div><div class="gmail_default"><br></div><div class="gmail_default">All papers must be formatted according to the AISC, Springer, template, with a maximum length of 8 pages, including figures and references.</div><div class="gmail_default"><br></div><div class="gmail_default">All proposed papers must be submitted in electronic form (PDF format) using the DCAI 2020 conference management system:</div><div class="gmail_default"><br></div><div class="gmail_default"><a href="https://www.dcai-conference.net/submission" target="_blank">https://www.dcai-conference.net/submission</a></div><div class="gmail_default"><br></div><div class="gmail_default">Publication</div><div class="gmail_default">For inclusion of an accepted paper in the conference proceedings, at least one of the authors will be required to register and attend the symposium to present the paper. All accepted and presented papers will be published by the Advances in Intelligent Systems and Computing, AISC, Springer Verlag.</div><div class="gmail_default"><br></div><div class="gmail_default">Organizing Committee</div><div class="gmail_default"><br></div><div class="gmail_default">Stergios Chatzikyriakidis,</div><div class="gmail_default">University of Gothenburg, Sweden</div><div class="gmail_default"><br></div><div class="gmail_default">Emiliano Lorini,</div><div class="gmail_default">CNRS, IRIT, France</div><div class="gmail_default"><br></div><div class="gmail_default">Roussanka Loukanova,</div><div class="gmail_default">Stockholm University, Sweden; and,</div><div class="gmail_default">IMI, Bulgarian Academy of Sciences, Bulgaria</div><div class="gmail_default"><br></div><div class="gmail_default">Richard Moot,</div><div class="gmail_default">LIRMM-CNRS, Montpellier, France</div><div class="gmail_default"><br></div><div class="gmail_default">Christian Retoré, </div><div class="gmail_default">Université de Montpellier and LIRMM-CNRS, Montpellier, France</div></div><div><div dir="ltr"><div dir="ltr"><div><div dir="ltr"><div><span class="gmail_default" style="font-size:small"></span><br></div></div></div></div></div></div></div></div>