Property Preserving Embedding of First−order Logic
Julian Parsert‚ Stephanie Autherith and Cezary Kaliszyk
Book Title
6th Global Conference on Artificial Intelligence‚ GCAI 2020‚ Hangzhou‚ China‚ April 6−9‚ 2020
Editor
Grégoire Danoy and Jun Pang and Geoff Sutcliffe
Pages
70–82
Publisher
EasyChair
Series
EPiC Series in Computing
Volume
72
Year
2020