A Clausal Normal Form Translation for FOOL (bibtex)
by Evgenii Kotelnikov, Laura Kov\verb=\='acs, Martin Suda, Andrei Voronkov
Reference:
A Clausal Normal Form Translation for FOOLEvgenii Kotelnikov, Laura Kov\verb=\='acs, Martin Suda, Andrei VoronkovGCAI 2016. 2nd Global Conference on Artificial Intelligence (Christoph Benzm\verb=\="uller, Geoff Sutcliffe, Raul Rojas, eds.), volume 41 of EPiC Series in Computing, pages 53-71, 2016, EasyChair.
Bibtex Entry:
@inproceedings{GCAI2016:A_Clausal_Normal_Form_Translation_for_FOOL,
  author    = {Evgenii Kotelnikov and Laura Kov\verb=\='acs and Martin Suda and Andrei Voronkov},
  title     = {A Clausal Normal Form Translation for FOOL},
  booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
  editor    = {Christoph Benzm\verb=\="uller and Geoff Sutcliffe and Raul Rojas},
  series    = {EPiC Series in Computing},
  volume    = {41},
  pages     = {53-71},
  year      = {2016},
  publisher = {EasyChair}, 
  url = {http://www.easychair.org/publications/download/A_Clausal_Normal_Form_Translation_for_FOOL}
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}
Powered by bibtexbrowser