Property Preserving Embedding of First-order Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Julian Parsert' in GoogleThis author has not been identified. Look up 'Stephanie Autherith' in GoogleThis author has not been identified. Look up 'Cezary Kaliszyk' in Google

runs on WebDSL