Reified Classical Situation Calculus Semantic Profile of RuleML 1.02

From RuleML Wiki
Jump to: navigation, search