Matches in SemOpenAlex for { <https://semopenalex.org/work/W1875744552> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1875744552 abstract "We investigate the possibility of using circumscription for characterizing the concept of a generic object in the context of a formalized mathematical theory. We show that conventional circumscriptive policies do not give the intuitively expected results for elementary geometry, and that there is a common explanation for this failure and the failure of circumscription in some standard instances of commonsense reasoning. It turns out, however, that scoped circumscription does provide the right mechanism for this task." @default.
- W1875744552 created "2016-06-24" @default.
- W1875744552 creator A5005611871 @default.
- W1875744552 creator A5015753842 @default.
- W1875744552 date "1994-01-01" @default.
- W1875744552 modified "2023-09-28" @default.
- W1875744552 title "CIRCUMSCRIPTION AND GENERIC MATHEMATICAL OBJECTS" @default.
- W1875744552 cites W1444781587 @default.
- W1875744552 cites W1481537965 @default.
- W1875744552 cites W1506329803 @default.
- W1875744552 cites W1966119556 @default.
- W1875744552 cites W1998363560 @default.
- W1875744552 cites W1999410326 @default.
- W1875744552 cites W2010917637 @default.
- W1875744552 cites W2011928646 @default.
- W1875744552 cites W2015952037 @default.
- W1875744552 cites W2032362523 @default.
- W1875744552 cites W2048059078 @default.
- W1875744552 cites W2092338482 @default.
- W1875744552 cites W2317414986 @default.
- W1875744552 cites W2798442789 @default.
- W1875744552 cites W2913309218 @default.
- W1875744552 cites W2945259913 @default.
- W1875744552 cites W3023072795 @default.
- W1875744552 cites W1845663687 @default.
- W1875744552 doi "https://doi.org/10.3233/fi-1994-21127" @default.
- W1875744552 hasPublicationYear "1994" @default.
- W1875744552 type Work @default.
- W1875744552 sameAs 1875744552 @default.
- W1875744552 citedByCount "1" @default.
- W1875744552 crossrefType "journal-article" @default.
- W1875744552 hasAuthorship W1875744552A5005611871 @default.
- W1875744552 hasAuthorship W1875744552A5015753842 @default.
- W1875744552 hasConcept C151730666 @default.
- W1875744552 hasConcept C154945302 @default.
- W1875744552 hasConcept C162324750 @default.
- W1875744552 hasConcept C187736073 @default.
- W1875744552 hasConcept C2779343474 @default.
- W1875744552 hasConcept C2780451532 @default.
- W1875744552 hasConcept C2781238097 @default.
- W1875744552 hasConcept C41008148 @default.
- W1875744552 hasConcept C62360110 @default.
- W1875744552 hasConcept C86803240 @default.
- W1875744552 hasConceptScore W1875744552C151730666 @default.
- W1875744552 hasConceptScore W1875744552C154945302 @default.
- W1875744552 hasConceptScore W1875744552C162324750 @default.
- W1875744552 hasConceptScore W1875744552C187736073 @default.
- W1875744552 hasConceptScore W1875744552C2779343474 @default.
- W1875744552 hasConceptScore W1875744552C2780451532 @default.
- W1875744552 hasConceptScore W1875744552C2781238097 @default.
- W1875744552 hasConceptScore W1875744552C41008148 @default.
- W1875744552 hasConceptScore W1875744552C62360110 @default.
- W1875744552 hasConceptScore W1875744552C86803240 @default.
- W1875744552 hasLocation W18757445521 @default.
- W1875744552 hasOpenAccess W1875744552 @default.
- W1875744552 hasPrimaryLocation W18757445521 @default.
- W1875744552 hasRelatedWork W12654550 @default.
- W1875744552 hasRelatedWork W1534512760 @default.
- W1875744552 hasRelatedWork W1603431483 @default.
- W1875744552 hasRelatedWork W1634527695 @default.
- W1875744552 hasRelatedWork W198933960 @default.
- W1875744552 hasRelatedWork W2030379410 @default.
- W1875744552 hasRelatedWork W2080546874 @default.
- W1875744552 hasRelatedWork W2108555151 @default.
- W1875744552 hasRelatedWork W2118348866 @default.
- W1875744552 hasRelatedWork W2264286271 @default.
- W1875744552 hasRelatedWork W2315639634 @default.
- W1875744552 hasRelatedWork W2374309963 @default.
- W1875744552 hasRelatedWork W2396008217 @default.
- W1875744552 hasRelatedWork W2413576903 @default.
- W1875744552 hasRelatedWork W2553079388 @default.
- W1875744552 hasRelatedWork W2607056381 @default.
- W1875744552 hasRelatedWork W2913214339 @default.
- W1875744552 hasRelatedWork W3733054 @default.
- W1875744552 hasRelatedWork W68877015 @default.
- W1875744552 hasRelatedWork W83659058 @default.
- W1875744552 isParatext "false" @default.
- W1875744552 isRetracted "false" @default.
- W1875744552 magId "1875744552" @default.
- W1875744552 workType "article" @default.