Matches in SemOpenAlex for { <https://semopenalex.org/work/W9241406> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W9241406 endingPage "577" @default.
- W9241406 startingPage "572" @default.
- W9241406 abstract "Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain elements and simplifying where possible. In this work, we propose a method for reasoning on the first-order theory as a whole to optimize the grounding process. Concretely, we develop an algorithm that computes bounds for subformulas. Such bounds indicate for which tuples the subformulas are certainly true and for which they are certainly false. These bounds can then be used by standard grounding algorithms to substantially reduce grounding sizes, and consequently also grounding times. We have implemented the method, and demonstrate its practical applicability." @default.
- W9241406 created "2016-06-24" @default.
- W9241406 creator A5036325585 @default.
- W9241406 creator A5071442882 @default.
- W9241406 creator A5090754913 @default.
- W9241406 date "2008-07-13" @default.
- W9241406 modified "2023-10-18" @default.
- W9241406 title "Grounding with bounds" @default.
- W9241406 cites W143827961 @default.
- W9241406 cites W1489867543 @default.
- W9241406 cites W1517096625 @default.
- W9241406 cites W1552768819 @default.
- W9241406 cites W1672891595 @default.
- W9241406 cites W1826979233 @default.
- W9241406 cites W19153916 @default.
- W9241406 cites W1924552249 @default.
- W9241406 cites W1963789803 @default.
- W9241406 cites W2002331993 @default.
- W9241406 cites W2105505307 @default.
- W9241406 cites W2118858476 @default.
- W9241406 cites W2167964658 @default.
- W9241406 cites W2522141871 @default.
- W9241406 hasPublicationYear "2008" @default.
- W9241406 type Work @default.
- W9241406 sameAs 9241406 @default.
- W9241406 citedByCount "13" @default.
- W9241406 countsByYear W92414062012 @default.
- W9241406 countsByYear W92414062013 @default.
- W9241406 countsByYear W92414062014 @default.
- W9241406 crossrefType "proceedings-article" @default.
- W9241406 hasAuthorship W9241406A5036325585 @default.
- W9241406 hasAuthorship W9241406A5071442882 @default.
- W9241406 hasAuthorship W9241406A5090754913 @default.
- W9241406 hasConcept C11413529 @default.
- W9241406 hasConcept C118615104 @default.
- W9241406 hasConcept C118930307 @default.
- W9241406 hasConcept C119599485 @default.
- W9241406 hasConcept C127413603 @default.
- W9241406 hasConcept C134306372 @default.
- W9241406 hasConcept C154945302 @default.
- W9241406 hasConcept C168993435 @default.
- W9241406 hasConcept C199360897 @default.
- W9241406 hasConcept C201995342 @default.
- W9241406 hasConcept C2777530160 @default.
- W9241406 hasConcept C2780451532 @default.
- W9241406 hasConcept C33923547 @default.
- W9241406 hasConcept C36503486 @default.
- W9241406 hasConcept C41008148 @default.
- W9241406 hasConcept C80444323 @default.
- W9241406 hasConcept C98045186 @default.
- W9241406 hasConceptScore W9241406C11413529 @default.
- W9241406 hasConceptScore W9241406C118615104 @default.
- W9241406 hasConceptScore W9241406C118930307 @default.
- W9241406 hasConceptScore W9241406C119599485 @default.
- W9241406 hasConceptScore W9241406C127413603 @default.
- W9241406 hasConceptScore W9241406C134306372 @default.
- W9241406 hasConceptScore W9241406C154945302 @default.
- W9241406 hasConceptScore W9241406C168993435 @default.
- W9241406 hasConceptScore W9241406C199360897 @default.
- W9241406 hasConceptScore W9241406C201995342 @default.
- W9241406 hasConceptScore W9241406C2777530160 @default.
- W9241406 hasConceptScore W9241406C2780451532 @default.
- W9241406 hasConceptScore W9241406C33923547 @default.
- W9241406 hasConceptScore W9241406C36503486 @default.
- W9241406 hasConceptScore W9241406C41008148 @default.
- W9241406 hasConceptScore W9241406C80444323 @default.
- W9241406 hasConceptScore W9241406C98045186 @default.
- W9241406 hasLocation W92414061 @default.
- W9241406 hasOpenAccess W9241406 @default.
- W9241406 hasPrimaryLocation W92414061 @default.
- W9241406 hasRelatedWork W1489867543 @default.
- W9241406 hasRelatedWork W1519503479 @default.
- W9241406 hasRelatedWork W1552168992 @default.
- W9241406 hasRelatedWork W1606891084 @default.
- W9241406 hasRelatedWork W19153916 @default.
- W9241406 hasRelatedWork W1924767599 @default.
- W9241406 hasRelatedWork W1968513265 @default.
- W9241406 hasRelatedWork W1976055110 @default.
- W9241406 hasRelatedWork W1992810975 @default.
- W9241406 hasRelatedWork W2041526687 @default.
- W9241406 hasRelatedWork W2042629502 @default.
- W9241406 hasRelatedWork W2105505307 @default.
- W9241406 hasRelatedWork W2118858476 @default.
- W9241406 hasRelatedWork W2133527541 @default.
- W9241406 hasRelatedWork W2172181603 @default.
- W9241406 hasRelatedWork W2520571003 @default.
- W9241406 hasRelatedWork W2521109595 @default.
- W9241406 hasRelatedWork W2522141871 @default.
- W9241406 hasRelatedWork W3105494749 @default.
- W9241406 hasRelatedWork W3127113455 @default.
- W9241406 isParatext "false" @default.
- W9241406 isRetracted "false" @default.
- W9241406 magId "9241406" @default.
- W9241406 workType "article" @default.