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

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