Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022128215> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2022128215 abstract "Abstract Given any disjunctive logic program p, we show that the minimal Herbrand models of P are in a precise one-one correspondence with the default logic theory ΔP obtained by adding toP, the default logic schema :¬A A ." @default.
- W2022128215 created "2016-06-24" @default.
- W2022128215 creator A5038645035 @default.
- W2022128215 creator A5039295194 @default.
- W2022128215 date "1992-11-01" @default.
- W2022128215 modified "2023-09-23" @default.
- W2022128215 title "Relating minimal models and pre-requisite-free normal defaults" @default.
- W2022128215 cites W128301608 @default.
- W2022128215 cites W1505241859 @default.
- W2022128215 cites W1524811847 @default.
- W2022128215 cites W156747920 @default.
- W2022128215 cites W1672891595 @default.
- W2022128215 cites W1906451465 @default.
- W2022128215 cites W2008294142 @default.
- W2022128215 cites W2029246084 @default.
- W2022128215 cites W2067326626 @default.
- W2022128215 cites W2082367267 @default.
- W2022128215 cites W2091433498 @default.
- W2022128215 cites W2155322595 @default.
- W2022128215 cites W2331930889 @default.
- W2022128215 cites W2411085520 @default.
- W2022128215 cites W2612793397 @default.
- W2022128215 cites W3747978 @default.
- W2022128215 doi "https://doi.org/10.1016/0020-0190(92)90052-w" @default.
- W2022128215 hasPublicationYear "1992" @default.
- W2022128215 type Work @default.
- W2022128215 sameAs 2022128215 @default.
- W2022128215 citedByCount "7" @default.
- W2022128215 crossrefType "journal-article" @default.
- W2022128215 hasAuthorship W2022128215A5038645035 @default.
- W2022128215 hasAuthorship W2022128215A5039295194 @default.
- W2022128215 hasConcept C10138342 @default.
- W2022128215 hasConcept C102993220 @default.
- W2022128215 hasConcept C11413529 @default.
- W2022128215 hasConcept C118615104 @default.
- W2022128215 hasConcept C119857082 @default.
- W2022128215 hasConcept C128838566 @default.
- W2022128215 hasConcept C154945302 @default.
- W2022128215 hasConcept C160236029 @default.
- W2022128215 hasConcept C162324750 @default.
- W2022128215 hasConcept C199360897 @default.
- W2022128215 hasConcept C203659156 @default.
- W2022128215 hasConcept C2987117450 @default.
- W2022128215 hasConcept C33923547 @default.
- W2022128215 hasConcept C3845977 @default.
- W2022128215 hasConcept C41008148 @default.
- W2022128215 hasConcept C52146309 @default.
- W2022128215 hasConcept C69637215 @default.
- W2022128215 hasConcept C80444323 @default.
- W2022128215 hasConcept C94375191 @default.
- W2022128215 hasConceptScore W2022128215C10138342 @default.
- W2022128215 hasConceptScore W2022128215C102993220 @default.
- W2022128215 hasConceptScore W2022128215C11413529 @default.
- W2022128215 hasConceptScore W2022128215C118615104 @default.
- W2022128215 hasConceptScore W2022128215C119857082 @default.
- W2022128215 hasConceptScore W2022128215C128838566 @default.
- W2022128215 hasConceptScore W2022128215C154945302 @default.
- W2022128215 hasConceptScore W2022128215C160236029 @default.
- W2022128215 hasConceptScore W2022128215C162324750 @default.
- W2022128215 hasConceptScore W2022128215C199360897 @default.
- W2022128215 hasConceptScore W2022128215C203659156 @default.
- W2022128215 hasConceptScore W2022128215C2987117450 @default.
- W2022128215 hasConceptScore W2022128215C33923547 @default.
- W2022128215 hasConceptScore W2022128215C3845977 @default.
- W2022128215 hasConceptScore W2022128215C41008148 @default.
- W2022128215 hasConceptScore W2022128215C52146309 @default.
- W2022128215 hasConceptScore W2022128215C69637215 @default.
- W2022128215 hasConceptScore W2022128215C80444323 @default.
- W2022128215 hasConceptScore W2022128215C94375191 @default.
- W2022128215 hasLocation W20221282151 @default.
- W2022128215 hasOpenAccess W2022128215 @default.
- W2022128215 hasPrimaryLocation W20221282151 @default.
- W2022128215 hasRelatedWork W114844303 @default.
- W2022128215 hasRelatedWork W1516093101 @default.
- W2022128215 hasRelatedWork W1538337660 @default.
- W2022128215 hasRelatedWork W1541434994 @default.
- W2022128215 hasRelatedWork W1548298033 @default.
- W2022128215 hasRelatedWork W1553650628 @default.
- W2022128215 hasRelatedWork W187902357 @default.
- W2022128215 hasRelatedWork W1987764156 @default.
- W2022128215 hasRelatedWork W1987903153 @default.
- W2022128215 hasRelatedWork W1989331458 @default.
- W2022128215 hasRelatedWork W1989766362 @default.
- W2022128215 hasRelatedWork W2005372520 @default.
- W2022128215 hasRelatedWork W2075783106 @default.
- W2022128215 hasRelatedWork W2086742209 @default.
- W2022128215 hasRelatedWork W2127608095 @default.
- W2022128215 hasRelatedWork W2155322595 @default.
- W2022128215 hasRelatedWork W2155627592 @default.
- W2022128215 hasRelatedWork W2155936349 @default.
- W2022128215 hasRelatedWork W3023058275 @default.
- W2022128215 hasRelatedWork W3023408198 @default.
- W2022128215 isParatext "false" @default.
- W2022128215 isRetracted "false" @default.
- W2022128215 magId "2022128215" @default.
- W2022128215 workType "article" @default.