Thiago Alves Rocha, Ana Teresa C. Martins. Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings. In 8th Brazilian Conference on Intelligent Systems, BRACIS 2019, Salvador, Brazil, October 15-18, 2019. pages 12-17, IEEE, 2019. [doi]
Abstract is missing.