A Clausal Normal Form Translation for FOOL
Paper in proceedings, 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

Computer Science

More information

Created

10/8/2017