Home
Daniel Janke and Steffen Staab give lecture and tutorial at the Reasoning Web Summer School