Negation as failure

Property	Value
rdf:type	Rule of inference owl:NamedIndividual
rdfs:label	Negation as failure
owl:sameAs	dbr:Negation_as_failure
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Rules_of_inference http://en.wikipedia.org/wiki/List_of_rules_of_inference
skos:prefLabel	Negation as failure
skos:altLabel	completion Clark's completion Negation as Failure negation as failure negation-as-failure program completion
is clgo:knownFor of	Keith Clark (computer scientist)

About: clgr:Negation_as_failure