Matches in SemOpenAlex for { <https://semopenalex.org/work/W2264286271> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2264286271 endingPage "178" @default.
- W2264286271 startingPage "174" @default.
- W2264286271 abstract "We focus on McCarthy''s method of predicate circumscription in order to establish various results about its consistency, and about its ability to conjecture new information. A basic result is that predicate circumscription cannot account for the standard kinds of default reasoning. Another is that predicate circumscription yields no new information about the equality predicate. This has important consequences for the unique names and domain closure assumptions." @default.
- W2264286271 created "2016-06-24" @default.
- W2264286271 creator A5005611871 @default.
- W2264286271 creator A5056001196 @default.
- W2264286271 creator A5061767203 @default.
- W2264286271 date "1987-10-01" @default.
- W2264286271 modified "2023-09-27" @default.
- W2264286271 title "On The Adequacy of Predicate Circumscription For Closed-World Reasoning" @default.
- W2264286271 hasPublicationYear "1987" @default.
- W2264286271 type Work @default.
- W2264286271 sameAs 2264286271 @default.
- W2264286271 citedByCount "1" @default.
- W2264286271 crossrefType "proceedings-article" @default.
- W2264286271 hasAuthorship W2264286271A5005611871 @default.
- W2264286271 hasAuthorship W2264286271A5056001196 @default.
- W2264286271 hasAuthorship W2264286271A5061767203 @default.
- W2264286271 hasConcept C100481476 @default.
- W2264286271 hasConcept C118615104 @default.
- W2264286271 hasConcept C140146324 @default.
- W2264286271 hasConcept C154945302 @default.
- W2264286271 hasConcept C199360897 @default.
- W2264286271 hasConcept C2780990831 @default.
- W2264286271 hasConcept C33923547 @default.
- W2264286271 hasConcept C41008148 @default.
- W2264286271 hasConcept C62360110 @default.
- W2264286271 hasConceptScore W2264286271C100481476 @default.
- W2264286271 hasConceptScore W2264286271C118615104 @default.
- W2264286271 hasConceptScore W2264286271C140146324 @default.
- W2264286271 hasConceptScore W2264286271C154945302 @default.
- W2264286271 hasConceptScore W2264286271C199360897 @default.
- W2264286271 hasConceptScore W2264286271C2780990831 @default.
- W2264286271 hasConceptScore W2264286271C33923547 @default.
- W2264286271 hasConceptScore W2264286271C41008148 @default.
- W2264286271 hasConceptScore W2264286271C62360110 @default.
- W2264286271 hasLocation W22642862711 @default.
- W2264286271 hasOpenAccess W2264286271 @default.
- W2264286271 hasPrimaryLocation W22642862711 @default.
- W2264286271 hasRelatedWork W1486711177 @default.
- W2264286271 hasRelatedWork W177953804 @default.
- W2264286271 hasRelatedWork W1875744552 @default.
- W2264286271 hasRelatedWork W1973192438 @default.
- W2264286271 hasRelatedWork W2030379410 @default.
- W2264286271 hasRelatedWork W2039438726 @default.
- W2264286271 hasRelatedWork W2046516155 @default.
- W2264286271 hasRelatedWork W2074567616 @default.
- W2264286271 hasRelatedWork W2080546874 @default.
- W2264286271 hasRelatedWork W2107872436 @default.
- W2264286271 hasRelatedWork W2263249162 @default.
- W2264286271 hasRelatedWork W2323802 @default.
- W2264286271 hasRelatedWork W2374309963 @default.
- W2264286271 hasRelatedWork W2413576903 @default.
- W2264286271 hasRelatedWork W2613997929 @default.
- W2264286271 hasRelatedWork W2912404530 @default.
- W2264286271 hasRelatedWork W2913214339 @default.
- W2264286271 hasRelatedWork W3183401520 @default.
- W2264286271 hasRelatedWork W61495897 @default.
- W2264286271 hasRelatedWork W68877015 @default.
- W2264286271 isParatext "false" @default.
- W2264286271 isRetracted "false" @default.
- W2264286271 magId "2264286271" @default.
- W2264286271 workType "article" @default.