Matches in SemOpenAlex for { <https://semopenalex.org/work/W1682651718> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1682651718 abstract "In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axioms and unique name axioms. This kind of treatment is very important since this enable to apply various technique developed in operations research to nonmonotonic reasoning. Nerode et al. (1995) are the first to propose a method of computing circumscription using integer programming. They claimed their method was correct for circumscription with fixed predicate, but we show that their method does not correctly reflect their claim. We show a correct method of computing all the minimal models not only with fixed predicates but also with varied predicates and we extend our method to compute prioritized circumscription as well." @default.
- W1682651718 created "2016-06-24" @default.
- W1682651718 creator A5026451841 @default.
- W1682651718 creator A5076831092 @default.
- W1682651718 date "2000-03-05" @default.
- W1682651718 modified "2023-09-26" @default.
- W1682651718 title "Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract)" @default.
- W1682651718 cites W1537170873 @default.
- W1682651718 cites W1994801292 @default.
- W1682651718 cites W1998363560 @default.
- W1682651718 cites W2004352874 @default.
- W1682651718 cites W2037688519 @default.
- W1682651718 cites W2086010529 @default.
- W1682651718 cites W2143659798 @default.
- W1682651718 cites W2557892554 @default.
- W1682651718 cites W2913309218 @default.
- W1682651718 hasPublicationYear "2000" @default.
- W1682651718 type Work @default.
- W1682651718 sameAs 1682651718 @default.
- W1682651718 citedByCount "0" @default.
- W1682651718 crossrefType "posted-content" @default.
- W1682651718 hasAuthorship W1682651718A5026451841 @default.
- W1682651718 hasAuthorship W1682651718A5076831092 @default.
- W1682651718 hasConcept C100481476 @default.
- W1682651718 hasConcept C11413529 @default.
- W1682651718 hasConcept C128838566 @default.
- W1682651718 hasConcept C140146324 @default.
- W1682651718 hasConcept C167729594 @default.
- W1682651718 hasConcept C189790780 @default.
- W1682651718 hasConcept C199360897 @default.
- W1682651718 hasConcept C2524010 @default.
- W1682651718 hasConcept C33923547 @default.
- W1682651718 hasConcept C41008148 @default.
- W1682651718 hasConcept C56086750 @default.
- W1682651718 hasConcept C62360110 @default.
- W1682651718 hasConcept C80444323 @default.
- W1682651718 hasConceptScore W1682651718C100481476 @default.
- W1682651718 hasConceptScore W1682651718C11413529 @default.
- W1682651718 hasConceptScore W1682651718C128838566 @default.
- W1682651718 hasConceptScore W1682651718C140146324 @default.
- W1682651718 hasConceptScore W1682651718C167729594 @default.
- W1682651718 hasConceptScore W1682651718C189790780 @default.
- W1682651718 hasConceptScore W1682651718C199360897 @default.
- W1682651718 hasConceptScore W1682651718C2524010 @default.
- W1682651718 hasConceptScore W1682651718C33923547 @default.
- W1682651718 hasConceptScore W1682651718C41008148 @default.
- W1682651718 hasConceptScore W1682651718C56086750 @default.
- W1682651718 hasConceptScore W1682651718C62360110 @default.
- W1682651718 hasConceptScore W1682651718C80444323 @default.
- W1682651718 hasLocation W16826517181 @default.
- W1682651718 hasOpenAccess W1682651718 @default.
- W1682651718 hasPrimaryLocation W16826517181 @default.
- W1682651718 hasRelatedWork W1497423919 @default.
- W1682651718 hasRelatedWork W1507082577 @default.
- W1682651718 hasRelatedWork W1519135678 @default.
- W1682651718 hasRelatedWork W1543836074 @default.
- W1682651718 hasRelatedWork W1573152858 @default.
- W1682651718 hasRelatedWork W1663471753 @default.
- W1682651718 hasRelatedWork W1810972023 @default.
- W1682651718 hasRelatedWork W2050718085 @default.
- W1682651718 hasRelatedWork W2051655526 @default.
- W1682651718 hasRelatedWork W2056487739 @default.
- W1682651718 hasRelatedWork W2080633262 @default.
- W1682651718 hasRelatedWork W2092534351 @default.
- W1682651718 hasRelatedWork W2122293551 @default.
- W1682651718 hasRelatedWork W2159914860 @default.
- W1682651718 hasRelatedWork W2183957662 @default.
- W1682651718 hasRelatedWork W2408462438 @default.
- W1682651718 hasRelatedWork W2897231663 @default.
- W1682651718 hasRelatedWork W657589994 @default.
- W1682651718 hasRelatedWork W2533003920 @default.
- W1682651718 hasRelatedWork W2768785524 @default.
- W1682651718 isParatext "false" @default.
- W1682651718 isRetracted "false" @default.
- W1682651718 magId "1682651718" @default.
- W1682651718 workType "article" @default.