Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913309218> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2913309218 endingPage "127" @default.
- W2913309218 startingPage "121" @default.
- W2913309218 abstract "Circumscription is a transformation of predicate formulas proposed by John McCarthy for the purpose of formalizing non-monotonic aspects of commonsense reasoning. Circumscription is difficult to implement because its definition involves a second-order quantifier. This paper presents metamathematical results that allow us in some cases to replace circumscription by an equivalent first-order formula." @default.
- W2913309218 created "2019-02-21" @default.
- W2913309218 creator A5076917986 @default.
- W2913309218 date "1985-08-18" @default.
- W2913309218 modified "2023-09-23" @default.
- W2913309218 title "Computing circumscription" @default.
- W2913309218 cites W1998363560 @default.
- W2913309218 cites W2127659271 @default.
- W2913309218 cites W2945259913 @default.
- W2913309218 cites W95332643 @default.
- W2913309218 hasPublicationYear "1985" @default.
- W2913309218 type Work @default.
- W2913309218 sameAs 2913309218 @default.
- W2913309218 citedByCount "177" @default.
- W2913309218 countsByYear W29133092182012 @default.
- W2913309218 countsByYear W29133092182013 @default.
- W2913309218 countsByYear W29133092182014 @default.
- W2913309218 countsByYear W29133092182015 @default.
- W2913309218 countsByYear W29133092182016 @default.
- W2913309218 countsByYear W29133092182021 @default.
- W2913309218 crossrefType "proceedings-article" @default.
- W2913309218 hasAuthorship W2913309218A5076917986 @default.
- W2913309218 hasConcept C100481476 @default.
- W2913309218 hasConcept C140146324 @default.
- W2913309218 hasConcept C154945302 @default.
- W2913309218 hasConcept C199360897 @default.
- W2913309218 hasConcept C41008148 @default.
- W2913309218 hasConcept C62360110 @default.
- W2913309218 hasConceptScore W2913309218C100481476 @default.
- W2913309218 hasConceptScore W2913309218C140146324 @default.
- W2913309218 hasConceptScore W2913309218C154945302 @default.
- W2913309218 hasConceptScore W2913309218C199360897 @default.
- W2913309218 hasConceptScore W2913309218C41008148 @default.
- W2913309218 hasConceptScore W2913309218C62360110 @default.
- W2913309218 hasLocation W29133092181 @default.
- W2913309218 hasOpenAccess W2913309218 @default.
- W2913309218 hasPrimaryLocation W29133092181 @default.
- W2913309218 hasRelatedWork W1524811847 @default.
- W2913309218 hasRelatedWork W1541434994 @default.
- W2913309218 hasRelatedWork W1672891595 @default.
- W2913309218 hasRelatedWork W1766332311 @default.
- W2913309218 hasRelatedWork W1966552757 @default.
- W2913309218 hasRelatedWork W1996347293 @default.
- W2913309218 hasRelatedWork W1997714358 @default.
- W2913309218 hasRelatedWork W1998363560 @default.
- W2913309218 hasRelatedWork W2004352874 @default.
- W2913309218 hasRelatedWork W2008294142 @default.
- W2913309218 hasRelatedWork W2020153579 @default.
- W2913309218 hasRelatedWork W2039303449 @default.
- W2913309218 hasRelatedWork W2076698873 @default.
- W2913309218 hasRelatedWork W2080142817 @default.
- W2913309218 hasRelatedWork W2083568285 @default.
- W2913309218 hasRelatedWork W2105486835 @default.
- W2913309218 hasRelatedWork W2111353076 @default.
- W2913309218 hasRelatedWork W2155322595 @default.
- W2913309218 hasRelatedWork W2411085520 @default.
- W2913309218 hasRelatedWork W2945259913 @default.
- W2913309218 isParatext "false" @default.
- W2913309218 isRetracted "false" @default.
- W2913309218 magId "2913309218" @default.
- W2913309218 workType "article" @default.