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)