bn:01562691n
Noun Concept
Categories: Logic programming, Logical calculi, 1963 introductions
EN
Situation calculus  Successor state axiom
EN
The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. Wikipedia
Definitions
Relations
Sources
EN
The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. Wikipedia
logic formalism Wikidata
Wikipedia
Wikidata
Wikipedia Redirections