FRINK Linked Data Fragments server

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

• W3105494749 endingPage "269" @default.
• W3105494749 startingPage "223" @default.
• W3105494749 abstract "Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning systems. Such systems provide a rich first-order input language to a user and can rely on efficient propositional solvers to perform the actual reasoning. Besides a first-order theory and finite domain, the input for grounders contains in many applications also additional data. By exploiting this data, the size of the grounder's output can often be reduced significantly. A common practice to improve the efficiency of a grounder in this context is by manually adding semantically redundant information to the input theory, indicating where and when the grounder should exploit the data. In this paper we present a method to compute and add such redundant information automatically. Our method therefore simplifies the task of writing input theories that can be grounded efficiently by current systems. We first present our method for classical first-order logic (FO) theories. Then we extend it to FO(ID), the extension of FO with inductive definitions, which allows for more concise and comprehensive input theories. We discuss implementation issues and experimentally validate the practical applicability of our method." @default.
• W3105494749 created "2020-11-23" @default.
• W3105494749 creator A5036325585 @default.
• W3105494749 creator A5071442882 @default.
• W3105494749 creator A5090754913 @default.
• W3105494749 date "2010-05-29" @default.
• W3105494749 modified "2023-10-18" @default.
• W3105494749 title "Grounding FO and FO(ID) with Bounds" @default.
• W3105494749 cites W117986637 @default.
• W3105494749 cites W135117167 @default.
• W3105494749 cites W1480602641 @default.
• W3105494749 cites W14839205 @default.
• W3105494749 cites W1489867543 @default.
• W3105494749 cites W1519503479 @default.
• W3105494749 cites W1533371796 @default.
• W3105494749 cites W1540443495 @default.
• W3105494749 cites W1552168992 @default.
• W3105494749 cites W1558386205 @default.
• W3105494749 cites W1565494300 @default.
• W3105494749 cites W1579496588 @default.
• W3105494749 cites W1583108239 @default.
• W3105494749 cites W1600919542 @default.
• W3105494749 cites W1639901403 @default.
• W3105494749 cites W1785889609 @default.
• W3105494749 cites W1895387792 @default.
• W3105494749 cites W19153916 @default.
• W3105494749 cites W1924767599 @default.
• W3105494749 cites W1963789803 @default.
• W3105494749 cites W1968513265 @default.
• W3105494749 cites W1992810975 @default.
• W3105494749 cites W2002331993 @default.
• W3105494749 cites W2037680703 @default.
• W3105494749 cites W2042629502 @default.
• W3105494749 cites W2056062068 @default.
• W3105494749 cites W2062897452 @default.
• W3105494749 cites W2080267935 @default.
• W3105494749 cites W2099531973 @default.
• W3105494749 cites W2116502002 @default.
• W3105494749 cites W2118858476 @default.
• W3105494749 cites W2130089820 @default.
• W3105494749 cites W2143775744 @default.
• W3105494749 cites W2152131859 @default.
• W3105494749 cites W2162621793 @default.
• W3105494749 cites W2172181603 @default.
• W3105494749 cites W2295813336 @default.
• W3105494749 cites W2493995303 @default.
• W3105494749 cites W2520571003 @default.
• W3105494749 cites W2521109595 @default.
• W3105494749 cites W2522141871 @default.
• W3105494749 cites W2523023440 @default.
• W3105494749 cites W2528746560 @default.
• W3105494749 cites W3127113455 @default.
• W3105494749 cites W9241406 @default.
• W3105494749 doi "https://doi.org/10.1613/jair.2980" @default.
• W3105494749 hasPublicationYear "2010" @default.
• W3105494749 type Work @default.
• W3105494749 sameAs 3105494749 @default.
• W3105494749 citedByCount "12" @default.
• W3105494749 countsByYear W31054947492012 @default.
• W3105494749 countsByYear W31054947492013 @default.
• W3105494749 countsByYear W31054947492014 @default.
• W3105494749 countsByYear W31054947492016 @default.
• W3105494749 countsByYear W31054947492018 @default.
• W3105494749 countsByYear W31054947492019 @default.
• W3105494749 countsByYear W31054947492022 @default.
• W3105494749 countsByYear W31054947492023 @default.
• W3105494749 crossrefType "journal-article" @default.
• W3105494749 hasAuthorship W3105494749A5036325585 @default.
• W3105494749 hasAuthorship W3105494749A5071442882 @default.
• W3105494749 hasAuthorship W3105494749A5090754913 @default.
• W3105494749 hasBestOaLocation W31054947491 @default.
• W3105494749 hasConcept C11413529 @default.
• W3105494749 hasConcept C134306372 @default.
• W3105494749 hasConcept C151730666 @default.
• W3105494749 hasConcept C154945302 @default.
• W3105494749 hasConcept C162324750 @default.
• W3105494749 hasConcept C165696696 @default.
• W3105494749 hasConcept C187736073 @default.
• W3105494749 hasConcept C199360897 @default.
• W3105494749 hasConcept C2778029271 @default.
• W3105494749 hasConcept C2779343474 @default.
• W3105494749 hasConcept C2780451532 @default.
• W3105494749 hasConcept C33923547 @default.
• W3105494749 hasConcept C34736171 @default.
• W3105494749 hasConcept C36503486 @default.
• W3105494749 hasConcept C38652104 @default.
• W3105494749 hasConcept C41008148 @default.
• W3105494749 hasConcept C69562738 @default.
• W3105494749 hasConcept C80444323 @default.
• W3105494749 hasConcept C86803240 @default.
• W3105494749 hasConceptScore W3105494749C11413529 @default.
• W3105494749 hasConceptScore W3105494749C134306372 @default.
• W3105494749 hasConceptScore W3105494749C151730666 @default.
• W3105494749 hasConceptScore W3105494749C154945302 @default.
• W3105494749 hasConceptScore W3105494749C162324750 @default.
• W3105494749 hasConceptScore W3105494749C165696696 @default.
• W3105494749 hasConceptScore W3105494749C187736073 @default.
• W3105494749 hasConceptScore W3105494749C199360897 @default.

• next