Equivalence closure in the two-variable guarded fragment.

Emanuel Kieronski Ian Pratt-Hartmann Lidia Tendera

Published in: J. Log. Comput. (2017)

Keyphrases

guarded fragment
expressive power
first order logic
expert systems
machine learning
relational databases
data model
special case
belief revision
conjunctive queries