Melanie Taprogge, Alexander Steen. Flexible Automation of Quantified Multi-Modal Logics with Interactions. In Dietmar Seipel, Alexander Steen, editors, KI 2023: Advances in Artificial Intelligence - 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings. Volume 14236 of Lecture Notes in Computer Science, pages 215-230, Springer, 2023. [doi]
Abstract is missing.