Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01562691n
Noun Concept
Categories: Logical calculi, 1963 introductions, Logic programming
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
A framework for describing relations within a dynamic system Wikipedia Disambiguation
logic formalism Wikidata
IS A
formal system
Wikipedia
EN
situation calculus
Wikidata
EN
Situation calculus
Wikipedia Redirections
EN
successor state axiom

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License