AIRIM 2016 - 1st International Workshop on AI aspects of Reasoning, Information, and Memory (AIRIM’16)

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
Logical approaches to multilingual processing
Mathematics for linguistics and cognitive science
Computational approaches to information, language, memory, and reasoning for life sciences
Computational neuroscience of information, language, memory, and reasoning
Interdisciplinary approaches to information, language, memory, and reasoning