-
LOGIC-IN
-
Forschung
-
Information Engineering
Publikationen
ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings (pp. 285–300). Springer. DOI Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck, Gabriele Kern-Isberner, & Christoph Beierle (2025). Generalized [...] on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025 (pp. 4678–4686). ijcai.org. DOI Marco Wilhelm, Andre Thevapalan, & Gabriele Kern-Isberner (2025). Integrated Use of System Z for [...] , FLAIRS 2025, Daytona Beach, FL, USA, May 20-23, 2025 . Florida Online Journals. DOI Kai Sauerwald, Eda Ismail-Tsaous, Marco Ragni, Gabriele Kern-Isberner, & Christoph Beierle (2025). Sequential …