Login / Signup
Decidable Characterization of FO2(<, +1) and locality of DA.
Thomas Place
Luc Segoufin
Published in:
CoRR (2016)
Keyphrases
</>
first order logic
transitive closure
expressive power
constraint databases
guarded fragment
datalog programs
fixpoint
inference rules
spatial locality
data sources
incomplete information
temporal logic
real time
response time
knowledge representation
information retrieval
machine learning