8 citations · 19 across the 13 of their papers we have counts for
3 papers · 1 filter
The theory of concatenation over finite models
Dominik D. Freydenberger, Liat Peterfreund
We propose FC, a new logic on words that combines finite model theory with the theory of concatenation - a first-order logic that is based on word equations. Like the theory of con…
Weight Annotation in Information Extraction
Johannes Doleschal, Benny Kimelfeld, Wim Martens +1
The framework of document spanners abstracts the task of information extraction from text as a function that maps every document (a string) into a relation over the document's span…
Complexity Bounds for Relational Algebra over Document Spanners
Liat Peterfreund, Dominik D. Freydenberger, Benny Kimelfeld +1
We investigate the complexity of evaluating queries in Relational Algebra (RA) over the relations extracted by regex formulas (i.e., regular expressions with capture variables) ove…