Equality Preprocessing in Connection Calculi.

Benjamin E. Oliver Jens Otten

Published in: PAAR+SC²@IJCAR (2020)

Keyphrases

preprocessing
post processing
preprocessing step
preprocessing phase
feature extraction
sequent calculi
artificial intelligence
relational databases
search space
preprocessing steps
neural network
information systems
bayesian networks
spatial relations
atm networks