KI 2012: Advances in Artificial Intelligencede Birte GlimmMateriasMathematical Logic and Formal LanguagesInformation organizationInformation storage and retrieval systemsSimulation and ModelingInformation retrievalComputer simulationComputer scienceUser Interfaces and Human Computer InteractionArtificial intelligence