Covering and separation for logical fragments with modular predicates.

Thomas Place Varun Ramanathan Pascal Weil

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

user defined
modular structure
data sets
logical framework
logical structure
logical formulas
data mining
information systems
video sequences
logic programs
logical representation