FRINK Linked Data Fragments server

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

• W1990216234 endingPage "145" @default.
• W1990216234 startingPage "131" @default.
• W1990216234 abstract "Horn formulae play a prominent role in artificial intelligence and logic programming. In this paper we investigate the problem of optimal compression of propositional Horn production rule knowledge bases. The standard approach to this problem, consisting in the removal of redundant rules from a knowledge base, leads to an “irredundant” but not necessarily optimal knowledge base. We prove here that the number of rules in any irredundant Horn knowledge base involving n propositional variables is at most n − 1 times the minimum possible number of rules. Therefore, the quadratic time transformation of an arbitrary Horn production rule base to an equivalent irredundant and prime one (presented in [9]) provides a reasonable approximation algorithm. In order to formalize the optimal compression problem, we define a Boolean function of a knowledge base as being the function whose set of true points is the set of models of the knowledge base. In this way the optimal compression of production rule knowledge bases becomes a problem of Boolean function minimization. In this paper we prove that the minimization of Horn functions (i.e. Boolean functions associated to Horn knowledge bases) is NP-complete." @default.
• W1990216234 created "2016-06-24" @default.
• W1990216234 creator A5016204895 @default.
• W1990216234 creator A5047969246 @default.
• W1990216234 date "1993-11-01" @default.
• W1990216234 modified "2023-09-24" @default.
• W1990216234 title "Optimal compression of propositional Horn knowledge bases: complexity and approximation" @default.
• W1990216234 cites W1979141170 @default.
• W1990216234 cites W2011992362 @default.
• W1990216234 cites W2021015114 @default.
• W1990216234 cites W2024768126 @default.
• W1990216234 cites W2056277969 @default.
• W1990216234 cites W4231510479 @default.
• W1990216234 doi "https://doi.org/10.1016/0004-3702(93)90062-g" @default.
• W1990216234 hasPublicationYear "1993" @default.
• W1990216234 type Work @default.
• W1990216234 sameAs 1990216234 @default.
• W1990216234 citedByCount "66" @default.
• W1990216234 countsByYear W19902162342012 @default.
• W1990216234 countsByYear W19902162342013 @default.
• W1990216234 countsByYear W19902162342014 @default.
• W1990216234 countsByYear W19902162342015 @default.
• W1990216234 countsByYear W19902162342016 @default.
• W1990216234 countsByYear W19902162342017 @default.
• W1990216234 countsByYear W19902162342018 @default.
• W1990216234 countsByYear W19902162342019 @default.
• W1990216234 countsByYear W19902162342020 @default.
• W1990216234 countsByYear W19902162342021 @default.
• W1990216234 countsByYear W19902162342022 @default.
• W1990216234 crossrefType "journal-article" @default.
• W1990216234 hasAuthorship W1990216234A5016204895 @default.
• W1990216234 hasAuthorship W1990216234A5047969246 @default.
• W1990216234 hasConcept C102487863 @default.
• W1990216234 hasConcept C118615104 @default.
• W1990216234 hasConcept C126255220 @default.
• W1990216234 hasConcept C128838566 @default.
• W1990216234 hasConcept C134306372 @default.
• W1990216234 hasConcept C136119220 @default.
• W1990216234 hasConcept C14036430 @default.
• W1990216234 hasConcept C152076505 @default.
• W1990216234 hasConcept C154945302 @default.
• W1990216234 hasConcept C15744967 @default.
• W1990216234 hasConcept C158465420 @default.
• W1990216234 hasConcept C159985019 @default.
• W1990216234 hasConcept C169171071 @default.
• W1990216234 hasConcept C177264268 @default.
• W1990216234 hasConcept C180016635 @default.
• W1990216234 hasConcept C187455244 @default.
• W1990216234 hasConcept C189790780 @default.
• W1990216234 hasConcept C192562407 @default.
• W1990216234 hasConcept C19417346 @default.
• W1990216234 hasConcept C199360897 @default.
• W1990216234 hasConcept C202444582 @default.
• W1990216234 hasConcept C207764348 @default.
• W1990216234 hasConcept C33923547 @default.
• W1990216234 hasConcept C41008148 @default.
• W1990216234 hasConcept C42058472 @default.
• W1990216234 hasConcept C4554734 @default.
• W1990216234 hasConcept C69562738 @default.
• W1990216234 hasConcept C78458016 @default.
• W1990216234 hasConcept C80444323 @default.
• W1990216234 hasConcept C86803240 @default.
• W1990216234 hasConcept C9429942 @default.
• W1990216234 hasConceptScore W1990216234C102487863 @default.
• W1990216234 hasConceptScore W1990216234C118615104 @default.
• W1990216234 hasConceptScore W1990216234C126255220 @default.
• W1990216234 hasConceptScore W1990216234C128838566 @default.
• W1990216234 hasConceptScore W1990216234C134306372 @default.
• W1990216234 hasConceptScore W1990216234C136119220 @default.
• W1990216234 hasConceptScore W1990216234C14036430 @default.
• W1990216234 hasConceptScore W1990216234C152076505 @default.
• W1990216234 hasConceptScore W1990216234C154945302 @default.
• W1990216234 hasConceptScore W1990216234C15744967 @default.
• W1990216234 hasConceptScore W1990216234C158465420 @default.
• W1990216234 hasConceptScore W1990216234C159985019 @default.
• W1990216234 hasConceptScore W1990216234C169171071 @default.
• W1990216234 hasConceptScore W1990216234C177264268 @default.
• W1990216234 hasConceptScore W1990216234C180016635 @default.
• W1990216234 hasConceptScore W1990216234C187455244 @default.
• W1990216234 hasConceptScore W1990216234C189790780 @default.
• W1990216234 hasConceptScore W1990216234C192562407 @default.
• W1990216234 hasConceptScore W1990216234C19417346 @default.
• W1990216234 hasConceptScore W1990216234C199360897 @default.
• W1990216234 hasConceptScore W1990216234C202444582 @default.
• W1990216234 hasConceptScore W1990216234C207764348 @default.
• W1990216234 hasConceptScore W1990216234C33923547 @default.
• W1990216234 hasConceptScore W1990216234C41008148 @default.
• W1990216234 hasConceptScore W1990216234C42058472 @default.
• W1990216234 hasConceptScore W1990216234C4554734 @default.
• W1990216234 hasConceptScore W1990216234C69562738 @default.
• W1990216234 hasConceptScore W1990216234C78458016 @default.
• W1990216234 hasConceptScore W1990216234C80444323 @default.
• W1990216234 hasConceptScore W1990216234C86803240 @default.
• W1990216234 hasConceptScore W1990216234C9429942 @default.
• W1990216234 hasIssue "1" @default.
• W1990216234 hasLocation W19902162341 @default.
• W1990216234 hasOpenAccess W1990216234 @default.
• W1990216234 hasPrimaryLocation W19902162341 @default.

• next