Logic List Mailing Archive

NLA 2020: Natural Language & Argumentation, L'Aquila (Italy)

17-19 Jun 2020

Special Session on Natural Language and Argumentation 2020 (NLA'20) at 
DCAI'20

https://www.dcai-conference.net/special-sessions/nla20

at:
17th International Conference on Distributed Computing and Artificial
Intelligence
L'Aquila, Italy, 17-19 June 2020

https://www.dcai-conference.net

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

Topics
We welcome submissions on the following topics, without limiting to them,
across approaches, methods, theories, implementations, and applications, in
support of argumentation:

- Formal models of argumentations (e.g., Dung's framework)
- Logic of preferences
- Argument mining
- Theorem provers and assistants
- Model checkers
- Theory of computation
- Theory of information
- Natural language inference
- Beliefs, attitudes, persuasions - theories and applications
- Formal languages in support of reasoning and argumentation
- Algorithms related to natural language and argumentation  - theories,
implementations, applications
- Mapping NL expressions into logical representations
- Syntactic and semantic analyses of natural language
- Computational methods to natural language - approaches, theories
- Computational syntax, semantics, and/or interfaces between them
- NLP argument mining
- Ambiguity and underspecification in syntax and semantics
- Discourse and context dependency
- Reasoning with ambiguity and underspecification
- Interactive computation, reasoning, argumentation
- Computation with heterogeneous information
- Reasoning with heterogeneous and/or inconsistent information
- Dialog, interactions
- Interdisciplinary approaches to language, computation, reasoning, memory,
relevant for  argumentation
- Argumentation in AI applications: e.g., to business, economy, justice,
health, medical sciences
- ...

Important Dates
Paper submission deadline: 31 January, 2020
Notification of acceptance: 09 March, 2020
Camera-Ready papers due: 30 March, 2020
Conference: 17-19 June, 2020

Paper Submission

https://www.dcai-conference.net/special-sessions

All papers must be formatted according to the AISC, Springer, template,
with a maximum length of 8 pages, including figures and references.

All proposed papers must be submitted in electronic form (PDF format) using
the DCAI 2020 conference management system:

https://www.dcai-conference.net/submission

Publication
At least one of the authors will be required to register and attend the
symposium to present the paper in order to include the paper in the
conference proceedings. All accepted and presented papers will be published
by the Advances in Intelligent Systems and Computing, AISC, Springer Verlag.

Organizing Committee

Stergios Chatzikyriakidis,
University of Gothenburg, Sweden

Emiliano Lorini,
CNRS, IRIT, France

Roussanka Loukanova,
Stockholm University, Sweden; and, Institute of Mathematics and
Informatics, Bulgarian Academy of Sciences, Bulgaria

Richard Moot,
LIRMM-CNRS, Montpellier, France

Christian Retoré,
Université de Montpellier and LIRMM-CNRS, Montpellier, France

Contact
Roussanka Loukanova (rloukanova the special symbol gmaildotcom)
-------------------------------------------------------------
--
[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