FRINK Linked Data Fragments server

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

• W38205587 endingPage "63" @default.
• W38205587 startingPage "44" @default.
• W38205587 abstract "In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple reasoning over answer sets is sometimes supported by ASP systems (usually in the form of computing brave or cautious consequences), but slightly more involved reasoning problems require external postprocessing. Generally speaking, it is often desirable to use (a subset of) brave or cautious consequences of a program P 1 as input to another program P 2 in order to provide the desired solutions to the problem to be solved. In practice, the evaluation of the program P 1 currently has to be decoupled from the evaluation of P 2 using an intermediate step which collects the desired consequences of P 1 and provides them as input to P 2. In this work, we present a novel method for representing such a procedure within a single program, and thus within the realm of ASP itself. Our technique relies on rewriting P 1 into a so-called manifold program, which allows for accessing all desired consequences of P 1 within a single answer set. Then, this manifold program can be evaluated jointly with P 2 avoiding any intermediate computation step. For determining the consequences within the manifold program we use weak constraints, which is strongly motivated by complexity considerations. As applications, we present encodings for computing the ideal extension of an abstract argumentation framework and for computing world views of a particular class of epistemic specifications.KeywordsLogic ProgramWorld ViewArgumentation FrameworkGround AtomWeak ConstraintThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
• W38205587 created "2016-06-24" @default.
• W38205587 creator A5017101409 @default.
• W38205587 creator A5006053030 @default.
• W38205587 date "2011-01-01" @default.
• W38205587 modified "2023-09-23" @default.
• W38205587 title "Manifold Answer-Set Programs and Their Applications" @default.
• W38205587 cites W1487563773 @default.
• W38205587 cites W1544722557 @default.
• W38205587 cites W1599910133 @default.
• W38205587 cites W1639901403 @default.
• W38205587 cites W1965296062 @default.
• W38205587 cites W1968364806 @default.
• W38205587 cites W1972818977 @default.
• W38205587 cites W1976055110 @default.
• W38205587 cites W1986999264 @default.
• W38205587 cites W2037950528 @default.
• W38205587 cites W2047268883 @default.
• W38205587 cites W2059970836 @default.
• W38205587 cites W2075056819 @default.
• W38205587 cites W2076698873 @default.
• W38205587 cites W2100875224 @default.
• W38205587 cites W2104126268 @default.
• W38205587 cites W2106614716 @default.
• W38205587 cites W2115268056 @default.
• W38205587 cites W2121835362 @default.
• W38205587 cites W2140698704 @default.
• W38205587 cites W2152131859 @default.
• W38205587 doi "https://doi.org/10.1007/978-3-642-20832-4_4" @default.
• W38205587 hasPublicationYear "2011" @default.
• W38205587 type Work @default.
• W38205587 sameAs 38205587 @default.
• W38205587 citedByCount "11" @default.
• W38205587 countsByYear W382055872012 @default.
• W38205587 countsByYear W382055872013 @default.
• W38205587 countsByYear W382055872014 @default.
• W38205587 countsByYear W382055872016 @default.
• W38205587 countsByYear W382055872017 @default.
• W38205587 countsByYear W382055872018 @default.
• W38205587 countsByYear W382055872019 @default.
• W38205587 crossrefType "book-chapter" @default.
• W38205587 hasAuthorship W38205587A5006053030 @default.
• W38205587 hasAuthorship W38205587A5017101409 @default.
• W38205587 hasBestOaLocation W382055872 @default.
• W38205587 hasConcept C111472728 @default.
• W38205587 hasConcept C120665830 @default.
• W38205587 hasConcept C121332964 @default.
• W38205587 hasConcept C127413603 @default.
• W38205587 hasConcept C128838566 @default.
• W38205587 hasConcept C138885662 @default.
• W38205587 hasConcept C154690210 @default.
• W38205587 hasConcept C154945302 @default.
• W38205587 hasConcept C177264268 @default.
• W38205587 hasConcept C182620335 @default.
• W38205587 hasConcept C192209626 @default.
• W38205587 hasConcept C199360897 @default.
• W38205587 hasConcept C2776639384 @default.
• W38205587 hasConcept C2777212361 @default.
• W38205587 hasConcept C2780586882 @default.
• W38205587 hasConcept C41008148 @default.
• W38205587 hasConcept C529865628 @default.
• W38205587 hasConcept C65059942 @default.
• W38205587 hasConcept C78519656 @default.
• W38205587 hasConcept C80444323 @default.
• W38205587 hasConceptScore W38205587C111472728 @default.
• W38205587 hasConceptScore W38205587C120665830 @default.
• W38205587 hasConceptScore W38205587C121332964 @default.
• W38205587 hasConceptScore W38205587C127413603 @default.
• W38205587 hasConceptScore W38205587C128838566 @default.
• W38205587 hasConceptScore W38205587C138885662 @default.
• W38205587 hasConceptScore W38205587C154690210 @default.
• W38205587 hasConceptScore W38205587C154945302 @default.
• W38205587 hasConceptScore W38205587C177264268 @default.
• W38205587 hasConceptScore W38205587C182620335 @default.
• W38205587 hasConceptScore W38205587C192209626 @default.
• W38205587 hasConceptScore W38205587C199360897 @default.
• W38205587 hasConceptScore W38205587C2776639384 @default.
• W38205587 hasConceptScore W38205587C2777212361 @default.
• W38205587 hasConceptScore W38205587C2780586882 @default.
• W38205587 hasConceptScore W38205587C41008148 @default.
• W38205587 hasConceptScore W38205587C529865628 @default.
• W38205587 hasConceptScore W38205587C65059942 @default.
• W38205587 hasConceptScore W38205587C78519656 @default.
• W38205587 hasConceptScore W38205587C80444323 @default.
• W38205587 hasLocation W382055871 @default.
• W38205587 hasLocation W382055872 @default.
• W38205587 hasOpenAccess W38205587 @default.
• W38205587 hasPrimaryLocation W382055871 @default.
• W38205587 hasRelatedWork W1545915159 @default.
• W38205587 hasRelatedWork W1567155055 @default.
• W38205587 hasRelatedWork W1676151111 @default.
• W38205587 hasRelatedWork W1694306392 @default.
• W38205587 hasRelatedWork W1976055110 @default.
• W38205587 hasRelatedWork W1986999264 @default.
• W38205587 hasRelatedWork W2076569795 @default.
• W38205587 hasRelatedWork W2076698873 @default.
• W38205587 hasRelatedWork W2087432892 @default.
• W38205587 hasRelatedWork W2091138122 @default.

• next