Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313642913> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4313642913 endingPage "58" @default.
- W4313642913 startingPage "1" @default.
- W4313642913 abstract "Combinatorics math problems are often used as a benchmark to test human cognitive and logical problem-solving skills. These problems are concerned with counting the number of solutions that exist in a specific scenario that is sketched in natural language. Humans are adept at solving such problems as they can identify commonly occurring structures in the questions for which a closed-form formula exists for computing the answer. These formulas exploit the exchangeability of objects and symmetries to avoid a brute-force enumeration of all possible solutions. Unfortunately, current AI approaches are still unable to solve combinatorial problems in this way. This paper aims to fill this gap by developing novel AI techniques for representing and solving such problems. It makes the following five contributions. First, we identify a class of combinatorics math problems which traditional lifted counting techniques fail to model or solve efficiently. Second, we propose a novel declarative language for this class of problems. Third, we propose novel lifted solving algorithms bridging probabilistic inference techniques and constraint programming. Fourth, we implement them in a lifted solver that solves efficiently the class of problems under investigation. Finally, we evaluate our contributions on a real-world combinatorics math problems dataset and synthetic benchmarks." @default.
- W4313642913 created "2023-01-07" @default.
- W4313642913 creator A5002459496 @default.
- W4313642913 creator A5023203721 @default.
- W4313642913 creator A5029479248 @default.
- W4313642913 creator A5078136609 @default.
- W4313642913 date "2023-01-05" @default.
- W4313642913 modified "2023-10-18" @default.
- W4313642913 title "Lifted Reasoning for Combinatorial Counting" @default.
- W4313642913 doi "https://doi.org/10.1613/jair.1.14062" @default.
- W4313642913 hasPublicationYear "2023" @default.
- W4313642913 type Work @default.
- W4313642913 citedByCount "0" @default.
- W4313642913 crossrefType "journal-article" @default.
- W4313642913 hasAuthorship W4313642913A5002459496 @default.
- W4313642913 hasAuthorship W4313642913A5023203721 @default.
- W4313642913 hasAuthorship W4313642913A5029479248 @default.
- W4313642913 hasAuthorship W4313642913A5078136609 @default.
- W4313642913 hasBestOaLocation W43136429131 @default.
- W4313642913 hasConcept C11413529 @default.
- W4313642913 hasConcept C118615104 @default.
- W4313642913 hasConcept C13280743 @default.
- W4313642913 hasConcept C154945302 @default.
- W4313642913 hasConcept C156340839 @default.
- W4313642913 hasConcept C165696696 @default.
- W4313642913 hasConcept C16592021 @default.
- W4313642913 hasConcept C169590947 @default.
- W4313642913 hasConcept C185798385 @default.
- W4313642913 hasConcept C199360897 @default.
- W4313642913 hasConcept C205649164 @default.
- W4313642913 hasConcept C2776214188 @default.
- W4313642913 hasConcept C2777212361 @default.
- W4313642913 hasConcept C2778770139 @default.
- W4313642913 hasConcept C33923547 @default.
- W4313642913 hasConcept C38652104 @default.
- W4313642913 hasConcept C41008148 @default.
- W4313642913 hasConcept C49937458 @default.
- W4313642913 hasConcept C52692508 @default.
- W4313642913 hasConcept C80444323 @default.
- W4313642913 hasConceptScore W4313642913C11413529 @default.
- W4313642913 hasConceptScore W4313642913C118615104 @default.
- W4313642913 hasConceptScore W4313642913C13280743 @default.
- W4313642913 hasConceptScore W4313642913C154945302 @default.
- W4313642913 hasConceptScore W4313642913C156340839 @default.
- W4313642913 hasConceptScore W4313642913C165696696 @default.
- W4313642913 hasConceptScore W4313642913C16592021 @default.
- W4313642913 hasConceptScore W4313642913C169590947 @default.
- W4313642913 hasConceptScore W4313642913C185798385 @default.
- W4313642913 hasConceptScore W4313642913C199360897 @default.
- W4313642913 hasConceptScore W4313642913C205649164 @default.
- W4313642913 hasConceptScore W4313642913C2776214188 @default.
- W4313642913 hasConceptScore W4313642913C2777212361 @default.
- W4313642913 hasConceptScore W4313642913C2778770139 @default.
- W4313642913 hasConceptScore W4313642913C33923547 @default.
- W4313642913 hasConceptScore W4313642913C38652104 @default.
- W4313642913 hasConceptScore W4313642913C41008148 @default.
- W4313642913 hasConceptScore W4313642913C49937458 @default.
- W4313642913 hasConceptScore W4313642913C52692508 @default.
- W4313642913 hasConceptScore W4313642913C80444323 @default.
- W4313642913 hasLocation W43136429131 @default.
- W4313642913 hasLocation W43136429132 @default.
- W4313642913 hasOpenAccess W4313642913 @default.
- W4313642913 hasPrimaryLocation W43136429131 @default.
- W4313642913 hasRelatedWork W2059228205 @default.
- W4313642913 hasRelatedWork W2354027594 @default.
- W4313642913 hasRelatedWork W2494200839 @default.
- W4313642913 hasRelatedWork W2559457754 @default.
- W4313642913 hasRelatedWork W2926374695 @default.
- W4313642913 hasRelatedWork W2979928436 @default.
- W4313642913 hasRelatedWork W3026670957 @default.
- W4313642913 hasRelatedWork W4366327501 @default.
- W4313642913 hasRelatedWork W4384812105 @default.
- W4313642913 hasRelatedWork W2774887750 @default.
- W4313642913 hasVolume "76" @default.
- W4313642913 isParatext "false" @default.
- W4313642913 isRetracted "false" @default.
- W4313642913 workType "article" @default.