FRINK Linked Data Fragments server

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

• W1750483407 abstract "A method for extracting positive information from negative goals is proposed. It makes use of typed existence properties between arguments of a predicate to rewrite negative goals in a logic program. A typed existence property is a generalization of functional dependencies in that an input value maps to a fixed number of output values. Types are used to specify the domains of the input and output values. An implementation of the simplification method is presented and its complexity is analyzed. A key algorithm of the implementation checks if an atom in a negative goal can be extracted using a given typed existence property. A digraph links an atom to the quantified variables occurring in the atom and is used to quickly retrieve atoms in the negative goal that may become extractable after some other atom is extracted." @default.
• W1750483407 created "2016-06-24" @default.
• W1750483407 creator A5015062108 @default.
• W1750483407 creator A5061267629 @default.
• W1750483407 date "2010-09-11" @default.
• W1750483407 modified "2023-09-27" @default.
• W1750483407 title "Simplifying Negative Goals Using Typed Existence Properties" @default.
• W1750483407 cites W135330699 @default.
• W1750483407 cites W1503317834 @default.
• W1750483407 cites W1508479737 @default.
• W1750483407 cites W1543461272 @default.
• W1750483407 cites W1560828232 @default.
• W1750483407 cites W1567437654 @default.
• W1750483407 cites W1586206029 @default.
• W1750483407 cites W1587636146 @default.
• W1750483407 cites W1600913074 @default.
• W1750483407 cites W1608696820 @default.
• W1750483407 cites W165540643 @default.
• W1750483407 cites W2000096099 @default.
• W1750483407 cites W2027993053 @default.
• W1750483407 cites W2029684728 @default.
• W1750483407 cites W2034075659 @default.
• W1750483407 cites W2037439718 @default.
• W1750483407 cites W2038037493 @default.
• W1750483407 cites W2041608581 @default.
• W1750483407 cites W2077494135 @default.
• W1750483407 cites W2094537655 @default.
• W1750483407 cites W2115656500 @default.
• W1750483407 cites W2128585349 @default.
• W1750483407 cites W2156627868 @default.
• W1750483407 cites W2615517772 @default.
• W1750483407 cites W64306662 @default.
• W1750483407 hasPublicationYear "2010" @default.
• W1750483407 type Work @default.
• W1750483407 sameAs 1750483407 @default.
• W1750483407 citedByCount "0" @default.
• W1750483407 crossrefType "posted-content" @default.
• W1750483407 hasAuthorship W1750483407A5015062108 @default.
• W1750483407 hasAuthorship W1750483407A5061267629 @default.
• W1750483407 hasConcept C111472728 @default.
• W1750483407 hasConcept C11413529 @default.
• W1750483407 hasConcept C118615104 @default.
• W1750483407 hasConcept C119857082 @default.
• W1750483407 hasConcept C134306372 @default.
• W1750483407 hasConcept C138885662 @default.
• W1750483407 hasConcept C140146324 @default.
• W1750483407 hasConcept C149635348 @default.
• W1750483407 hasConcept C177148314 @default.
• W1750483407 hasConcept C189950617 @default.
• W1750483407 hasConcept C199360897 @default.
• W1750483407 hasConcept C26517878 @default.
• W1750483407 hasConcept C2776291640 @default.
• W1750483407 hasConcept C2779145032 @default.
• W1750483407 hasConcept C33923547 @default.
• W1750483407 hasConcept C38652104 @default.
• W1750483407 hasConcept C41008148 @default.
• W1750483407 hasConcept C58312451 @default.
• W1750483407 hasConcept C80444323 @default.
• W1750483407 hasConceptScore W1750483407C111472728 @default.
• W1750483407 hasConceptScore W1750483407C11413529 @default.
• W1750483407 hasConceptScore W1750483407C118615104 @default.
• W1750483407 hasConceptScore W1750483407C119857082 @default.
• W1750483407 hasConceptScore W1750483407C134306372 @default.
• W1750483407 hasConceptScore W1750483407C138885662 @default.
• W1750483407 hasConceptScore W1750483407C140146324 @default.
• W1750483407 hasConceptScore W1750483407C149635348 @default.
• W1750483407 hasConceptScore W1750483407C177148314 @default.
• W1750483407 hasConceptScore W1750483407C189950617 @default.
• W1750483407 hasConceptScore W1750483407C199360897 @default.
• W1750483407 hasConceptScore W1750483407C26517878 @default.
• W1750483407 hasConceptScore W1750483407C2776291640 @default.
• W1750483407 hasConceptScore W1750483407C2779145032 @default.
• W1750483407 hasConceptScore W1750483407C33923547 @default.
• W1750483407 hasConceptScore W1750483407C38652104 @default.
• W1750483407 hasConceptScore W1750483407C41008148 @default.
• W1750483407 hasConceptScore W1750483407C58312451 @default.
• W1750483407 hasConceptScore W1750483407C80444323 @default.
• W1750483407 hasLocation W17504834071 @default.
• W1750483407 hasOpenAccess W1750483407 @default.
• W1750483407 hasPrimaryLocation W17504834071 @default.
• W1750483407 hasRelatedWork W100073186 @default.
• W1750483407 hasRelatedWork W1497427052 @default.
• W1750483407 hasRelatedWork W1528163510 @default.
• W1750483407 hasRelatedWork W1542298067 @default.
• W1750483407 hasRelatedWork W1545524531 @default.
• W1750483407 hasRelatedWork W1867052887 @default.
• W1750483407 hasRelatedWork W1883667652 @default.
• W1750483407 hasRelatedWork W1980047375 @default.
• W1750483407 hasRelatedWork W1994418588 @default.
• W1750483407 hasRelatedWork W2003411722 @default.
• W1750483407 hasRelatedWork W2028890835 @default.
• W1750483407 hasRelatedWork W2127572699 @default.
• W1750483407 hasRelatedWork W2129297766 @default.
• W1750483407 hasRelatedWork W2156621773 @default.
• W1750483407 hasRelatedWork W2163468719 @default.
• W1750483407 hasRelatedWork W2743183879 @default.
• W1750483407 hasRelatedWork W2745973115 @default.
• W1750483407 hasRelatedWork W2945548450 @default.
• W1750483407 hasRelatedWork W2945778040 @default.
• W1750483407 hasRelatedWork W154890827 @default.

• next