Situation calculus

Property	Value
rdf:type	1963 introduction owl:NamedIndividual
rdfs:label	Situation calculus
owl:sameAs	dbr:Situation_calculus
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:1963_introductions http://en.wikipedia.org/wiki/Outline_of_artificial_intelligence http://en.wikipedia.org/wiki/Situation_calculus
skos:prefLabel	Situation calculus
skos:altLabel	Situation calculus#The successor state axioms situation calculus
is clgo:knownFor of	John McCarthy (computer scientist)

About: clgr:Situation_calculus