Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949858346> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2949858346 abstract "The vast quantity of data generated and captured every day has led to a pressing need for tools and processes to organize, analyze and interrelate this data. Automated reasoning and optimization tools with inherent support for data could enable advancements in a variety of contexts, from data-backed decision making to data-intensive scientific research. To this end, we introduce a decidable logic aimed at database analysis. Our logic extends quantifier-free Linear Integer Arithmetic with operators from Relational Algebra, like selection and cross product. We provide a scalable decision procedure that is based on the BC(T) architecture for ILP Modulo Theories. Our decision procedure makes use of database techniques. We also experimentally evaluate our approach, and discuss potential applications." @default.
- W2949858346 created "2019-06-27" @default.
- W2949858346 creator A5044578994 @default.
- W2949858346 creator A5049802784 @default.
- W2949858346 creator A5050250788 @default.
- W2949858346 date "2014-10-01" @default.
- W2949858346 modified "2023-09-27" @default.
- W2949858346 title "ILP Modulo Data" @default.
- W2949858346 cites W1507924438 @default.
- W2949858346 cites W1582686279 @default.
- W2949858346 cites W1991718942 @default.
- W2949858346 cites W2022171653 @default.
- W2949858346 cites W2022846948 @default.
- W2949858346 cites W2048864522 @default.
- W2949858346 cites W2159946192 @default.
- W2949858346 cites W2164778826 @default.
- W2949858346 cites W2185907055 @default.
- W2949858346 cites W2949858346 @default.
- W2949858346 doi "https://doi.org/10.1109/fmcad.2014.6987610" @default.
- W2949858346 hasPublicationYear "2014" @default.
- W2949858346 type Work @default.
- W2949858346 sameAs 2949858346 @default.
- W2949858346 citedByCount "2" @default.
- W2949858346 countsByYear W29498583462014 @default.
- W2949858346 countsByYear W29498583462015 @default.
- W2949858346 crossrefType "proceedings-article" @default.
- W2949858346 hasAuthorship W2949858346A5044578994 @default.
- W2949858346 hasAuthorship W2949858346A5049802784 @default.
- W2949858346 hasAuthorship W2949858346A5050250788 @default.
- W2949858346 hasConcept C114614502 @default.
- W2949858346 hasConcept C173608175 @default.
- W2949858346 hasConcept C33923547 @default.
- W2949858346 hasConcept C41008148 @default.
- W2949858346 hasConcept C54732982 @default.
- W2949858346 hasConceptScore W2949858346C114614502 @default.
- W2949858346 hasConceptScore W2949858346C173608175 @default.
- W2949858346 hasConceptScore W2949858346C33923547 @default.
- W2949858346 hasConceptScore W2949858346C41008148 @default.
- W2949858346 hasConceptScore W2949858346C54732982 @default.
- W2949858346 hasLocation W29498583461 @default.
- W2949858346 hasOpenAccess W2949858346 @default.
- W2949858346 hasPrimaryLocation W29498583461 @default.
- W2949858346 hasRelatedWork W1491899005 @default.
- W2949858346 hasRelatedWork W1558545464 @default.
- W2949858346 hasRelatedWork W1604898313 @default.
- W2949858346 hasRelatedWork W1971094968 @default.
- W2949858346 hasRelatedWork W2117014006 @default.
- W2949858346 hasRelatedWork W2172791042 @default.
- W2949858346 hasRelatedWork W2357498671 @default.
- W2949858346 hasRelatedWork W2372170743 @default.
- W2949858346 hasRelatedWork W2790489068 @default.
- W2949858346 hasRelatedWork W4233815414 @default.
- W2949858346 isParatext "false" @default.
- W2949858346 isRetracted "false" @default.
- W2949858346 magId "2949858346" @default.
- W2949858346 workType "article" @default.