A Clausal Normal Form Translation for FOOL
Paper i proceeding, 2016
Författare
Evgenii Kotelnikov
Chalmers, Data- och informationsteknik, Programvaruteknik
Laura Kovacs
Chalmers, Data- och informationsteknik, Programvaruteknik
M. Suda
Andrei Voronkov
Chalmers, Data- och informationsteknik, Programvaruteknik
Proceedings of the 2nd Global Conference on Artificial Intelligence (GCAI)
Vol. EasyChair EPiC Series in Computing volume 41
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Datavetenskap (datalogi)