A Framework for Reasoning about Dynamic Axioms in Description Logics

Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti. A Framework for Reasoning about Dynamic Axioms in Description Logics. 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 1681-1687, ijcai.org, 2020. [doi]

Authors

Bartosz Bednarczyk

This author has not been identified. Look up 'Bartosz Bednarczyk' in Google

Stéphane Demri

This author has not been identified. Look up 'Stéphane Demri' in Google

Alessio Mansutti

This author has not been identified. Look up 'Alessio Mansutti' in Google