Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204391856> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3204391856 abstract "Answer set programming is a prominent declarative programming paradigm used in formulating combinatorial search problems and implementing distinct knowledge representation formalisms. It is common that several related and yet substantially different answer set programs exist for a given problem. Sometimes these encodings may display significantly different performance. Uncovering {em precise formal} links between these programs is often important and yet far from trivial. This paper claims the correctness of a number of interesting program rewritings." @default.
- W3204391856 created "2021-10-11" @default.
- W3204391856 creator A5008816972 @default.
- W3204391856 date "2019-01-01" @default.
- W3204391856 modified "2023-09-26" @default.
- W3204391856 title "Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs" @default.
- W3204391856 hasPublicationYear "2019" @default.
- W3204391856 type Work @default.
- W3204391856 sameAs 3204391856 @default.
- W3204391856 citedByCount "0" @default.
- W3204391856 crossrefType "journal-article" @default.
- W3204391856 hasAuthorship W3204391856A5008816972 @default.
- W3204391856 hasConcept C118615104 @default.
- W3204391856 hasConcept C128838566 @default.
- W3204391856 hasConcept C171018156 @default.
- W3204391856 hasConcept C177264268 @default.
- W3204391856 hasConcept C17744445 @default.
- W3204391856 hasConcept C182620335 @default.
- W3204391856 hasConcept C199360897 @default.
- W3204391856 hasConcept C199539241 @default.
- W3204391856 hasConcept C2524010 @default.
- W3204391856 hasConcept C2776359362 @default.
- W3204391856 hasConcept C2780069185 @default.
- W3204391856 hasConcept C2987117450 @default.
- W3204391856 hasConcept C33923547 @default.
- W3204391856 hasConcept C41008148 @default.
- W3204391856 hasConcept C55439883 @default.
- W3204391856 hasConcept C80444323 @default.
- W3204391856 hasConcept C94625758 @default.
- W3204391856 hasConceptScore W3204391856C118615104 @default.
- W3204391856 hasConceptScore W3204391856C128838566 @default.
- W3204391856 hasConceptScore W3204391856C171018156 @default.
- W3204391856 hasConceptScore W3204391856C177264268 @default.
- W3204391856 hasConceptScore W3204391856C17744445 @default.
- W3204391856 hasConceptScore W3204391856C182620335 @default.
- W3204391856 hasConceptScore W3204391856C199360897 @default.
- W3204391856 hasConceptScore W3204391856C199539241 @default.
- W3204391856 hasConceptScore W3204391856C2524010 @default.
- W3204391856 hasConceptScore W3204391856C2776359362 @default.
- W3204391856 hasConceptScore W3204391856C2780069185 @default.
- W3204391856 hasConceptScore W3204391856C2987117450 @default.
- W3204391856 hasConceptScore W3204391856C33923547 @default.
- W3204391856 hasConceptScore W3204391856C41008148 @default.
- W3204391856 hasConceptScore W3204391856C55439883 @default.
- W3204391856 hasConceptScore W3204391856C80444323 @default.
- W3204391856 hasConceptScore W3204391856C94625758 @default.
- W3204391856 hasLocation W32043918561 @default.
- W3204391856 hasOpenAccess W3204391856 @default.
- W3204391856 hasPrimaryLocation W32043918561 @default.
- W3204391856 hasRelatedWork W1487563773 @default.
- W3204391856 hasRelatedWork W1498546115 @default.
- W3204391856 hasRelatedWork W1547926009 @default.
- W3204391856 hasRelatedWork W195675064 @default.
- W3204391856 hasRelatedWork W2024598493 @default.
- W3204391856 hasRelatedWork W203020785 @default.
- W3204391856 hasRelatedWork W2137586949 @default.
- W3204391856 hasRelatedWork W216690065 @default.
- W3204391856 hasRelatedWork W2400957619 @default.
- W3204391856 hasRelatedWork W2499386068 @default.
- W3204391856 hasRelatedWork W2568703243 @default.
- W3204391856 hasRelatedWork W2757837646 @default.
- W3204391856 hasRelatedWork W2955107593 @default.
- W3204391856 hasRelatedWork W3095065786 @default.
- W3204391856 hasRelatedWork W3097479008 @default.
- W3204391856 hasRelatedWork W3113242229 @default.
- W3204391856 hasRelatedWork W3201253136 @default.
- W3204391856 hasRelatedWork W975179059 @default.
- W3204391856 hasRelatedWork W1575107838 @default.
- W3204391856 hasRelatedWork W2188998477 @default.
- W3204391856 isParatext "false" @default.
- W3204391856 isRetracted "false" @default.
- W3204391856 magId "3204391856" @default.
- W3204391856 workType "article" @default.