Matches in SemOpenAlex for { <https://semopenalex.org/work/W13737784> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W13737784 endingPage "700" @default.
- W13737784 startingPage "695" @default.
- W13737784 abstract "Recent research in nonmonotonic logic programming under the answer-set semantics studies different notions of equivalence. In particular, strong and uniform equivalence are proposed as useful tools for optimizing (parts of) a logic program. While previous research mainly addressed propositional (i.e., ground) programs, we deal here with the more general case of non-ground programs, and provide semantical characterizations capturing the essence of equivalence, generalizing the concepts of SE-models and UE-models, respectively, as originally introduced for propositional programs. We show that uniform equivalence is undecidable, and we give decidability results and precise complexity bounds for strong equivalence (thereby correcting a previous complexity bound for strong equivalence from the literature) as well as for uniform equivalence for finite vocabularies." @default.
- W13737784 created "2016-06-24" @default.
- W13737784 creator A5073662063 @default.
- W13737784 creator A5082178480 @default.
- W13737784 creator A5083659319 @default.
- W13737784 creator A5006053030 @default.
- W13737784 date "2005-07-09" @default.
- W13737784 modified "2023-09-24" @default.
- W13737784 title "Strong and uniform equivalence in answer-set programming: characterizations and complexity results for the non-ground case" @default.
- W13737784 cites W1536163973 @default.
- W13737784 cites W1549628945 @default.
- W13737784 cites W1602726442 @default.
- W13737784 cites W1770842667 @default.
- W13737784 cites W1969965298 @default.
- W13737784 cites W1976055110 @default.
- W13737784 cites W1985274317 @default.
- W13737784 cites W2005465900 @default.
- W13737784 cites W2011124182 @default.
- W13737784 cites W2041075536 @default.
- W13737784 cites W2065555531 @default.
- W13737784 cites W2066287719 @default.
- W13737784 cites W2076698873 @default.
- W13737784 cites W2077261730 @default.
- W13737784 cites W2079745007 @default.
- W13737784 cites W2110463644 @default.
- W13737784 cites W2174018523 @default.
- W13737784 hasPublicationYear "2005" @default.
- W13737784 type Work @default.
- W13737784 sameAs 13737784 @default.
- W13737784 citedByCount "10" @default.
- W13737784 countsByYear W137377842016 @default.
- W13737784 countsByYear W137377842017 @default.
- W13737784 crossrefType "proceedings-article" @default.
- W13737784 hasAuthorship W13737784A5006053030 @default.
- W13737784 hasAuthorship W13737784A5073662063 @default.
- W13737784 hasAuthorship W13737784A5082178480 @default.
- W13737784 hasAuthorship W13737784A5083659319 @default.
- W13737784 hasConcept C118615104 @default.
- W13737784 hasConcept C127001435 @default.
- W13737784 hasConcept C128838566 @default.
- W13737784 hasConcept C153269930 @default.
- W13737784 hasConcept C156325763 @default.
- W13737784 hasConcept C182620335 @default.
- W13737784 hasConcept C184337299 @default.
- W13737784 hasConcept C192034797 @default.
- W13737784 hasConcept C199360897 @default.
- W13737784 hasConcept C2780069185 @default.
- W13737784 hasConcept C33923547 @default.
- W13737784 hasConcept C41008148 @default.
- W13737784 hasConcept C69562738 @default.
- W13737784 hasConcept C70846408 @default.
- W13737784 hasConcept C80444323 @default.
- W13737784 hasConceptScore W13737784C118615104 @default.
- W13737784 hasConceptScore W13737784C127001435 @default.
- W13737784 hasConceptScore W13737784C128838566 @default.
- W13737784 hasConceptScore W13737784C153269930 @default.
- W13737784 hasConceptScore W13737784C156325763 @default.
- W13737784 hasConceptScore W13737784C182620335 @default.
- W13737784 hasConceptScore W13737784C184337299 @default.
- W13737784 hasConceptScore W13737784C192034797 @default.
- W13737784 hasConceptScore W13737784C199360897 @default.
- W13737784 hasConceptScore W13737784C2780069185 @default.
- W13737784 hasConceptScore W13737784C33923547 @default.
- W13737784 hasConceptScore W13737784C41008148 @default.
- W13737784 hasConceptScore W13737784C69562738 @default.
- W13737784 hasConceptScore W13737784C70846408 @default.
- W13737784 hasConceptScore W13737784C80444323 @default.
- W13737784 hasLocation W137377841 @default.
- W13737784 hasOpenAccess W13737784 @default.
- W13737784 hasPrimaryLocation W137377841 @default.
- W13737784 hasRelatedWork W1484166989 @default.
- W13737784 hasRelatedWork W1527039196 @default.
- W13737784 hasRelatedWork W1549628945 @default.
- W13737784 hasRelatedWork W1552914076 @default.
- W13737784 hasRelatedWork W1579369115 @default.
- W13737784 hasRelatedWork W1582978375 @default.
- W13737784 hasRelatedWork W1602726442 @default.
- W13737784 hasRelatedWork W1606891084 @default.
- W13737784 hasRelatedWork W1623618347 @default.
- W13737784 hasRelatedWork W1627528933 @default.
- W13737784 hasRelatedWork W1672891595 @default.
- W13737784 hasRelatedWork W1971626643 @default.
- W13737784 hasRelatedWork W1976055110 @default.
- W13737784 hasRelatedWork W1985274317 @default.
- W13737784 hasRelatedWork W2011124182 @default.
- W13737784 hasRelatedWork W2066287719 @default.
- W13737784 hasRelatedWork W2076698873 @default.
- W13737784 hasRelatedWork W2087432892 @default.
- W13737784 hasRelatedWork W2123740011 @default.
- W13737784 hasRelatedWork W2166791089 @default.
- W13737784 isParatext "false" @default.
- W13737784 isRetracted "false" @default.
- W13737784 magId "13737784" @default.
- W13737784 workType "article" @default.