Model-theoretic Characterizations of Existential Rule Languages

Heng Zhang 0006, Yan Zhang, Guifei Jiang. Model-theoretic Characterizations of Existential Rule Languages. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]. pages 1940-1946, ijcai.org, 2020. [doi]

Authors

Heng Zhang 0006

This author has not been identified. Look up 'Heng Zhang 0006' in Google

Yan Zhang

This author has not been identified. Look up 'Yan Zhang' in Google

Guifei Jiang

This author has not been identified. Look up 'Guifei Jiang' in Google