TY  - RPRT
TI  - Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures
AU  - Jean Christoph Jung
AU  - Carsten Lutz
AU  - Hadrien Pulcini
AU  - Frank Wolter
PY  - 2020
UR  - https://arxiv.org/abs/2007.02669
ID  - 2007.02669
ER  -