Matches in SemOpenAlex for { <https://semopenalex.org/work/W227481680> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W227481680 abstract "It has been known for a long time that intuitionistically equivalent formulas have the same stable models. We extend this theorem to propositional formulas with infinitely long conjunctions and disjunctions and show how to apply this generalization to proving properties of aggregates in answer set programming." @default.
- W227481680 created "2016-06-24" @default.
- W227481680 creator A5074195056 @default.
- W227481680 creator A5076917986 @default.
- W227481680 creator A5079794036 @default.
- W227481680 date "2013-01-01" @default.
- W227481680 modified "2023-09-26" @default.
- W227481680 title "On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics" @default.
- W227481680 cites W1578446848 @default.
- W227481680 cites W1601726121 @default.
- W227481680 cites W1800801472 @default.
- W227481680 cites W1881914301 @default.
- W227481680 cites W1985274317 @default.
- W227481680 doi "https://doi.org/10.1007/978-3-642-40564-8_38" @default.
- W227481680 hasPublicationYear "2013" @default.
- W227481680 type Work @default.
- W227481680 sameAs 227481680 @default.
- W227481680 citedByCount "3" @default.
- W227481680 countsByYear W2274816802013 @default.
- W227481680 countsByYear W2274816802014 @default.
- W227481680 crossrefType "book-chapter" @default.
- W227481680 hasAuthorship W227481680A5074195056 @default.
- W227481680 hasAuthorship W227481680A5076917986 @default.
- W227481680 hasAuthorship W227481680A5079794036 @default.
- W227481680 hasConcept C11413529 @default.
- W227481680 hasConcept C118615104 @default.
- W227481680 hasConcept C127001435 @default.
- W227481680 hasConcept C134306372 @default.
- W227481680 hasConcept C136119220 @default.
- W227481680 hasConcept C156325763 @default.
- W227481680 hasConcept C177148314 @default.
- W227481680 hasConcept C177264268 @default.
- W227481680 hasConcept C182620335 @default.
- W227481680 hasConcept C184337299 @default.
- W227481680 hasConcept C199360897 @default.
- W227481680 hasConcept C202444582 @default.
- W227481680 hasConcept C33923547 @default.
- W227481680 hasConcept C41008148 @default.
- W227481680 hasConcept C69562738 @default.
- W227481680 hasConceptScore W227481680C11413529 @default.
- W227481680 hasConceptScore W227481680C118615104 @default.
- W227481680 hasConceptScore W227481680C127001435 @default.
- W227481680 hasConceptScore W227481680C134306372 @default.
- W227481680 hasConceptScore W227481680C136119220 @default.
- W227481680 hasConceptScore W227481680C156325763 @default.
- W227481680 hasConceptScore W227481680C177148314 @default.
- W227481680 hasConceptScore W227481680C177264268 @default.
- W227481680 hasConceptScore W227481680C182620335 @default.
- W227481680 hasConceptScore W227481680C184337299 @default.
- W227481680 hasConceptScore W227481680C199360897 @default.
- W227481680 hasConceptScore W227481680C202444582 @default.
- W227481680 hasConceptScore W227481680C33923547 @default.
- W227481680 hasConceptScore W227481680C41008148 @default.
- W227481680 hasConceptScore W227481680C69562738 @default.
- W227481680 hasLocation W2274816801 @default.
- W227481680 hasOpenAccess W227481680 @default.
- W227481680 hasPrimaryLocation W2274816801 @default.
- W227481680 hasRelatedWork W1672891595 @default.
- W227481680 hasRelatedWork W1974082531 @default.
- W227481680 hasRelatedWork W2021408543 @default.
- W227481680 hasRelatedWork W2056066638 @default.
- W227481680 hasRelatedWork W2076937467 @default.
- W227481680 hasRelatedWork W2081909835 @default.
- W227481680 hasRelatedWork W2094469821 @default.
- W227481680 hasRelatedWork W2135808442 @default.
- W227481680 hasRelatedWork W2144359719 @default.
- W227481680 hasRelatedWork W2169148404 @default.
- W227481680 hasRelatedWork W2401444989 @default.
- W227481680 hasRelatedWork W2407693775 @default.
- W227481680 hasRelatedWork W2498536233 @default.
- W227481680 hasRelatedWork W2799494962 @default.
- W227481680 hasRelatedWork W2901817566 @default.
- W227481680 hasRelatedWork W2952101673 @default.
- W227481680 hasRelatedWork W3001807735 @default.
- W227481680 hasRelatedWork W3110126610 @default.
- W227481680 hasRelatedWork W2120961893 @default.
- W227481680 hasRelatedWork W2130363220 @default.
- W227481680 isParatext "false" @default.
- W227481680 isRetracted "false" @default.
- W227481680 magId "227481680" @default.
- W227481680 workType "book-chapter" @default.