Rule Interchange and Applications : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings - Guido Governatori, John Hall, Adrian Paschke ((Lecture Notes in Computer Science))