Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter. Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021. pages 6193-6201, AAAI Press, 2021. [doi]

This author has not been identified. Look up 'Alessandro Artale' in GoogleThis author has not been identified. Look up 'Jean Christoph Jung' in GoogleThis author has not been identified. Look up 'Andrea Mazzullo' in GoogleThis author has not been identified. Look up 'Ana Ozaki' in GoogleThis author has not been identified. Look up 'Frank Wolter' in Google

runs on WebDSL