Special Session on Computational Linguistics, Information, Reasoning, and AI (CLIRAI)

Information

Scope

Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, agents, and context dependency, which are signature features of information in nature, natural languages, and reasoning.

The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of thought, mental states, reasoning, and other cognitive processes.

Topics

We invite contributions relevant to the following topics, without being limited to them, across approaches, methods, theories, implementations, and applications:

Theorem provers and assistants
Model checkers
Theory of computation
Theory of information
Natural language inference
Transfer of reasoning in natural language to theorem provers and assistants
Theories for applications to language, information processing, reasoning
Type theories for applications to language, information processing, reasoning
Computational grammar
Computational syntax
Computational semantics of natural languages
Computational syntax-semantics interface
Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics
Parsing
Multilingual processing
Large-scale grammars of natural languages
Models of computation and algorithms for linguistics, natural language processing, argumentation
Computational models of partiality, underspecification, and context-dependency
Models of situations, contexts, and agents, for applications to language processing
Information about space and time in language models and processing
Data science in language processing
Machine learning of language and reasoning
Interdisciplinary methods
Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods
Logic for information extraction or expression in written and spoken language
Formal models of argumentations
Interactive computation, reasoning, argumentation
Computation with heterogeneous information
Reasoning with heterogeneous and/or inconsistent information
Dialog, interactions
Interdisciplinary approaches to language, computation, reasoning, memory
Argumentation in AI applications, e.g., to business, economy, justice, health, medical sciences
Language processing based on biological fundamentals of information and languages
Computational neuroscience of language
etc.

Committee

Organizing Committee

Roussanka Loukanova, Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Sofia, Bulgaria
Sara Rodríguez, University of Salamanca, Salamanca, Spain

Program Committee

Benedikt Ahrens, School of Computer Science, University of Birmingham, Birmingham, United Kingdom
Krasimir Angelov, University of Gothenburg and Chalmers University of Technology, Gothenburg, Sweden
Wojciech Buszkowski, Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Poznan, Poland
Marie Duzi, VSB-Technical University of Ostrava, Ostrava, Czech Republic
Antonín Dvořák, University of Ostrava, Ostrava, Czech Republic
Annie Foret, IRISA and Univ Rennes 1, France
Håkon Robbestad Gylterud, University of Begen, Bergen, Norway
Lars Hellan, Norwegian University of Science and Technology, Trondheim, Norway
Ali Hürriyetoğlu, Koç University, Istanbul, Turkey
M. Dolores Jiménez López, GRLMC-Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, Spain
Manfred Kerber, School of Computer Science, University of Birmingham, United Kingdom
Peter Koepke, Mathematisches Institut, Rheinische Friedrich-Wilhelms-Universität Bonn, Bonn, Germany
Stepan Kuznetsov, Steklov Mathematical Institute of RAS and HSE University, Moscow, Russia
Kristina Liefke, Ruhr-University Bochum, Bochum, Germany
Zhaohui Luo, Royal Holloway, University of London, London, United Kingdom
Richard Moot, Université de Montpellier and LIRMM-CNRS, Montpellier, France
Petra Murinová, Institute for Research and Applications of Fuzzy Modeling, University of Ostrava, Ostrava, Czech Republic
Rainer Osswald, Heinrich-Heine-Universität Düsseldorf, Düsseldorf, Germany
Christian Retoré, Université de Montpellier and LIRMM-CNRS, Montpellier, France
Frank Richter, Goethe University Frankfurt a.M., Frankfurt, Germany
Ana Paula Rocha, University of Porto, LIACC / FEUP, Porto, Portugal
Sylvain Salvati, Université de Lille, INRIA, CRIStAL UMR 9189, Lille, France
Milena Slavcheva, Bulgarian Academy of Sciences, Sofia, Bulgaria
Alexander Steen, Universität Greifswald, Institut für Mathematik und Informatik, Greifswald, Germany
Alexey Stukachev, Sobolev Institute of Mathematics, Novosibirsk State University, Novosibirsk, Russia
Satoshi Tojo, School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), Japan
Jørgen Villadsen, Technical University of Denmark, Copenhagen, Denmark
Marek Zawadowski, Institute of Mathematics, University of Warsaw, Warsaw, Poland