FRINK Linked Data Fragments server

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

• W1767045576 abstract "The system ccT is a tool for testing correspondence between propositional logic programs under the answer-set semantics with respect to different refined notions of program correspondence. The underlying methodology of ccT is to reduce a given correspondence problem to the satisfiability problem of quantified propositional logic and to employ extant solvers for the latter language as back-end inference engines. In a previous version of ccT, the system was designed to test correspondence between programs based on relativised strong equivalence under answer-set projection . Such a setting generalises the standard notion of strong equivalence by taking the alphabet of the context programs as well as the projection of the compared answer sets to a set of designated output atoms into account. This paper outlines a newly added component of ccT for testing similarly parameterised correspondence problems based on uniform equivalence ." @default.
• W1767045576 created "2016-06-24" @default.
• W1767045576 creator A5028255011 @default.
• W1767045576 creator A5042183912 @default.
• W1767045576 creator A5073662063 @default.
• W1767045576 creator A5006053030 @default.
• W1767045576 date "2009-01-01" @default.
• W1767045576 modified "2023-09-23" @default.
• W1767045576 title "Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc ⊤" @default.
• W1767045576 cites W1488478372 @default.
• W1767045576 cites W1489350935 @default.
• W1767045576 cites W1510612468 @default.
• W1767045576 cites W1600576559 @default.
• W1767045576 cites W1602726442 @default.
• W1767045576 cites W1985274317 @default.
• W1767045576 cites W2076698873 @default.
• W1767045576 cites W2123740011 @default.
• W1767045576 cites W2028393161 @default.
• W1767045576 doi "https://doi.org/10.1007/978-3-642-00675-3_16" @default.
• W1767045576 hasPublicationYear "2009" @default.
• W1767045576 type Work @default.
• W1767045576 sameAs 1767045576 @default.
• W1767045576 citedByCount "2" @default.
• W1767045576 countsByYear W17670455762012 @default.
• W1767045576 countsByYear W17670455762017 @default.
• W1767045576 crossrefType "book-chapter" @default.
• W1767045576 hasAuthorship W1767045576A5006053030 @default.
• W1767045576 hasAuthorship W1767045576A5028255011 @default.
• W1767045576 hasAuthorship W1767045576A5042183912 @default.
• W1767045576 hasAuthorship W1767045576A5073662063 @default.
• W1767045576 hasBestOaLocation W17670455762 @default.
• W1767045576 hasConcept C102993220 @default.
• W1767045576 hasConcept C112876837 @default.
• W1767045576 hasConcept C11413529 @default.
• W1767045576 hasConcept C118615104 @default.
• W1767045576 hasConcept C128838566 @default.
• W1767045576 hasConcept C136119220 @default.
• W1767045576 hasConcept C138885662 @default.
• W1767045576 hasConcept C14523651 @default.
• W1767045576 hasConcept C168773769 @default.
• W1767045576 hasConcept C177264268 @default.
• W1767045576 hasConcept C199360897 @default.
• W1767045576 hasConcept C202444582 @default.
• W1767045576 hasConcept C2780069185 @default.
• W1767045576 hasConcept C2987117450 @default.
• W1767045576 hasConcept C33203268 @default.
• W1767045576 hasConcept C33923547 @default.
• W1767045576 hasConcept C41008148 @default.
• W1767045576 hasConcept C41895202 @default.
• W1767045576 hasConcept C57493831 @default.
• W1767045576 hasConcept C69562738 @default.
• W1767045576 hasConcept C70846408 @default.
• W1767045576 hasConcept C74640108 @default.
• W1767045576 hasConcept C80444323 @default.
• W1767045576 hasConceptScore W1767045576C102993220 @default.
• W1767045576 hasConceptScore W1767045576C112876837 @default.
• W1767045576 hasConceptScore W1767045576C11413529 @default.
• W1767045576 hasConceptScore W1767045576C118615104 @default.
• W1767045576 hasConceptScore W1767045576C128838566 @default.
• W1767045576 hasConceptScore W1767045576C136119220 @default.
• W1767045576 hasConceptScore W1767045576C138885662 @default.
• W1767045576 hasConceptScore W1767045576C14523651 @default.
• W1767045576 hasConceptScore W1767045576C168773769 @default.
• W1767045576 hasConceptScore W1767045576C177264268 @default.
• W1767045576 hasConceptScore W1767045576C199360897 @default.
• W1767045576 hasConceptScore W1767045576C202444582 @default.
• W1767045576 hasConceptScore W1767045576C2780069185 @default.
• W1767045576 hasConceptScore W1767045576C2987117450 @default.
• W1767045576 hasConceptScore W1767045576C33203268 @default.
• W1767045576 hasConceptScore W1767045576C33923547 @default.
• W1767045576 hasConceptScore W1767045576C41008148 @default.
• W1767045576 hasConceptScore W1767045576C41895202 @default.
• W1767045576 hasConceptScore W1767045576C57493831 @default.
• W1767045576 hasConceptScore W1767045576C69562738 @default.
• W1767045576 hasConceptScore W1767045576C70846408 @default.
• W1767045576 hasConceptScore W1767045576C74640108 @default.
• W1767045576 hasConceptScore W1767045576C80444323 @default.
• W1767045576 hasLocation W17670455761 @default.
• W1767045576 hasLocation W17670455762 @default.
• W1767045576 hasOpenAccess W1767045576 @default.
• W1767045576 hasPrimaryLocation W17670455761 @default.
• W1767045576 hasRelatedWork W1138238613 @default.
• W1767045576 hasRelatedWork W1507973825 @default.
• W1767045576 hasRelatedWork W1602726442 @default.
• W1767045576 hasRelatedWork W1603241790 @default.
• W1767045576 hasRelatedWork W1830221155 @default.
• W1767045576 hasRelatedWork W1847579509 @default.
• W1767045576 hasRelatedWork W1966642096 @default.
• W1767045576 hasRelatedWork W2011998974 @default.
• W1767045576 hasRelatedWork W2066287719 @default.
• W1767045576 hasRelatedWork W2111487551 @default.
• W1767045576 hasRelatedWork W2235749104 @default.
• W1767045576 hasRelatedWork W2889566068 @default.
• W1767045576 hasRelatedWork W2907543096 @default.
• W1767045576 hasRelatedWork W2939708371 @default.
• W1767045576 hasRelatedWork W2986314116 @default.
• W1767045576 hasRelatedWork W2986980043 @default.
• W1767045576 hasRelatedWork W3020983438 @default.
• W1767045576 hasRelatedWork W3101554965 @default.
• W1767045576 hasRelatedWork W328458689 @default.

• next