Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285604285> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4285604285 abstract "Answer set programming is a form of declarative programming widely used to solve difficult search problems. Probabilistic applications however require to go beyond simple search for one solution and need counting. One such application is plausibility reasoning, which provides more fine-grained reasoning mode between simple brave and cautious reasoning. When modeling with ASP, we oftentimes introduce auxiliary atoms in the program. If these atoms are functionally independent of the atoms of interest, we need to hide the auxiliary atoms and project the count to the atoms of interest resulting in the problem projected answer set counting. In practice, counting becomes quickly infeasible with standard systems such as clasp. In this paper, we present a novel hybrid approach for plausibility reasoning under projections, thereby relying on projected answer set counting as basis. Our approach combines existing systems with fast dynamic programming, which in our experiments shows advantages over existing ASP systems." @default.
- W4285604285 created "2022-07-16" @default.
- W4285604285 creator A5047269650 @default.
- W4285604285 creator A5056989280 @default.
- W4285604285 creator A5089442472 @default.
- W4285604285 date "2022-07-01" @default.
- W4285604285 modified "2023-10-18" @default.
- W4285604285 title "Plausibility Reasoning via Projected Answer Set Counting - A Hybrid Approach" @default.
- W4285604285 doi "https://doi.org/10.24963/ijcai.2022/360" @default.
- W4285604285 hasPublicationYear "2022" @default.
- W4285604285 type Work @default.
- W4285604285 citedByCount "0" @default.
- W4285604285 crossrefType "proceedings-article" @default.
- W4285604285 hasAuthorship W4285604285A5047269650 @default.
- W4285604285 hasAuthorship W4285604285A5056989280 @default.
- W4285604285 hasAuthorship W4285604285A5089442472 @default.
- W4285604285 hasBestOaLocation W42856042851 @default.
- W4285604285 hasConcept C111472728 @default.
- W4285604285 hasConcept C11413529 @default.
- W4285604285 hasConcept C138885662 @default.
- W4285604285 hasConcept C154945302 @default.
- W4285604285 hasConcept C16592021 @default.
- W4285604285 hasConcept C177264268 @default.
- W4285604285 hasConcept C182620335 @default.
- W4285604285 hasConcept C199360897 @default.
- W4285604285 hasConcept C2780586882 @default.
- W4285604285 hasConcept C41008148 @default.
- W4285604285 hasConcept C49937458 @default.
- W4285604285 hasConcept C80444323 @default.
- W4285604285 hasConceptScore W4285604285C111472728 @default.
- W4285604285 hasConceptScore W4285604285C11413529 @default.
- W4285604285 hasConceptScore W4285604285C138885662 @default.
- W4285604285 hasConceptScore W4285604285C154945302 @default.
- W4285604285 hasConceptScore W4285604285C16592021 @default.
- W4285604285 hasConceptScore W4285604285C177264268 @default.
- W4285604285 hasConceptScore W4285604285C182620335 @default.
- W4285604285 hasConceptScore W4285604285C199360897 @default.
- W4285604285 hasConceptScore W4285604285C2780586882 @default.
- W4285604285 hasConceptScore W4285604285C41008148 @default.
- W4285604285 hasConceptScore W4285604285C49937458 @default.
- W4285604285 hasConceptScore W4285604285C80444323 @default.
- W4285604285 hasLocation W42856042851 @default.
- W4285604285 hasOpenAccess W4285604285 @default.
- W4285604285 hasPrimaryLocation W42856042851 @default.
- W4285604285 hasRelatedWork W2036349108 @default.
- W4285604285 hasRelatedWork W2124627636 @default.
- W4285604285 hasRelatedWork W2898772359 @default.
- W4285604285 hasRelatedWork W3015262272 @default.
- W4285604285 hasRelatedWork W3101458312 @default.
- W4285604285 hasRelatedWork W3104588709 @default.
- W4285604285 hasRelatedWork W3157980852 @default.
- W4285604285 hasRelatedWork W4285604285 @default.
- W4285604285 hasRelatedWork W4285604354 @default.
- W4285604285 hasRelatedWork W2753243299 @default.
- W4285604285 isParatext "false" @default.
- W4285604285 isRetracted "false" @default.
- W4285604285 workType "article" @default.