FRINK Linked Data Fragments server

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

• W2132745831 abstract "We introduce and describe the alternating fixpoint of a logic program with negation. The underlying idea is to monotonically build up a set of negative conclusions until the least fixpoint is reached, using a transformation related to the one that defines stable models, developed by Gelfand and Lifschitz. From a fixed set of negative conclusions, we can derive the positive conclusions that follow (without deriving any further negative ones), by traditional Horn clause semantics. The union of positive and negative conclusions is called the alternating fixpoint partial model. The name “alternating” was chosen because the transformation runs in two passes; the first pass transforms an underestimate of the set of negative conclusions into an (intermediate) overestimate; the second pass transforms the overestimates into a new underestimate; the composition of the two passes is monotonic." @default.
• W2132745831 created "2016-06-24" @default.
• W2132745831 creator A5031432252 @default.
• W2132745831 date "1989-01-01" @default.
• W2132745831 modified "2023-10-17" @default.
• W2132745831 title "The alternating fixpoint of logic programs with negation" @default.
• W2132745831 cites W104570697 @default.
• W2132745831 cites W136379439 @default.
• W2132745831 cites W1494051470 @default.
• W2132745831 cites W1526625950 @default.
• W2132745831 cites W1541434994 @default.
• W2132745831 cites W1591825827 @default.
• W2132745831 cites W1672891595 @default.
• W2132745831 cites W1689380074 @default.
• W2132745831 cites W1766332311 @default.
• W2132745831 cites W1924904173 @default.
• W2132745831 cites W194816663 @default.
• W2132745831 cites W1966552757 @default.
• W2132745831 cites W1967986305 @default.
• W2132745831 cites W1969682671 @default.
• W2132745831 cites W1976303542 @default.
• W2132745831 cites W1984715534 @default.
• W2132745831 cites W1984890936 @default.
• W2132745831 cites W1985819576 @default.
• W2132745831 cites W1987660355 @default.
• W2132745831 cites W1993041504 @default.
• W2132745831 cites W1998162300 @default.
• W2132745831 cites W1999734621 @default.
• W2132745831 cites W2003531456 @default.
• W2132745831 cites W2010104109 @default.
• W2132745831 cites W2031868932 @default.
• W2132745831 cites W203410698 @default.
• W2132745831 cites W2035890683 @default.
• W2132745831 cites W2038761666 @default.
• W2132745831 cites W2043182143 @default.
• W2132745831 cites W2057124712 @default.
• W2132745831 cites W2059144726 @default.
• W2132745831 cites W2088094394 @default.
• W2132745831 cites W2091631741 @default.
• W2132745831 cites W2105775150 @default.
• W2132745831 cites W2108911687 @default.
• W2132745831 cites W2111353076 @default.
• W2132745831 cites W2134046100 @default.
• W2132745831 cites W2143382644 @default.
• W2132745831 cites W2157221482 @default.
• W2132745831 cites W2212036697 @default.
• W2132745831 cites W31561947 @default.
• W2132745831 cites W56448634 @default.
• W2132745831 doi "https://doi.org/10.1145/73721.73722" @default.
• W2132745831 hasPublicationYear "1989" @default.
• W2132745831 type Work @default.
• W2132745831 sameAs 2132745831 @default.
• W2132745831 citedByCount "253" @default.
• W2132745831 countsByYear W21327458312012 @default.
• W2132745831 countsByYear W21327458312013 @default.
• W2132745831 countsByYear W21327458312014 @default.
• W2132745831 countsByYear W21327458312015 @default.
• W2132745831 countsByYear W21327458312016 @default.
• W2132745831 countsByYear W21327458312017 @default.
• W2132745831 countsByYear W21327458312018 @default.
• W2132745831 countsByYear W21327458312019 @default.
• W2132745831 countsByYear W21327458312020 @default.
• W2132745831 countsByYear W21327458312021 @default.
• W2132745831 countsByYear W21327458312022 @default.
• W2132745831 crossrefType "proceedings-article" @default.
• W2132745831 hasAuthorship W2132745831A5031432252 @default.
• W2132745831 hasBestOaLocation W21327458311 @default.
• W2132745831 hasConcept C104317684 @default.
• W2132745831 hasConcept C11413529 @default.
• W2132745831 hasConcept C118615104 @default.
• W2132745831 hasConcept C127001435 @default.
• W2132745831 hasConcept C128838566 @default.
• W2132745831 hasConcept C134306372 @default.
• W2132745831 hasConcept C156325763 @default.
• W2132745831 hasConcept C177264268 @default.
• W2132745831 hasConcept C184337299 @default.
• W2132745831 hasConcept C185592680 @default.
• W2132745831 hasConcept C189790780 @default.
• W2132745831 hasConcept C194146651 @default.
• W2132745831 hasConcept C199360897 @default.
• W2132745831 hasConcept C204241405 @default.
• W2132745831 hasConcept C2185349 @default.
• W2132745831 hasConcept C33923547 @default.
• W2132745831 hasConcept C41008148 @default.
• W2132745831 hasConcept C55493867 @default.
• W2132745831 hasConcept C61445026 @default.
• W2132745831 hasConcept C72169020 @default.
• W2132745831 hasConceptScore W2132745831C104317684 @default.
• W2132745831 hasConceptScore W2132745831C11413529 @default.
• W2132745831 hasConceptScore W2132745831C118615104 @default.
• W2132745831 hasConceptScore W2132745831C127001435 @default.
• W2132745831 hasConceptScore W2132745831C128838566 @default.
• W2132745831 hasConceptScore W2132745831C134306372 @default.
• W2132745831 hasConceptScore W2132745831C156325763 @default.
• W2132745831 hasConceptScore W2132745831C177264268 @default.
• W2132745831 hasConceptScore W2132745831C184337299 @default.
• W2132745831 hasConceptScore W2132745831C185592680 @default.
• W2132745831 hasConceptScore W2132745831C189790780 @default.
• W2132745831 hasConceptScore W2132745831C194146651 @default.
• W2132745831 hasConceptScore W2132745831C199360897 @default.

• next