789 search results - page 54 / 158 » On Theory Revision with Queries |
ICALP
2004
Springer
15 years 5 months ago
2004
Springer
Quantum algorithms for graph problems are considered, both in the adjacency matrix model and in an adjacency list-like array model. We give almost tight lower and upper bounds for ...
CL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
114
click to vote
COLING
2000
15 years 1 months ago
2000
Recent years have shown a surge in interest in temporal database systems, which allow users to store time-dependent intbrmation. We present a novel controlled natural language int...
110
click to vote
IIE
2007
14 years 11 months ago
2007
In recent years a small number of web-based tools have been proposed to help students learn to write SQL query statements and also to assess students’ SQL writing skills. SQLify ...
SLOGICA
2008
14 years 11 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...