CALL FOR PAPERS
Special Session:
Computational Linguistics, Information, Reasoning, and AI 2021 (CompLingInfoReasAI'21)
Salamanca, Spain, 6th-8th October, 2021, HYBRID
** Extended Deadline for paper submissions: 28th May, 2021 **
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
– Computational methods of inferences in natural language
– Computational theories and systems of reasoning in natural language
– Transfer of reasoning in natural language to theorem provers, or vice versa
– Transfer of reasoning between natural language, theorem provers, model checkers, and various computational assistants
– Computational approaches of computational linguistics for domain specific areas
– 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 computational linguistics
– 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 or spoken language
– Logic for information integrations of diagrams, with written and / or 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.
IMPORTANT DATES
Deadline for paper submissions: 28th May, 2021
Notification of acceptance: 18th June, 2021
Camera-ready papers: 2st July, 2021
Conference: 6th-8th October, 2021
PAPER SUBMISSION
The papers must consist of original, relevant, and previously unpublished sound research results related to any of the topics of the Special Session CompLingInfoReasAI'21.
SUBMITTING PAPERS
DCAI Special Session papers must be formatted according to the Springer AISC Template, with a maximum length of 10 pages in length, including figures and references. All proposed papers must be submitted in electronic form (PDF format) using the Paper Submission Page.
PUBLICATION
All accepted, registered, and presented papers will be published by Advances in Intelligent Systems and Computing, AISC, series of Springer Verlag. At least one of the authors of an accepted paper will be required to register and attend the symposium to present the paper in order to include it in the conference proceedings.
CHAIRS
Ana Bove,
Chalmers University of Technology,
Gothenburg, Sweden
Roussanka Loukanova,
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Bulgaria
and Stockholm University, Sweden
Sara Rodríguez,
University of Salamanca, Spain