Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004352874> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2004352874 endingPage "73" @default.
- W2004352874 startingPage "49" @default.
- W2004352874 abstract "Abstract McCarthy's theory of circumscription appears to be the most powerful among various formalizations of nonmonotonic reasoning designed to handle incomplete and negative information in knowledge representation systems. In this paper we describe a query answering algorithm for circumscriptive theories. The Closed-World Assumption (CWA) and its generalizations, the Generalized Closed-World Assumption (GCWA) and the Extended Closed-World Assumption (ECWA), can be considered as special forms of circumscription. Consequently, our algorithm also applies to answering queries in theories using the Closed-World Assumption and its generalizations. Similarly, since prioritized circumscription is equivalent to a conjunction of (parallel) circumscriptions, our algorithm can be used to answer queries in theories circumscribed by prioritized circumscription." @default.
- W2004352874 created "2016-06-24" @default.
- W2004352874 creator A5084802338 @default.
- W2004352874 date "1989-02-01" @default.
- W2004352874 modified "2023-09-27" @default.
- W2004352874 title "An algorithm to compute circumscription" @default.
- W2004352874 cites W101701348 @default.
- W2004352874 cites W1966552757 @default.
- W2004352874 cites W1996347293 @default.
- W2004352874 cites W1998363560 @default.
- W2004352874 cites W2000141049 @default.
- W2004352874 cites W2039303449 @default.
- W2004352874 cites W2058656940 @default.
- W2004352874 cites W2092842298 @default.
- W2004352874 cites W2143659798 @default.
- W2004352874 cites W2155322595 @default.
- W2004352874 cites W2945259913 @default.
- W2004352874 doi "https://doi.org/10.1016/0004-3702(89)90067-2" @default.
- W2004352874 hasPublicationYear "1989" @default.
- W2004352874 type Work @default.
- W2004352874 sameAs 2004352874 @default.
- W2004352874 citedByCount "110" @default.
- W2004352874 countsByYear W20043528742014 @default.
- W2004352874 crossrefType "journal-article" @default.
- W2004352874 hasAuthorship W2004352874A5084802338 @default.
- W2004352874 hasConcept C11413529 @default.
- W2004352874 hasConcept C154945302 @default.
- W2004352874 hasConcept C33923547 @default.
- W2004352874 hasConcept C41008148 @default.
- W2004352874 hasConcept C62360110 @default.
- W2004352874 hasConceptScore W2004352874C11413529 @default.
- W2004352874 hasConceptScore W2004352874C154945302 @default.
- W2004352874 hasConceptScore W2004352874C33923547 @default.
- W2004352874 hasConceptScore W2004352874C41008148 @default.
- W2004352874 hasConceptScore W2004352874C62360110 @default.
- W2004352874 hasIssue "1" @default.
- W2004352874 hasLocation W20043528741 @default.
- W2004352874 hasOpenAccess W2004352874 @default.
- W2004352874 hasPrimaryLocation W20043528741 @default.
- W2004352874 hasRelatedWork W1505443365 @default.
- W2004352874 hasRelatedWork W2097297915 @default.
- W2004352874 hasRelatedWork W2333698505 @default.
- W2004352874 hasRelatedWork W2351491280 @default.
- W2004352874 hasRelatedWork W2371447506 @default.
- W2004352874 hasRelatedWork W2386767533 @default.
- W2004352874 hasRelatedWork W2748952813 @default.
- W2004352874 hasRelatedWork W2899084033 @default.
- W2004352874 hasRelatedWork W303980170 @default.
- W2004352874 hasRelatedWork W3107474891 @default.
- W2004352874 hasVolume "38" @default.
- W2004352874 isParatext "false" @default.
- W2004352874 isRetracted "false" @default.
- W2004352874 magId "2004352874" @default.
- W2004352874 workType "article" @default.