AIRLangComp 2019 - 4th International Workshop on AI aspects in Reasoning, Languages, and Computation (AIRLangComp’19)

There is general realization that computational models of human reasoning can be improved by integration of heterogeneous resources of information and AI techniques, e.g., multidimensional diagrams, images, language, syntax, semantics, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual area related to information, formal and natural languages, computation, reasoning.
Topics
We welcome submissions of papers on the following topics, without limiting to them, across approaches, methods, theories, and applications:
Reasoning systems --- theories and applications
Proof systems and model checkers
Theories of computation and information
Interactive computation and reasoning
Computation and reasoning with heterogeneous information
Space and time in information, language, computation, reasoning, and memory
Partiality, underspecification, vagueness, and possibilities
Computation and reasoning with heterogeneous or inconsistent information
Logic and (formal and natural) language --- approaches, theories, methods
Logic approaches to computational linguistics
Computational morphology, syntax, semantics, and interfaces between these
Constraint-based and type-theoretic approaches to grammar
Multilingual processing
Logic and theories of computation in machine learning and information retrieval
Mathematics for computational linguistics and cognitive science
Reasoning, information, computation, and memory in computational neuroscience and life sciences
Interdisciplinary approaches to language, computation, reasoning, memory