Reified Classical Situation Calculus Semantic Profile of RuleML 1.02
From RuleML Wiki
- Identifier: http://ruleml.org/1.02/profiles/reified-classical-situation-calculus
- Syntactic Scope: Reified RuleML 1.02
- Classification: Tarski
- Body: http://reaction.ruleml.org/1.02/profiles/ReifiedClassicalSituationCalculusProfile.pdf
- Parent: Predefined Semantic Profiles of RuleML 1.02
