Matches in SemOpenAlex for { <https://semopenalex.org/work/W1913885943> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1913885943 abstract "The concept of a stable model for infinitary propositional formulas can be used to define the semantics of answer set programming languages. A semantics of this kind serves as a specification for the latest version of the answer set grounder GRINGO. The original definition of a stable model [Gelfond and Lifschitz, 1988] has been generalized in several ways (a survey by Lifschitz [2010] provides a comprehensive overview). In particular, it was extended to arbitrary propositional formulas [Pearce, 1997; Ferraris, 2005]. More recently it was extended to propositional formulas with infinite conjunctions and disjunctions [Truszczynski, 2012], and this generalization has been used to define the semantics of aggregates in the input language of the answer set grounder GRINGO1 [Harrison et al., 2014; Gebser et al., 2015]. Infinitary propositional formulas of rank r, where r is a nonnegative integer, are defined recursively. Propositional atoms are formulas of rank 0. If H is a set of formulas, and r is the smallest integer that is greater than the ranks of all elements of H, then both the conjunction over all elements of H and the disjunction over all elements of H are formulas of rank r. If r is the smallest integer that is greater than the ranks of F and G then F → G is a formula of rank r. The expression ¬F stands for the formula F → ⊥ where⊥ is the disjunction over the empty set of formulas and so, is a formula of rank 0. For instance, if Q and P (α), for every α from a non-empty (possibly infinite) set A are atoms ∨" @default.
- W1913885943 created "2016-06-24" @default.
- W1913885943 creator A5062637130 @default.
- W1913885943 date "2015-01-01" @default.
- W1913885943 modified "2023-09-27" @default.
- W1913885943 title "Infinitary Formulas in Answer Set Programming" @default.
- W1913885943 cites W1623326375 @default.
- W1913885943 cites W1672891595 @default.
- W1913885943 cites W1753839785 @default.
- W1913885943 cites W1800801472 @default.
- W1913885943 cites W1881914301 @default.
- W1913885943 cites W1985274317 @default.
- W1913885943 cites W2401444989 @default.
- W1913885943 cites W2795456052 @default.
- W1913885943 hasPublicationYear "2015" @default.
- W1913885943 type Work @default.
- W1913885943 sameAs 1913885943 @default.
- W1913885943 citedByCount "0" @default.
- W1913885943 crossrefType "journal-article" @default.
- W1913885943 hasAuthorship W1913885943A5062637130 @default.
- W1913885943 hasConcept C102993220 @default.
- W1913885943 hasConcept C114614502 @default.
- W1913885943 hasConcept C118615104 @default.
- W1913885943 hasConcept C134306372 @default.
- W1913885943 hasConcept C14523651 @default.
- W1913885943 hasConcept C164226766 @default.
- W1913885943 hasConcept C177148314 @default.
- W1913885943 hasConcept C177264268 @default.
- W1913885943 hasConcept C184337299 @default.
- W1913885943 hasConcept C199360897 @default.
- W1913885943 hasConcept C33203268 @default.
- W1913885943 hasConcept C33923547 @default.
- W1913885943 hasConcept C41008148 @default.
- W1913885943 hasConcept C69562738 @default.
- W1913885943 hasConcept C74640108 @default.
- W1913885943 hasConcept C80444323 @default.
- W1913885943 hasConcept C97137487 @default.
- W1913885943 hasConceptScore W1913885943C102993220 @default.
- W1913885943 hasConceptScore W1913885943C114614502 @default.
- W1913885943 hasConceptScore W1913885943C118615104 @default.
- W1913885943 hasConceptScore W1913885943C134306372 @default.
- W1913885943 hasConceptScore W1913885943C14523651 @default.
- W1913885943 hasConceptScore W1913885943C164226766 @default.
- W1913885943 hasConceptScore W1913885943C177148314 @default.
- W1913885943 hasConceptScore W1913885943C177264268 @default.
- W1913885943 hasConceptScore W1913885943C184337299 @default.
- W1913885943 hasConceptScore W1913885943C199360897 @default.
- W1913885943 hasConceptScore W1913885943C33203268 @default.
- W1913885943 hasConceptScore W1913885943C33923547 @default.
- W1913885943 hasConceptScore W1913885943C41008148 @default.
- W1913885943 hasConceptScore W1913885943C69562738 @default.
- W1913885943 hasConceptScore W1913885943C74640108 @default.
- W1913885943 hasConceptScore W1913885943C80444323 @default.
- W1913885943 hasConceptScore W1913885943C97137487 @default.
- W1913885943 hasLocation W19138859431 @default.
- W1913885943 hasOpenAccess W1913885943 @default.
- W1913885943 hasPrimaryLocation W19138859431 @default.
- W1913885943 hasRelatedWork W124157259 @default.
- W1913885943 hasRelatedWork W148586085 @default.
- W1913885943 hasRelatedWork W1488529230 @default.
- W1913885943 hasRelatedWork W1965584163 @default.
- W1913885943 hasRelatedWork W2000449151 @default.
- W1913885943 hasRelatedWork W2013705348 @default.
- W1913885943 hasRelatedWork W2028785893 @default.
- W1913885943 hasRelatedWork W2033556980 @default.
- W1913885943 hasRelatedWork W2067332512 @default.
- W1913885943 hasRelatedWork W2139771984 @default.
- W1913885943 hasRelatedWork W2153765600 @default.
- W1913885943 hasRelatedWork W2322311312 @default.
- W1913885943 hasRelatedWork W2402685112 @default.
- W1913885943 hasRelatedWork W2462347751 @default.
- W1913885943 hasRelatedWork W2490210073 @default.
- W1913885943 hasRelatedWork W2747620586 @default.
- W1913885943 hasRelatedWork W2905458020 @default.
- W1913885943 hasRelatedWork W78720960 @default.
- W1913885943 hasRelatedWork W2434199448 @default.
- W1913885943 hasRelatedWork W2502361874 @default.
- W1913885943 isParatext "false" @default.
- W1913885943 isRetracted "false" @default.
- W1913885943 magId "1913885943" @default.
- W1913885943 workType "article" @default.