Matches in SemOpenAlex for { <https://semopenalex.org/work/W31875520> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W31875520 abstract "Subsets of the Negation Normal Form formulas (NNFs) of propositional logic have received much attention in AI and proved as valuable representation languages for Boolean functions. In this paper, we present a new framework, called VNNF, for the representation of a much more general class of functions than just Boolean ones. This framework supports a larger family of queries and transformations than in the NNF case, including optimization ones. As such, it encompasses a number of existing settings, e.g. NNFs, semiring CSPs, mixed CSPs, SLDDs, ADD, AADDs. We show how the properties imposed on NNFs to define more tractable fragments (decomposability, determinism, decision, read-once) can be extended to VNNFs, giving rise to subsets for which a number of queries and transformations can be achieved in polynomial time." @default.
- W31875520 created "2016-06-24" @default.
- W31875520 creator A5040136820 @default.
- W31875520 creator A5050297298 @default.
- W31875520 date "2007-01-01" @default.
- W31875520 modified "2023-09-25" @default.
- W31875520 title "On Valued Negation Normal Form Formulas" @default.
- W31875520 cites W1525028888 @default.
- W31875520 cites W1558184472 @default.
- W31875520 cites W1562643156 @default.
- W31875520 cites W1563163990 @default.
- W31875520 cites W185605575 @default.
- W31875520 cites W1986660301 @default.
- W31875520 cites W2147565737 @default.
- W31875520 cites W2167435507 @default.
- W31875520 cites W2168102827 @default.
- W31875520 cites W238700879 @default.
- W31875520 hasPublicationYear "2007" @default.
- W31875520 type Work @default.
- W31875520 sameAs 31875520 @default.
- W31875520 citedByCount "8" @default.
- W31875520 countsByYear W318755202013 @default.
- W31875520 countsByYear W318755202014 @default.
- W31875520 countsByYear W318755202015 @default.
- W31875520 countsByYear W318755202016 @default.
- W31875520 crossrefType "proceedings-article" @default.
- W31875520 hasAuthorship W31875520A5040136820 @default.
- W31875520 hasAuthorship W31875520A5050297298 @default.
- W31875520 hasBestOaLocation W318755203 @default.
- W31875520 hasConcept C127001435 @default.
- W31875520 hasConcept C136119220 @default.
- W31875520 hasConcept C156325763 @default.
- W31875520 hasConcept C184337299 @default.
- W31875520 hasConcept C194146651 @default.
- W31875520 hasConcept C199343813 @default.
- W31875520 hasConcept C199360897 @default.
- W31875520 hasConcept C202444582 @default.
- W31875520 hasConcept C2185349 @default.
- W31875520 hasConcept C2777686260 @default.
- W31875520 hasConcept C33923547 @default.
- W31875520 hasConcept C41008148 @default.
- W31875520 hasConcept C71924100 @default.
- W31875520 hasConceptScore W31875520C127001435 @default.
- W31875520 hasConceptScore W31875520C136119220 @default.
- W31875520 hasConceptScore W31875520C156325763 @default.
- W31875520 hasConceptScore W31875520C184337299 @default.
- W31875520 hasConceptScore W31875520C194146651 @default.
- W31875520 hasConceptScore W31875520C199343813 @default.
- W31875520 hasConceptScore W31875520C199360897 @default.
- W31875520 hasConceptScore W31875520C202444582 @default.
- W31875520 hasConceptScore W31875520C2185349 @default.
- W31875520 hasConceptScore W31875520C2777686260 @default.
- W31875520 hasConceptScore W31875520C33923547 @default.
- W31875520 hasConceptScore W31875520C41008148 @default.
- W31875520 hasConceptScore W31875520C71924100 @default.
- W31875520 hasLocation W318755201 @default.
- W31875520 hasLocation W318755202 @default.
- W31875520 hasLocation W318755203 @default.
- W31875520 hasOpenAccess W31875520 @default.
- W31875520 hasPrimaryLocation W318755201 @default.
- W31875520 hasRelatedWork W1596105581 @default.
- W31875520 hasRelatedWork W2057124712 @default.
- W31875520 hasRelatedWork W2072935111 @default.
- W31875520 hasRelatedWork W2077585551 @default.
- W31875520 hasRelatedWork W2133232303 @default.
- W31875520 hasRelatedWork W3198797766 @default.
- W31875520 hasRelatedWork W4212824748 @default.
- W31875520 hasRelatedWork W4214701509 @default.
- W31875520 hasRelatedWork W4241595208 @default.
- W31875520 hasRelatedWork W4372296577 @default.
- W31875520 isParatext "false" @default.
- W31875520 isRetracted "false" @default.
- W31875520 magId "31875520" @default.
- W31875520 workType "article" @default.