Local First-Order Logic with Two Data Values.

Benedikt Bollig Arnaud Sangnier Olivier Stietel

Published in: FSTTCS (2021)

Keyphrases

first order logic
expressive power
database
data sources
special case
spatial data
inductive logic programming
relational algebra
inference rules
theorem prover
propositional logic
theorem proving
hidden variables
probabilistic reasoning
transitive closure
representation language