-
LOGIC-IN
-
Research
-
Information Engineering
Publikationen
Thomas Meyer (2025). Reasoning with system W and infeasible worlds . Ann. Math. Artif. Intell., 93(5), 665–698. DOI Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel, & Christoph Beierle (2025) [...] (2023). On Establishing Robust Consistency in Answer Set Programs . Theory Pract. Log. Program., 23 (5), 1094–1127. DOI Andre Thevapalan, Daan Apeldoorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias [...] g and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings (pp. 350–362). Springer. DOI Jesse Heyninck, Gabriele Kern-Isberner, & Thomas Andreas …