FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950897625> ?p ?o ?g. }

• W2950897625 abstract "Designing algorithms capable of efficiently constructing minimal models of CNFs is an important task in AI. This paper provides new results along this research line and presents new algorithms for performing minimal model finding and checking over positive propositional CNFs and model minimization over propositional CNFs. An algorithmic schema, called the Generalized Elimination Algorithm (GEA) is presented, that computes a minimal model of any positive CNF. The schema generalizes the Elimination Algorithm (EA) [BP97], which computes a minimal model of positive head-cycle-free (HCF) CNF theories. While the EA always runs in polynomial time in the size of the input HCF CNF, the complexity of the GEA depends on the complexity of the specific eliminating operator invoked therein, which may in general turn out to be exponential. Therefore, a specific eliminating operator is defined by which the GEA computes, in polynomial time, a minimal model for a class of CNF that strictly includes head-elementary-set-free (HEF) CNF theories [GLL06], which form, in their turn, a strict superset of HCF theories. Furthermore, in order to deal with the high complexity associated with recognizing HEF theories, an incomplete variant of the GEA (called IGEA) is proposed: the resulting schema, once instantiated with an appropriate elimination operator, always constructs a model of the input CNF, which is guaranteed to be minimal if the input theory is HEF. In the light of the above results, the main contribution of this work is the enlargement of the tractability frontier for the minimal model finding and checking and the model minimization problems." @default.
• W2950897625 created "2019-06-27" @default.
• W2950897625 creator A5023948083 @default.
• W2950897625 creator A5055479421 @default.
• W2950897625 creator A5075369704 @default.
• W2950897625 creator A5090380495 @default.
• W2950897625 date "2013-10-30" @default.
• W2950897625 modified "2023-09-27" @default.
• W2950897625 title "On the Tractability of Minimal Model Computation for Some CNF Theories" @default.
• W2950897625 cites W1524811847 @default.
• W2950897625 cites W1541434994 @default.
• W2950897625 cites W1562038341 @default.
• W2950897625 cites W1591939288 @default.
• W2950897625 cites W1602843561 @default.
• W2950897625 cites W1672891595 @default.
• W2950897625 cites W1827139443 @default.
• W2950897625 cites W1982225075 @default.
• W2950897625 cites W1998363560 @default.
• W2950897625 cites W2003116861 @default.
• W2950897625 cites W2007880598 @default.
• W2950897625 cites W2011992362 @default.
• W2950897625 cites W2020394392 @default.
• W2950897625 cites W2023141722 @default.
• W2950897625 cites W2036241121 @default.
• W2950897625 cites W2076698873 @default.
• W2950897625 cites W2083568285 @default.
• W2950897625 cites W2088631785 @default.
• W2950897625 cites W2145383464 @default.
• W2950897625 cites W2152029401 @default.
• W2950897625 cites W2913309218 @default.
• W2950897625 cites W2945259913 @default.
• W2950897625 hasPublicationYear "2013" @default.
• W2950897625 type Work @default.
• W2950897625 sameAs 2950897625 @default.
• W2950897625 citedByCount "0" @default.
• W2950897625 crossrefType "posted-content" @default.
• W2950897625 hasAuthorship W2950897625A5023948083 @default.
• W2950897625 hasAuthorship W2950897625A5055479421 @default.
• W2950897625 hasAuthorship W2950897625A5075369704 @default.
• W2950897625 hasAuthorship W2950897625A5090380495 @default.
• W2950897625 hasConcept C104317684 @default.
• W2950897625 hasConcept C110251889 @default.
• W2950897625 hasConcept C11413529 @default.
• W2950897625 hasConcept C119857082 @default.
• W2950897625 hasConcept C158448853 @default.
• W2950897625 hasConcept C17020691 @default.
• W2950897625 hasConcept C185592680 @default.
• W2950897625 hasConcept C199360897 @default.
• W2950897625 hasConcept C202444582 @default.
• W2950897625 hasConcept C2778681612 @default.
• W2950897625 hasConcept C311688 @default.
• W2950897625 hasConcept C33923547 @default.
• W2950897625 hasConcept C41008148 @default.
• W2950897625 hasConcept C45374587 @default.
• W2950897625 hasConcept C52146309 @default.
• W2950897625 hasConcept C55493867 @default.
• W2950897625 hasConcept C69562738 @default.
• W2950897625 hasConcept C80444323 @default.
• W2950897625 hasConcept C86339819 @default.
• W2950897625 hasConceptScore W2950897625C104317684 @default.
• W2950897625 hasConceptScore W2950897625C110251889 @default.
• W2950897625 hasConceptScore W2950897625C11413529 @default.
• W2950897625 hasConceptScore W2950897625C119857082 @default.
• W2950897625 hasConceptScore W2950897625C158448853 @default.
• W2950897625 hasConceptScore W2950897625C17020691 @default.
• W2950897625 hasConceptScore W2950897625C185592680 @default.
• W2950897625 hasConceptScore W2950897625C199360897 @default.
• W2950897625 hasConceptScore W2950897625C202444582 @default.
• W2950897625 hasConceptScore W2950897625C2778681612 @default.
• W2950897625 hasConceptScore W2950897625C311688 @default.
• W2950897625 hasConceptScore W2950897625C33923547 @default.
• W2950897625 hasConceptScore W2950897625C41008148 @default.
• W2950897625 hasConceptScore W2950897625C45374587 @default.
• W2950897625 hasConceptScore W2950897625C52146309 @default.
• W2950897625 hasConceptScore W2950897625C55493867 @default.
• W2950897625 hasConceptScore W2950897625C69562738 @default.
• W2950897625 hasConceptScore W2950897625C80444323 @default.
• W2950897625 hasConceptScore W2950897625C86339819 @default.
• W2950897625 hasLocation W29508976251 @default.
• W2950897625 hasOpenAccess W2950897625 @default.
• W2950897625 hasPrimaryLocation W29508976251 @default.
• W2950897625 hasRelatedWork W1553603549 @default.
• W2950897625 hasRelatedWork W1577096194 @default.
• W2950897625 hasRelatedWork W1854540354 @default.
• W2950897625 hasRelatedWork W1994010814 @default.
• W2950897625 hasRelatedWork W2016463080 @default.
• W2950897625 hasRelatedWork W2017027749 @default.
• W2950897625 hasRelatedWork W2037122437 @default.
• W2950897625 hasRelatedWork W2046346171 @default.
• W2950897625 hasRelatedWork W2063994435 @default.
• W2950897625 hasRelatedWork W2064981447 @default.
• W2950897625 hasRelatedWork W2072331537 @default.
• W2950897625 hasRelatedWork W2079785597 @default.
• W2950897625 hasRelatedWork W2094806969 @default.
• W2950897625 hasRelatedWork W2109858088 @default.
• W2950897625 hasRelatedWork W2149130507 @default.
• W2950897625 hasRelatedWork W2168993471 @default.
• W2950897625 hasRelatedWork W2249663488 @default.
• W2950897625 hasRelatedWork W2951753454 @default.
• W2950897625 hasRelatedWork W2964201613 @default.

• next