Partial Regularization of First-Order Resolution Proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo. Partial Regularization of First-Order Resolution Proofs. In Grégoire Danoy, Jun Pang 0001, Geoff Sutcliffe, editors, 6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020. Volume 72 of EPiC Series in Computing, pages 34-45, EasyChair, 2020. [doi]

This author has not been identified. Look up 'Jan Gorzny' in GoogleThis author has not been identified. Look up 'Ezequiel Postan' in GoogleThis author has not been identified. Look up 'Bruno Woltzenlogel Paleo' in Google

runs on WebDSL