Relational Hypersequent S4 and B are Cut-Free Hypersequent Incomplete.

Published in: CoRR (2021)

Keyphrases

relational learning
relational databases
data model
relational data
noisy data
inconsistent information
data sets
artificial intelligence
missing values
database schema