Skolem Meets Schanuel.

Yuri Bilu Florian Luca Joris Nieuwveld Joël Ouaknine David Purser James Worrell

Published in: MFCS (2022)

Keyphrases

first order logic
data mining
machine learning
knowledge representation