Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings - Governatori, Guido; Hall, John; Paschke, Adrian (Springer Berlin Heidelberg, 2009)