Knowledge representation and reasoning, Semantic web
Knowledge Representation, Seminar Combining Symbolic and Statistical Methods in AI
Symbolic knowledge bases have always played an important role in the quest for AI. They store and manipulate knowledge in a form that is both accessible for automated reasoning by machines as well as understandable by humans. Recent breakthroughs have made it possible to build a worldwide distributed knowledge base of unprecedented scale. This raises an entirely new set of research challenges: how to reason over knowledge bases with billions of statements, how to deal with inconsistency, or with knowledge bases that change faster than we can track.