FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1863636468> ?p ?o ?g. }

• W1863636468 startingPage "103" @default.
• W1863636468 abstract "Abstract constraint atoms provide a general framework for the study of aggregates utilized in answer set programming. Such primitives suitably increase the expressive power of rules and enable more concise representation of various domains as answer set programs. However, it is non-trivial to generalize the stable model semantics for programs involving arbitrary abstract constraint atoms. For instance, a nondeterministic variant of the immediate consequence operator is needed, or the definition of stable models cannot be stated directly using primitives of logic programs. In this paper, we propose sampler programs as a relaxation of abstract constraint programs that better lend themselves to the program transformation involved in the definition of stable models. Consequently, the declarative nature of stable models can be restored for sampler programs and abstract constraint programs are also covered if decomposed into sampler programs. Moreover, we study the relationships of the classes of programs involved and provide a characterization in terms of abstract but essentially deterministic computations. This result indicates that all nondeterminism related with abstract constraint atoms can be resolved at the level of program reduct when sampler programs are used as the intermediate representation." @default.
• W1863636468 created "2016-06-24" @default.
• W1863636468 creator A5046046339 @default.
• W1863636468 date "2010-01-01" @default.
• W1863636468 modified "2023-10-02" @default.
• W1863636468 title "Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited" @default.
• W1863636468 cites W130180478 @default.
• W1863636468 cites W1508718221 @default.
• W1863636468 cites W1511711492 @default.
• W1863636468 cites W1552605223 @default.
• W1863636468 cites W1598820892 @default.
• W1863636468 cites W1672891595 @default.
• W1863636468 cites W1800801472 @default.
• W1863636468 cites W1985274317 @default.
• W1863636468 cites W1988666619 @default.
• W1863636468 cites W2011124182 @default.
• W1863636468 cites W2050842068 @default.
• W1863636468 cites W2054159566 @default.
• W1863636468 cites W2067946622 @default.
• W1863636468 cites W2069156007 @default.
• W1863636468 cites W2076698873 @default.
• W1863636468 cites W2105869173 @default.
• W1863636468 cites W2114568665 @default.
• W1863636468 cites W2120811814 @default.
• W1863636468 cites W2136179811 @default.
• W1863636468 cites W2171987376 @default.
• W1863636468 cites W80590317 @default.
• W1863636468 doi "https://doi.org/10.4230/lipics.iclp.2010.94" @default.
• W1863636468 hasPublicationYear "2010" @default.
• W1863636468 type Work @default.
• W1863636468 sameAs 1863636468 @default.
• W1863636468 citedByCount "1" @default.
• W1863636468 countsByYear W18636364682023 @default.
• W1863636468 crossrefType "proceedings-article" @default.
• W1863636468 hasAuthorship W1863636468A5046046339 @default.
• W1863636468 hasConcept C104317684 @default.
• W1863636468 hasConcept C126255220 @default.
• W1863636468 hasConcept C127001435 @default.
• W1863636468 hasConcept C128838566 @default.
• W1863636468 hasConcept C137631369 @default.
• W1863636468 hasConcept C154945302 @default.
• W1863636468 hasConcept C156325763 @default.
• W1863636468 hasConcept C158448853 @default.
• W1863636468 hasConcept C17020691 @default.
• W1863636468 hasConcept C173404611 @default.
• W1863636468 hasConcept C176181172 @default.
• W1863636468 hasConcept C176783269 @default.
• W1863636468 hasConcept C177264268 @default.
• W1863636468 hasConcept C17744445 @default.
• W1863636468 hasConcept C182620335 @default.
• W1863636468 hasConcept C184337299 @default.
• W1863636468 hasConcept C185592680 @default.
• W1863636468 hasConcept C199360897 @default.
• W1863636468 hasConcept C199539241 @default.
• W1863636468 hasConcept C2524010 @default.
• W1863636468 hasConcept C2776036281 @default.
• W1863636468 hasConcept C2776359362 @default.
• W1863636468 hasConcept C2987117450 @default.
• W1863636468 hasConcept C33923547 @default.
• W1863636468 hasConcept C41008148 @default.
• W1863636468 hasConcept C44616089 @default.
• W1863636468 hasConcept C49937458 @default.
• W1863636468 hasConcept C55493867 @default.
• W1863636468 hasConcept C80444323 @default.
• W1863636468 hasConcept C86339819 @default.
• W1863636468 hasConcept C94625758 @default.
• W1863636468 hasConceptScore W1863636468C104317684 @default.
• W1863636468 hasConceptScore W1863636468C126255220 @default.
• W1863636468 hasConceptScore W1863636468C127001435 @default.
• W1863636468 hasConceptScore W1863636468C128838566 @default.
• W1863636468 hasConceptScore W1863636468C137631369 @default.
• W1863636468 hasConceptScore W1863636468C154945302 @default.
• W1863636468 hasConceptScore W1863636468C156325763 @default.
• W1863636468 hasConceptScore W1863636468C158448853 @default.
• W1863636468 hasConceptScore W1863636468C17020691 @default.
• W1863636468 hasConceptScore W1863636468C173404611 @default.
• W1863636468 hasConceptScore W1863636468C176181172 @default.
• W1863636468 hasConceptScore W1863636468C176783269 @default.
• W1863636468 hasConceptScore W1863636468C177264268 @default.
• W1863636468 hasConceptScore W1863636468C17744445 @default.
• W1863636468 hasConceptScore W1863636468C182620335 @default.
• W1863636468 hasConceptScore W1863636468C184337299 @default.
• W1863636468 hasConceptScore W1863636468C185592680 @default.
• W1863636468 hasConceptScore W1863636468C199360897 @default.
• W1863636468 hasConceptScore W1863636468C199539241 @default.
• W1863636468 hasConceptScore W1863636468C2524010 @default.
• W1863636468 hasConceptScore W1863636468C2776036281 @default.
• W1863636468 hasConceptScore W1863636468C2776359362 @default.
• W1863636468 hasConceptScore W1863636468C2987117450 @default.
• W1863636468 hasConceptScore W1863636468C33923547 @default.
• W1863636468 hasConceptScore W1863636468C41008148 @default.
• W1863636468 hasConceptScore W1863636468C44616089 @default.
• W1863636468 hasConceptScore W1863636468C49937458 @default.
• W1863636468 hasConceptScore W1863636468C55493867 @default.
• W1863636468 hasConceptScore W1863636468C80444323 @default.
• W1863636468 hasConceptScore W1863636468C86339819 @default.
• W1863636468 hasConceptScore W1863636468C94625758 @default.
• W1863636468 hasLocation W18636364681 @default.
• W1863636468 hasOpenAccess W1863636468 @default.

• next