A Clausal Normal Form Translation for FOOL
Paper in proceeding, 2016
Author
Evgenii Kotelnikov
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Laura Kovacs
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
M. Suda
Andrei Voronkov
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Proceedings of the 2nd Global Conference on Artificial Intelligence (GCAI)
Vol. EasyChair EPiC Series in Computing volume 41
Areas of Advance
Information and Communication Technology
Subject Categories (SSIF 2011)
Computer Science