2 results
Michael Benedikt ; Rastislav Lenhardt ; James Worrell.
Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In this paper we consider two such restricted specification logics, linear temporal logic (LTL) and two-variable first-order logic (FO2). […]
Published on May 23, 2013
Antoine Amarilli ; Michael Benedikt.
We consider answering queries on data available through access methods, that provide lookup access to the tuples matching a given binding. Such interfaces are common on the Web; further, they often have bounds on how many results they can return, e.g., because of pagination or rate limits. We thus […]
Published on June 2, 2022