About: Circumscription (logic)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Non-monotonic logic created by John McCarthy

Property	Value
dbo:description	non-monotonic logic created by John McCarthy (en)
dbo:wikiPageExternalLink	http://www-formal.stanford.edu/jmc/circumscription.html http://plato.stanford.edu/entries/reasoning-defeasible/%235.5
dbo:wikiPageWikiLink	dbc:Non-classical_logic dbc:Logic_programming dbr:First-order_logic dbr:Inertia dbr:Georg_Gottlob dbr:Non-monotonic_logic dbr:Propositional_formula dbr:Missionaries_and_cannibals_problem dbr:Yale_shooting_problem dbr:Common_sense dbr:Structure_(mathematical_logic) dbr:John_McCarthy_(computer_scientist) dbr:Extension_(semantics) dbr:Yuri_Gurevich dbr:Closed-world_assumption dbr:Frame_problem dbr:Domain_of_discourse dbr:Propositional_variable dbr:Raymond_Reiter dbr:Vladimir_Lifschitz dbr:Predicate_(logic) dbr:Thomas_Eiter dbr:Theory_(logic)
dbp:wikiPageUsesTemplate	dbt:John_McCarthy dbt:Reflist dbt:Distinguish dbt:Annotated_link dbt:Short_description
dct:subject	dbc:Non-classical_logic dbc:Logic_programming
gold:hypernym	dbr:Logic
rdfs:label	Circumscription (logic) (en)
owl:differentFrom	dbr:Circumscribed_circle
owl:sameAs	freebase:Circumscription (logic) wikidata:Circumscription (logic) dbpedia-global:Circumscription (logic) dbr:Circumscription (logic)
prov:wasDerivedFrom	wikipedia-en:Circumscription_(logic)?oldid=1278242237&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Circumscription_(logic)
is dbo:knownFor of	dbr:John_McCarthy_(computer_scientist)
is dbo:wikiPageDisambiguates of	dbr:Circumscription
is dbo:wikiPageWikiLink of	dbr:Situation_calculus dbr:Cyc dbr:Logic_programming dbr:Artificial_intelligence dbr:Negation_as_failure dbr:Missionaries_and_cannibals_problem dbr:Yale_shooting_problem dbr:Index_of_logic_articles dbr:Event_calculus dbr:John_McCarthy_(computer_scientist) dbr:Closed-world_assumption dbr:Circumscription dbr:Preferential_entailment dbr:Frame_problem dbr:Qualification_problem dbr:Outline_of_artificial_intelligence dbr:GOFAI
is dbp:knownFor of	dbr:John_McCarthy_(computer_scientist)
is foaf:primaryTopic of	wikipedia-en:Circumscription_(logic)