SMS versenden: Rule-base reasoning, programming, and applications : 5th international symposium, RULEML 2011 - Europe, Barcelona, Spain, July 19-21, 2011 : proceedings / Nick Bassiliades, Guido Governatori, Adrian Paschke, (eds.).