Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Situation_calculus> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- Situation_calculus abstract "The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based on that introduced by Ray Reiter in 1991. It is followed by sections about McCarthy's 1986 version and a logic programming formulation.".
- Situation_calculus wikiPageExternalLink mcchay69.html.
- Situation_calculus wikiPageExternalLink 005.
- Situation_calculus wikiPageExternalLink note.html.
- Situation_calculus wikiPageID "2256109".
- Situation_calculus wikiPageRevisionID "578235838".
- Situation_calculus hasPhotoCollection Situation_calculus.
- Situation_calculus subject Category:1963_introductions.
- Situation_calculus subject Category:Logic_programming.
- Situation_calculus subject Category:Logical_calculi.
- Situation_calculus comment "The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based on that introduced by Ray Reiter in 1991. It is followed by sections about McCarthy's 1986 version and a logic programming formulation.".
- Situation_calculus label "Situation calculus".
- Situation_calculus label "Situationskalkül".
- Situation_calculus sameAs Situationskalkül.
- Situation_calculus sameAs m.06zp7t.
- Situation_calculus sameAs Q1559077.
- Situation_calculus sameAs Q1559077.
- Situation_calculus wasDerivedFrom Situation_calculus?oldid=578235838.
- Situation_calculus isPrimaryTopicOf Situation_calculus.