Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016993683> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2016993683 endingPage "744" @default.
- W2016993683 startingPage "697" @default.
- W2016993683 abstract "Abstract In answer set programming (ASP), a problem at hand is solved by (i) writing a logic program whose answer sets correspond to the solutions of the problem, and by (ii) computing the answer sets of the program using an answer set solver as a search engine. Typically, a programmer creates a series of gradually improving logic programs for a particular problem when optimizing program length and execution time on a particular solver. This leads the programmer to a meta-level problem of ensuring that the programs are equivalent, i.e., they give rise to the same answer sets. To ease answer set programming at methodological level, we propose a translation-based method for verifying the equivalence of logic programs. The basic idea is to translate logic programs P and Q under consideration into a single logic program EQT( P , Q ) whose answer sets (if such exist) yield counter-examples to the equivalence of P and Q . The method is developed here in a slightly more general setting by taking the visibility of atoms properly into account when comparing answer sets. The translation-based approach presented in the paper has been implemented as a translator called lpeq that enables the verification of weak equivalence within the smodels system using the same search engine as for the search of models. Our experiments with lpeq and smodels suggest that establishing the equivalence of logic programs in this way is in certain cases much faster than naive cross-checking of answer sets." @default.
- W2016993683 created "2016-06-24" @default.
- W2016993683 creator A5039712529 @default.
- W2016993683 creator A5046046339 @default.
- W2016993683 date "2007-11-01" @default.
- W2016993683 modified "2023-09-25" @default.
- W2016993683 title "Automated Verification of Weak Equivalence within the<scp><i>smodels</i></scp>System" @default.
- W2016993683 cites W1482480040 @default.
- W2016993683 cites W1507965739 @default.
- W2016993683 cites W1532166544 @default.
- W2016993683 cites W1541323168 @default.
- W2016993683 cites W1571819422 @default.
- W2016993683 cites W1572712485 @default.
- W2016993683 cites W1586434992 @default.
- W2016993683 cites W1601153438 @default.
- W2016993683 cites W1639901403 @default.
- W2016993683 cites W1964821516 @default.
- W2016993683 cites W1976055110 @default.
- W2016993683 cites W1985274317 @default.
- W2016993683 cites W2011124182 @default.
- W2016993683 cites W2011992362 @default.
- W2016993683 cites W2043673291 @default.
- W2016993683 cites W2050842068 @default.
- W2016993683 cites W2056850725 @default.
- W2016993683 cites W2066287719 @default.
- W2016993683 cites W2111353076 @default.
- W2016993683 cites W2152131859 @default.
- W2016993683 cites W2611415697 @default.
- W2016993683 cites W4206370914 @default.
- W2016993683 doi "https://doi.org/10.1017/s1471068407003031" @default.
- W2016993683 hasPublicationYear "2007" @default.
- W2016993683 type Work @default.
- W2016993683 sameAs 2016993683 @default.
- W2016993683 citedByCount "12" @default.
- W2016993683 countsByYear W20169936832012 @default.
- W2016993683 countsByYear W20169936832020 @default.
- W2016993683 crossrefType "journal-article" @default.
- W2016993683 hasAuthorship W2016993683A5039712529 @default.
- W2016993683 hasAuthorship W2016993683A5046046339 @default.
- W2016993683 hasBestOaLocation W20169936832 @default.
- W2016993683 hasConcept C118615104 @default.
- W2016993683 hasConcept C127001435 @default.
- W2016993683 hasConcept C128838566 @default.
- W2016993683 hasConcept C156325763 @default.
- W2016993683 hasConcept C177264268 @default.
- W2016993683 hasConcept C182620335 @default.
- W2016993683 hasConcept C184337299 @default.
- W2016993683 hasConcept C199360897 @default.
- W2016993683 hasConcept C2778514511 @default.
- W2016993683 hasConcept C2778770139 @default.
- W2016993683 hasConcept C2780069185 @default.
- W2016993683 hasConcept C2987117450 @default.
- W2016993683 hasConcept C33923547 @default.
- W2016993683 hasConcept C41008148 @default.
- W2016993683 hasConcept C80444323 @default.
- W2016993683 hasConceptScore W2016993683C118615104 @default.
- W2016993683 hasConceptScore W2016993683C127001435 @default.
- W2016993683 hasConceptScore W2016993683C128838566 @default.
- W2016993683 hasConceptScore W2016993683C156325763 @default.
- W2016993683 hasConceptScore W2016993683C177264268 @default.
- W2016993683 hasConceptScore W2016993683C182620335 @default.
- W2016993683 hasConceptScore W2016993683C184337299 @default.
- W2016993683 hasConceptScore W2016993683C199360897 @default.
- W2016993683 hasConceptScore W2016993683C2778514511 @default.
- W2016993683 hasConceptScore W2016993683C2778770139 @default.
- W2016993683 hasConceptScore W2016993683C2780069185 @default.
- W2016993683 hasConceptScore W2016993683C2987117450 @default.
- W2016993683 hasConceptScore W2016993683C33923547 @default.
- W2016993683 hasConceptScore W2016993683C41008148 @default.
- W2016993683 hasConceptScore W2016993683C80444323 @default.
- W2016993683 hasIssue "6" @default.
- W2016993683 hasLocation W20169936831 @default.
- W2016993683 hasLocation W20169936832 @default.
- W2016993683 hasOpenAccess W2016993683 @default.
- W2016993683 hasPrimaryLocation W20169936831 @default.
- W2016993683 hasRelatedWork W1484234566 @default.
- W2016993683 hasRelatedWork W1556363336 @default.
- W2016993683 hasRelatedWork W1601153438 @default.
- W2016993683 hasRelatedWork W1756530980 @default.
- W2016993683 hasRelatedWork W2016993683 @default.
- W2016993683 hasRelatedWork W2084377247 @default.
- W2016993683 hasRelatedWork W2160562204 @default.
- W2016993683 hasRelatedWork W2176973685 @default.
- W2016993683 hasRelatedWork W2888937828 @default.
- W2016993683 hasRelatedWork W2949422477 @default.
- W2016993683 hasVolume "7" @default.
- W2016993683 isParatext "false" @default.
- W2016993683 isRetracted "false" @default.
- W2016993683 magId "2016993683" @default.
- W2016993683 workType "article" @default.