Julian Parsert, Stephanie Autherith, Cezary Kaliszyk. Property Preserving Embedding of First-order Logic. In Grégoire Danoy, Jun Pang 0001, Geoff Sutcliffe, editors, 6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020. Volume 72 of EPiC Series in Computing, pages 70-82, EasyChair, 2020. [doi]
@inproceedings{ParsertAK20, title = {Property Preserving Embedding of First-order Logic}, author = {Julian Parsert and Stephanie Autherith and Cezary Kaliszyk}, year = {2020}, url = {http://www.easychair.org/publications/paper/Cwgq}, researchr = {https://researchr.org/publication/ParsertAK20}, cites = {0}, citedby = {0}, pages = {70-82}, booktitle = {6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020}, editor = {Grégoire Danoy and Jun Pang 0001 and Geoff Sutcliffe}, volume = {72}, series = {EPiC Series in Computing}, publisher = {EasyChair}, }