FRINK Linked Data Fragments server

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

• W44477046 endingPage "841" @default.
• W44477046 startingPage "835" @default.
• W44477046 abstract "Logic programs with abstract constraint atoms proposed by Marek and Truszczynski are very general logic programs.They are general enough to captureaggregate logic programs as well asrecently proposed description logic programs.In this paper, we propose a well-founded semantics for basic logic programs with arbitrary abstract constraint atoms, which are sets of rules whose heads have exactly one atom. Weshow that similar to the well-founded semanticsof normal logic programs, it has many desirable properties such as that it can becomputed in polynomial time, and is always correct with respect to theanswer set semantics. This paves the way for using our well-founded semanticsto simplify these logic programs. We also show how our semantics can be applied toaggregate logic programs and description logic programs, and compare itto the well-founded semantics already proposed for these logic programs." @default.
• W44477046 created "2016-06-24" @default.
• W44477046 creator A5027369269 @default.
• W44477046 creator A5042577160 @default.
• W44477046 creator A5072151614 @default.
• W44477046 creator A5089419141 @default.
• W44477046 date "2021-09-20" @default.
• W44477046 modified "2023-10-15" @default.
• W44477046 title "A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms" @default.
• W44477046 cites W1542417898 @default.
• W44477046 cites W1555563750 @default.
• W44477046 cites W1600046366 @default.
• W44477046 cites W1639901403 @default.
• W44477046 cites W1694306392 @default.
• W44477046 cites W1854994931 @default.
• W44477046 cites W1862558385 @default.
• W44477046 cites W1968513265 @default.
• W44477046 cites W2011124182 @default.
• W44477046 cites W2011438231 @default.
• W44477046 cites W2029702617 @default.
• W44477046 cites W2064864283 @default.
• W44477046 cites W2076698873 @default.
• W44477046 cites W2091138122 @default.
• W44477046 cites W2100983017 @default.
• W44477046 cites W2104606980 @default.
• W44477046 cites W2115303419 @default.
• W44477046 cites W2116746190 @default.
• W44477046 cites W2120811814 @default.
• W44477046 cites W2127633019 @default.
• W44477046 cites W2151485489 @default.
• W44477046 cites W2152131859 @default.
• W44477046 cites W2171987376 @default.
• W44477046 cites W33887248 @default.
• W44477046 doi "https://doi.org/10.1609/aaai.v26i1.8213" @default.
• W44477046 hasPublicationYear "2021" @default.
• W44477046 type Work @default.
• W44477046 sameAs 44477046 @default.
• W44477046 citedByCount "1" @default.
• W44477046 countsByYear W444770462013 @default.
• W44477046 crossrefType "journal-article" @default.
• W44477046 hasAuthorship W44477046A5027369269 @default.
• W44477046 hasAuthorship W44477046A5042577160 @default.
• W44477046 hasAuthorship W44477046A5072151614 @default.
• W44477046 hasAuthorship W44477046A5089419141 @default.
• W44477046 hasBestOaLocation W444770461 @default.
• W44477046 hasConcept C102993220 @default.
• W44477046 hasConcept C127001435 @default.
• W44477046 hasConcept C128838566 @default.
• W44477046 hasConcept C156325763 @default.
• W44477046 hasConcept C169896238 @default.
• W44477046 hasConcept C177264268 @default.
• W44477046 hasConcept C184337299 @default.
• W44477046 hasConcept C199360897 @default.
• W44477046 hasConcept C203659156 @default.
• W44477046 hasConcept C207648694 @default.
• W44477046 hasConcept C2524010 @default.
• W44477046 hasConcept C2776036281 @default.
• W44477046 hasConcept C2987117450 @default.
• W44477046 hasConcept C33203268 @default.
• W44477046 hasConcept C33923547 @default.
• W44477046 hasConcept C41008148 @default.
• W44477046 hasConcept C58041814 @default.
• W44477046 hasConcept C80444323 @default.
• W44477046 hasConcept C89497691 @default.
• W44477046 hasConceptScore W44477046C102993220 @default.
• W44477046 hasConceptScore W44477046C127001435 @default.
• W44477046 hasConceptScore W44477046C128838566 @default.
• W44477046 hasConceptScore W44477046C156325763 @default.
• W44477046 hasConceptScore W44477046C169896238 @default.
• W44477046 hasConceptScore W44477046C177264268 @default.
• W44477046 hasConceptScore W44477046C184337299 @default.
• W44477046 hasConceptScore W44477046C199360897 @default.
• W44477046 hasConceptScore W44477046C203659156 @default.
• W44477046 hasConceptScore W44477046C207648694 @default.
• W44477046 hasConceptScore W44477046C2524010 @default.
• W44477046 hasConceptScore W44477046C2776036281 @default.
• W44477046 hasConceptScore W44477046C2987117450 @default.
• W44477046 hasConceptScore W44477046C33203268 @default.
• W44477046 hasConceptScore W44477046C33923547 @default.
• W44477046 hasConceptScore W44477046C41008148 @default.
• W44477046 hasConceptScore W44477046C58041814 @default.
• W44477046 hasConceptScore W44477046C80444323 @default.
• W44477046 hasConceptScore W44477046C89497691 @default.
• W44477046 hasIssue "1" @default.
• W44477046 hasLocation W444770461 @default.
• W44477046 hasLocation W444770462 @default.
• W44477046 hasOpenAccess W44477046 @default.
• W44477046 hasPrimaryLocation W444770461 @default.
• W44477046 hasRelatedWork W1565705080 @default.
• W44477046 hasRelatedWork W1578725873 @default.
• W44477046 hasRelatedWork W1602680690 @default.
• W44477046 hasRelatedWork W1750646609 @default.
• W44477046 hasRelatedWork W1775448790 @default.
• W44477046 hasRelatedWork W2106279850 @default.
• W44477046 hasRelatedWork W2114696493 @default.
• W44477046 hasRelatedWork W2545796973 @default.
• W44477046 hasRelatedWork W44477046 @default.
• W44477046 hasRelatedWork W2515292966 @default.

• next