Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments.

Jean Christoph Jung Frank Wolter

Published in: LICS (2021)

Keyphrases

data mining
fixed point
daily activities
precise definition
horizontal fragmentation
database
machine learning
database systems
multi agent
computational geometry