Circumscription (logic)

Property	Value
rdf:type	owl:Thing owl:NamedIndividual
rdfs:label	Circumscription (logic)
owl:sameAs	dbr:Circumscription_(logic)
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Default_logic http://en.wikipedia.org/wiki/Category:Main_topic_classifications http://en.wikipedia.org/wiki/Outline_of_artificial_intelligence
skos:prefLabel	Circumscription (logic)
skos:altLabel	circumscription Circumscription
is clgo:knownFor of	John McCarthy (computer scientist)

About: clgr:Circumscription_(logic)