Please refer to RuleML 2013 website at http://2013.ruleml.org/