Browse by Journal or other publication
Number of items: 1.
Gottlob, Georg and Hernich, André and Kupke, Clemens and Lukasiewicz, Thomas (2021) Stable model semantics for guarded existential rules and description logics : decidability and complexity. Journal of the ACM, 68 (5). pp. 1-87. 35. ISSN 1557-735X