CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

A Clausal Normal Form Translation for FOOL

Evgenii Kotelnikov (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Laura Kovacs (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Martin Suda ; Andrei Voronkov (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Proceedings of the 2nd Global Conference on Artificial Intelligence (GCAI) Vol. EasyChair EPiC Series in Computing volume 41 (2016),
[Konferensbidrag, refereegranskat]


Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2017-01-31.
CPL Pubid: 247921

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)