Jesse Heyninck, Ricardo Gonçalves 0001, Matthias Knorr, João Leite 0001. Tractable Reasoning Using Logic Programs with Intensional Concepts. In Wolfgang Faber 0001, Gerhard Friedrich, Martin Gebser, Michael Morak, editors, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings. Volume 12678 of Lecture Notes in Computer Science, pages 329-345, Springer, 2021. [doi]
Abstract is missing.