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

Prague, Czech Republic, 3 - 6 September, 2017

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