Matches in SemOpenAlex for { <https://semopenalex.org/work/W3046518491> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3046518491 endingPage "750" @default.
- W3046518491 startingPage "735" @default.
- W3046518491 abstract "This paper continues the line of research aimed at investigating the relationship between logic programs and first-order theories. We extend the definition of program completion to programs with input and output in a subset of the input language of the ASP grounder gringo, study the relationship between stable models and completion in this context, and describe preliminary experiments with the use of two software tools, anthem and vampire, for verifying the correctness of programs with input and output. Proofs of theorems are based on a lemma that relates the semantics of programs studied in this paper to stable models of first-order formulas. Under consideration for acceptance in TPLP." @default.
- W3046518491 created "2020-08-07" @default.
- W3046518491 creator A5056956560 @default.
- W3046518491 creator A5056960562 @default.
- W3046518491 creator A5058467603 @default.
- W3046518491 creator A5076917986 @default.
- W3046518491 date "2020-09-01" @default.
- W3046518491 modified "2023-09-30" @default.
- W3046518491 title "Verifying Tight Logic Programs with anthem and vampire" @default.
- W3046518491 cites W2074596576 @default.
- W3046518491 cites W2091138122 @default.
- W3046518491 cites W2134039900 @default.
- W3046518491 cites W2156885169 @default.
- W3046518491 cites W2158059231 @default.
- W3046518491 cites W2588018425 @default.
- W3046518491 cites W2590401811 @default.
- W3046518491 cites W2795456052 @default.
- W3046518491 cites W2962967970 @default.
- W3046518491 cites W3102223777 @default.
- W3046518491 doi "https://doi.org/10.1017/s1471068420000344" @default.
- W3046518491 hasPublicationYear "2020" @default.
- W3046518491 type Work @default.
- W3046518491 sameAs 3046518491 @default.
- W3046518491 citedByCount "13" @default.
- W3046518491 countsByYear W30465184912021 @default.
- W3046518491 countsByYear W30465184912022 @default.
- W3046518491 countsByYear W30465184912023 @default.
- W3046518491 crossrefType "journal-article" @default.
- W3046518491 hasAuthorship W3046518491A5056956560 @default.
- W3046518491 hasAuthorship W3046518491A5056960562 @default.
- W3046518491 hasAuthorship W3046518491A5058467603 @default.
- W3046518491 hasAuthorship W3046518491A5076917986 @default.
- W3046518491 hasBestOaLocation W30465184912 @default.
- W3046518491 hasConcept C108710211 @default.
- W3046518491 hasConcept C128838566 @default.
- W3046518491 hasConcept C151730666 @default.
- W3046518491 hasConcept C184337299 @default.
- W3046518491 hasConcept C18903297 @default.
- W3046518491 hasConcept C199360897 @default.
- W3046518491 hasConcept C2524010 @default.
- W3046518491 hasConcept C2776562800 @default.
- W3046518491 hasConcept C2777759810 @default.
- W3046518491 hasConcept C2779343474 @default.
- W3046518491 hasConcept C33923547 @default.
- W3046518491 hasConcept C41008148 @default.
- W3046518491 hasConcept C46757340 @default.
- W3046518491 hasConcept C55439883 @default.
- W3046518491 hasConcept C86803240 @default.
- W3046518491 hasConceptScore W3046518491C108710211 @default.
- W3046518491 hasConceptScore W3046518491C128838566 @default.
- W3046518491 hasConceptScore W3046518491C151730666 @default.
- W3046518491 hasConceptScore W3046518491C184337299 @default.
- W3046518491 hasConceptScore W3046518491C18903297 @default.
- W3046518491 hasConceptScore W3046518491C199360897 @default.
- W3046518491 hasConceptScore W3046518491C2524010 @default.
- W3046518491 hasConceptScore W3046518491C2776562800 @default.
- W3046518491 hasConceptScore W3046518491C2777759810 @default.
- W3046518491 hasConceptScore W3046518491C2779343474 @default.
- W3046518491 hasConceptScore W3046518491C33923547 @default.
- W3046518491 hasConceptScore W3046518491C41008148 @default.
- W3046518491 hasConceptScore W3046518491C46757340 @default.
- W3046518491 hasConceptScore W3046518491C55439883 @default.
- W3046518491 hasConceptScore W3046518491C86803240 @default.
- W3046518491 hasIssue "5" @default.
- W3046518491 hasLocation W30465184911 @default.
- W3046518491 hasLocation W30465184912 @default.
- W3046518491 hasLocation W30465184913 @default.
- W3046518491 hasOpenAccess W3046518491 @default.
- W3046518491 hasPrimaryLocation W30465184911 @default.
- W3046518491 hasRelatedWork W1135403299 @default.
- W3046518491 hasRelatedWork W1517132137 @default.
- W3046518491 hasRelatedWork W1548537923 @default.
- W3046518491 hasRelatedWork W1587224678 @default.
- W3046518491 hasRelatedWork W1589124319 @default.
- W3046518491 hasRelatedWork W176283517 @default.
- W3046518491 hasRelatedWork W2035140398 @default.
- W3046518491 hasRelatedWork W2973978040 @default.
- W3046518491 hasRelatedWork W3193661396 @default.
- W3046518491 hasRelatedWork W2229340390 @default.
- W3046518491 hasVolume "20" @default.
- W3046518491 isParatext "false" @default.
- W3046518491 isRetracted "false" @default.
- W3046518491 magId "3046518491" @default.
- W3046518491 workType "article" @default.