On Syntactic Forgetting Under Uniform Equivalence

Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite 0001. On Syntactic Forgetting Under Uniform Equivalence. 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 297-312, Springer, 2021. [doi]

Abstract

Abstract is missing.