Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz. Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity. Journal of the ACM, 68(5), 2021. [doi]

This author has not been identified. Look up 'Georg Gottlob' in GoogleThis author has not been identified. Look up 'André Hernich' in GoogleThis author has not been identified. Look up 'Clemens Kupke' in GoogleThis author has not been identified. Look up 'Thomas Lukasiewicz' in Google

runs on WebDSL