FRINK Linked Data Fragments server

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

• W2018844890 endingPage "56" @default.
• W2018844890 startingPage "27" @default.
• W2018844890 abstract "A normal logic program P is transformed to another Pω by a bottom-up computation on the positive component of P while the negative counterpart is left untouched. The declarative semantics of P is given by the completion of Pω. The completed predicate definitions in Pω, if they do not contain local variables, can be used as a basis for expanding each negated atom in the bodies of Pω. We show that for a class of programs where every negative subgoal can be expanded, the resultant program P′ is a definite logic program with equality and disequality constraints. If the program falls outside this class, the resultant program may be executed using constructive negation. Our proposed scheme provides an effective sound and complete query-answering system for the well-founded models of a class of programs whose positive part has a finite Pω and whose clauses satisfy the positive groundedness property defined herein." @default.
• W2018844890 created "2016-06-24" @default.
• W2018844890 creator A5064839018 @default.
• W2018844890 creator A5071631876 @default.
• W2018844890 date "1992-10-01" @default.
• W2018844890 modified "2023-09-27" @default.
• W2018844890 title "Transforming normal logic programs to constraint logic programs" @default.
• W2018844890 cites W105798218 @default.
• W2018844890 cites W127451913 @default.
• W2018844890 cites W134901130 @default.
• W2018844890 cites W136178533 @default.
• W2018844890 cites W143998283 @default.
• W2018844890 cites W1494051470 @default.
• W2018844890 cites W1533155510 @default.
• W2018844890 cites W1541434994 @default.
• W2018844890 cites W1543461272 @default.
• W2018844890 cites W1552837293 @default.
• W2018844890 cites W1560084034 @default.
• W2018844890 cites W1590937195 @default.
• W2018844890 cites W1602567617 @default.
• W2018844890 cites W163946836 @default.
• W2018844890 cites W165540643 @default.
• W2018844890 cites W1672891595 @default.
• W2018844890 cites W1766332311 @default.
• W2018844890 cites W1981961379 @default.
• W2018844890 cites W1984715534 @default.
• W2018844890 cites W1985819576 @default.
• W2018844890 cites W1987660355 @default.
• W2018844890 cites W2003531456 @default.
• W2018844890 cites W2010104109 @default.
• W2018844890 cites W2015209525 @default.
• W2018844890 cites W2029753048 @default.
• W2018844890 cites W2082994045 @default.
• W2018844890 cites W2108911687 @default.
• W2018844890 cites W2111353076 @default.
• W2018844890 cites W2123396057 @default.
• W2018844890 cites W2138706506 @default.
• W2018844890 cites W2612793397 @default.
• W2018844890 cites W39560635 @default.
• W2018844890 cites W3094133439 @default.
• W2018844890 doi "https://doi.org/10.1016/0304-3975(92)90286-o" @default.
• W2018844890 hasPublicationYear "1992" @default.
• W2018844890 type Work @default.
• W2018844890 sameAs 2018844890 @default.
• W2018844890 citedByCount "3" @default.
• W2018844890 countsByYear W20188448902015 @default.
• W2018844890 crossrefType "journal-article" @default.
• W2018844890 hasAuthorship W2018844890A5064839018 @default.
• W2018844890 hasAuthorship W2018844890A5071631876 @default.
• W2018844890 hasConcept C102993220 @default.
• W2018844890 hasConcept C111472728 @default.
• W2018844890 hasConcept C118615104 @default.
• W2018844890 hasConcept C127001435 @default.
• W2018844890 hasConcept C128838566 @default.
• W2018844890 hasConcept C138885662 @default.
• W2018844890 hasConcept C140146324 @default.
• W2018844890 hasConcept C154945302 @default.
• W2018844890 hasConcept C156325763 @default.
• W2018844890 hasConcept C184337299 @default.
• W2018844890 hasConcept C189950617 @default.
• W2018844890 hasConcept C19689857 @default.
• W2018844890 hasConcept C199360897 @default.
• W2018844890 hasConcept C2185349 @default.
• W2018844890 hasConcept C2777212361 @default.
• W2018844890 hasConcept C2778701210 @default.
• W2018844890 hasConcept C2987117450 @default.
• W2018844890 hasConcept C33923547 @default.
• W2018844890 hasConcept C41008148 @default.
• W2018844890 hasConcept C45374587 @default.
• W2018844890 hasConcept C80444323 @default.
• W2018844890 hasConcept C98045186 @default.
• W2018844890 hasConceptScore W2018844890C102993220 @default.
• W2018844890 hasConceptScore W2018844890C111472728 @default.
• W2018844890 hasConceptScore W2018844890C118615104 @default.
• W2018844890 hasConceptScore W2018844890C127001435 @default.
• W2018844890 hasConceptScore W2018844890C128838566 @default.
• W2018844890 hasConceptScore W2018844890C138885662 @default.
• W2018844890 hasConceptScore W2018844890C140146324 @default.
• W2018844890 hasConceptScore W2018844890C154945302 @default.
• W2018844890 hasConceptScore W2018844890C156325763 @default.
• W2018844890 hasConceptScore W2018844890C184337299 @default.
• W2018844890 hasConceptScore W2018844890C189950617 @default.
• W2018844890 hasConceptScore W2018844890C19689857 @default.
• W2018844890 hasConceptScore W2018844890C199360897 @default.
• W2018844890 hasConceptScore W2018844890C2185349 @default.
• W2018844890 hasConceptScore W2018844890C2777212361 @default.
• W2018844890 hasConceptScore W2018844890C2778701210 @default.
• W2018844890 hasConceptScore W2018844890C2987117450 @default.
• W2018844890 hasConceptScore W2018844890C33923547 @default.
• W2018844890 hasConceptScore W2018844890C41008148 @default.
• W2018844890 hasConceptScore W2018844890C45374587 @default.
• W2018844890 hasConceptScore W2018844890C80444323 @default.
• W2018844890 hasConceptScore W2018844890C98045186 @default.
• W2018844890 hasIssue "1" @default.
• W2018844890 hasLocation W20188448901 @default.
• W2018844890 hasOpenAccess W2018844890 @default.
• W2018844890 hasPrimaryLocation W20188448901 @default.
• W2018844890 hasRelatedWork W1532306186 @default.

• next