FRINK Linked Data Fragments server

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

• W78461750 abstract "This paper gives a brief overview about the research field on equivalences in Answer-Set Programming. More precisely, we are concerned here with disjunctive logic programs under the stable-model semantics. Such programs can be understood as extended datalog queries (i.e., datalog augmented by default negation and disjunction). In particular, we shall report on characterizations and complexity results for the notions of strong and respectively uniform equivalence. Most notably, uniform equivalence becomes undecidable in the presence of default negation, while strong equivalence remains decidable for full disjunctive datalog. We also consider a restricted setting where the arity of predicates is bounded by a fixed constant." @default.
• W78461750 created "2016-06-24" @default.
• W78461750 creator A5006053030 @default.
• W78461750 date "2011-01-01" @default.
• W78461750 modified "2023-09-23" @default.
• W78461750 title "Equivalence between Extended Datalog Programs — A Brief Survey" @default.
• W78461750 cites W1487563773 @default.
• W78461750 cites W1498722751 @default.
• W78461750 cites W1523341975 @default.
• W78461750 cites W1527039196 @default.
• W78461750 cites W1528304048 @default.
• W78461750 cites W1544722557 @default.
• W78461750 cites W1552914076 @default.
• W78461750 cites W1579369115 @default.
• W78461750 cites W1582978375 @default.
• W78461750 cites W1596251829 @default.
• W78461750 cites W1602726442 @default.
• W78461750 cites W1623618347 @default.
• W78461750 cites W1639901403 @default.
• W78461750 cites W1924767599 @default.
• W78461750 cites W1969965298 @default.
• W78461750 cites W1971626643 @default.
• W78461750 cites W1976055110 @default.
• W78461750 cites W1985274317 @default.
• W78461750 cites W2031970196 @default.
• W78461750 cites W203824894 @default.
• W78461750 cites W2041075536 @default.
• W78461750 cites W2043673291 @default.
• W78461750 cites W2076108709 @default.
• W78461750 cites W2076698873 @default.
• W78461750 cites W2077261730 @default.
• W78461750 cites W2090184124 @default.
• W78461750 cites W2092211394 @default.
• W78461750 cites W2106500031 @default.
• W78461750 cites W2123740011 @default.
• W78461750 cites W2152131859 @default.
• W78461750 cites W2154392574 @default.
• W78461750 cites W2156811000 @default.
• W78461750 cites W2157334516 @default.
• W78461750 cites W2166791089 @default.
• W78461750 cites W2295882966 @default.
• W78461750 cites W3023767094 @default.
• W78461750 cites W3099886518 @default.
• W78461750 cites W3100069569 @default.
• W78461750 cites W4210897223 @default.
• W78461750 doi "https://doi.org/10.1007/978-3-642-24206-9_7" @default.
• W78461750 hasPublicationYear "2011" @default.
• W78461750 type Work @default.
• W78461750 sameAs 78461750 @default.
• W78461750 citedByCount "3" @default.
• W78461750 countsByYear W784617502012 @default.
• W78461750 countsByYear W784617502013 @default.
• W78461750 countsByYear W784617502018 @default.
• W78461750 crossrefType "book-chapter" @default.
• W78461750 hasAuthorship W78461750A5006053030 @default.
• W78461750 hasConcept C118615104 @default.
• W78461750 hasConcept C127001435 @default.
• W78461750 hasConcept C128838566 @default.
• W78461750 hasConcept C148230440 @default.
• W78461750 hasConcept C153269930 @default.
• W78461750 hasConcept C156325763 @default.
• W78461750 hasConcept C182620335 @default.
• W78461750 hasConcept C184337299 @default.
• W78461750 hasConcept C192034797 @default.
• W78461750 hasConcept C199360897 @default.
• W78461750 hasConcept C2185349 @default.
• W78461750 hasConcept C2780069185 @default.
• W78461750 hasConcept C2987117450 @default.
• W78461750 hasConcept C33923547 @default.
• W78461750 hasConcept C41008148 @default.
• W78461750 hasConcept C80444323 @default.
• W78461750 hasConceptScore W78461750C118615104 @default.
• W78461750 hasConceptScore W78461750C127001435 @default.
• W78461750 hasConceptScore W78461750C128838566 @default.
• W78461750 hasConceptScore W78461750C148230440 @default.
• W78461750 hasConceptScore W78461750C153269930 @default.
• W78461750 hasConceptScore W78461750C156325763 @default.
• W78461750 hasConceptScore W78461750C182620335 @default.
• W78461750 hasConceptScore W78461750C184337299 @default.
• W78461750 hasConceptScore W78461750C192034797 @default.
• W78461750 hasConceptScore W78461750C199360897 @default.
• W78461750 hasConceptScore W78461750C2185349 @default.
• W78461750 hasConceptScore W78461750C2780069185 @default.
• W78461750 hasConceptScore W78461750C2987117450 @default.
• W78461750 hasConceptScore W78461750C33923547 @default.
• W78461750 hasConceptScore W78461750C41008148 @default.
• W78461750 hasConceptScore W78461750C80444323 @default.
• W78461750 hasLocation W784617501 @default.
• W78461750 hasOpenAccess W78461750 @default.
• W78461750 hasPrimaryLocation W784617501 @default.
• W78461750 hasRelatedWork W1547392259 @default.
• W78461750 hasRelatedWork W1995214664 @default.
• W78461750 hasRelatedWork W2003031781 @default.
• W78461750 hasRelatedWork W2019120929 @default.
• W78461750 hasRelatedWork W2047754004 @default.
• W78461750 hasRelatedWork W2077261730 @default.
• W78461750 hasRelatedWork W2081973669 @default.
• W78461750 hasRelatedWork W2090079575 @default.
• W78461750 hasRelatedWork W2156536027 @default.
• W78461750 hasRelatedWork W2173302770 @default.

• next