On the Skolem Problem and the Skolem Conjecture.

Richard Lipton Florian Luca Joris Nieuwveld Joël Ouaknine David Purser James Worrell

Published in: LICS (2022)

Keyphrases

first order logic
artificial intelligence
natural language
small number
background knowledge
noisy data