A Clausal Normal Form Translation for FOOL

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Evgenii Kotelnikov, Laura Kovács, Martin Suda, Andrei Voronkov

Journal title: Proceedings of the 2nd Global Conference on Artificial Intelligence (GCAI)

Journal number: EasyChair EPiC Series in Computing 41

Journal publisher: EasyChair

Published year: 2016

Published pages: 53-71