FRINK Linked Data Fragments server

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

• W1484166989 endingPage "102" @default.
• W1484166989 startingPage "97" @default.
• W1484166989 abstract "We introduce a general framework for specifying program correspondence under the answer-set semantics. The framework allows to define different kinds of equivalence notions, including previously defined notions like strong and uniform equivalence, in which programs are extended with rules from a given context, and correspondence is determined by means of a binary relation. In particular, refined equivalence notions based on projected answer sets can be defined within this framework, where not all parts of an answer set are of relevance. We study general characterizations of inclusion and equivalence problems, introducing novel semantical structures. Furthermore, we deal with the issue of determining counterexamples for a given correspondence problem, and we analyze the computational complexity of correspondence checking." @default.
• W1484166989 created "2016-06-24" @default.
• W1484166989 creator A5073662063 @default.
• W1484166989 creator A5082178480 @default.
• W1484166989 creator A5006053030 @default.
• W1484166989 date "2005-07-30" @default.
• W1484166989 modified "2023-09-26" @default.
• W1484166989 title "On solution correspondences in answer-set programming" @default.
• W1484166989 cites W114126544 @default.
• W1484166989 cites W1549628945 @default.
• W1484166989 cites W1552914076 @default.
• W1484166989 cites W1579369115 @default.
• W1484166989 cites W1600576559 @default.
• W1484166989 cites W1602726442 @default.
• W1484166989 cites W1608552057 @default.
• W1484166989 cites W1985274317 @default.
• W1484166989 cites W2043673291 @default.
• W1484166989 cites W2066287719 @default.
• W1484166989 cites W2076698873 @default.
• W1484166989 cites W2123740011 @default.
• W1484166989 hasPublicationYear "2005" @default.
• W1484166989 type Work @default.
• W1484166989 sameAs 1484166989 @default.
• W1484166989 citedByCount "35" @default.
• W1484166989 countsByYear W14841669892012 @default.
• W1484166989 countsByYear W14841669892013 @default.
• W1484166989 countsByYear W14841669892014 @default.
• W1484166989 countsByYear W14841669892016 @default.
• W1484166989 countsByYear W14841669892017 @default.
• W1484166989 countsByYear W14841669892019 @default.
• W1484166989 countsByYear W14841669892020 @default.
• W1484166989 crossrefType "proceedings-article" @default.
• W1484166989 hasAuthorship W1484166989A5006053030 @default.
• W1484166989 hasAuthorship W1484166989A5073662063 @default.
• W1484166989 hasAuthorship W1484166989A5082178480 @default.
• W1484166989 hasConcept C11413529 @default.
• W1484166989 hasConcept C118615104 @default.
• W1484166989 hasConcept C128838566 @default.
• W1484166989 hasConcept C136119220 @default.
• W1484166989 hasConcept C156103551 @default.
• W1484166989 hasConcept C158154518 @default.
• W1484166989 hasConcept C162838799 @default.
• W1484166989 hasConcept C177264268 @default.
• W1484166989 hasConcept C17744445 @default.
• W1484166989 hasConcept C182620335 @default.
• W1484166989 hasConcept C199360897 @default.
• W1484166989 hasConcept C199539241 @default.
• W1484166989 hasConcept C202444582 @default.
• W1484166989 hasConcept C2780069185 @default.
• W1484166989 hasConcept C33923547 @default.
• W1484166989 hasConcept C41008148 @default.
• W1484166989 hasConcept C65180967 @default.
• W1484166989 hasConcept C70846408 @default.
• W1484166989 hasConcept C80444323 @default.
• W1484166989 hasConceptScore W1484166989C11413529 @default.
• W1484166989 hasConceptScore W1484166989C118615104 @default.
• W1484166989 hasConceptScore W1484166989C128838566 @default.
• W1484166989 hasConceptScore W1484166989C136119220 @default.
• W1484166989 hasConceptScore W1484166989C156103551 @default.
• W1484166989 hasConceptScore W1484166989C158154518 @default.
• W1484166989 hasConceptScore W1484166989C162838799 @default.
• W1484166989 hasConceptScore W1484166989C177264268 @default.
• W1484166989 hasConceptScore W1484166989C17744445 @default.
• W1484166989 hasConceptScore W1484166989C182620335 @default.
• W1484166989 hasConceptScore W1484166989C199360897 @default.
• W1484166989 hasConceptScore W1484166989C199539241 @default.
• W1484166989 hasConceptScore W1484166989C202444582 @default.
• W1484166989 hasConceptScore W1484166989C2780069185 @default.
• W1484166989 hasConceptScore W1484166989C33923547 @default.
• W1484166989 hasConceptScore W1484166989C41008148 @default.
• W1484166989 hasConceptScore W1484166989C65180967 @default.
• W1484166989 hasConceptScore W1484166989C70846408 @default.
• W1484166989 hasConceptScore W1484166989C80444323 @default.
• W1484166989 hasLocation W14841669891 @default.
• W1484166989 hasOpenAccess W1484166989 @default.
• W1484166989 hasPrimaryLocation W14841669891 @default.
• W1484166989 hasRelatedWork W1496474960 @default.
• W1484166989 hasRelatedWork W1548519218 @default.
• W1484166989 hasRelatedWork W1549628945 @default.
• W1484166989 hasRelatedWork W1552914076 @default.
• W1484166989 hasRelatedWork W1579369115 @default.
• W1484166989 hasRelatedWork W1602726442 @default.
• W1484166989 hasRelatedWork W1606891084 @default.
• W1484166989 hasRelatedWork W1672891595 @default.
• W1484166989 hasRelatedWork W1971626643 @default.
• W1484166989 hasRelatedWork W1976055110 @default.
• W1484166989 hasRelatedWork W1985274317 @default.
• W1484166989 hasRelatedWork W2011124182 @default.
• W1484166989 hasRelatedWork W2022482529 @default.
• W1484166989 hasRelatedWork W2066287719 @default.
• W1484166989 hasRelatedWork W2076698873 @default.
• W1484166989 hasRelatedWork W2087432892 @default.
• W1484166989 hasRelatedWork W2123740011 @default.
• W1484166989 hasRelatedWork W2141740710 @default.
• W1484166989 hasRelatedWork W2166791089 @default.
• W1484166989 hasRelatedWork W2167765443 @default.
• W1484166989 isParatext "false" @default.
• W1484166989 isRetracted "false" @default.

• next