AIRIM 2017 - 2nd International Workshop on AI aspects of Reasoning, Information, and Memory (AIRIM’17)

There is general realization that computational models of human reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, 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, memory, and reasoning
Partiality, underspecification, vagueness, and possibilities
Detection of and reasoning with inconsistency
Logic and language --- approaches, theories, methods
Computational morphology, syntax, semantics, and interfaces between these
Constraint-based and type-theoretic approaches and grammars
Logical approaches to multilingual processing
Logical and computational foundations in machine learning and information retrieval
Mathematics for linguistics and cognitive science
Reasoning, information, and memory in computational neuroscience and life sciences
Interdisciplinary approaches to information, language, memory, and reasoning