-
LOGIC-IN
-
Research
-
Information Engineering
Publikationen
c Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025 (pp. 113–127). CEUR-WS [...] Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025 (pp. 128–141). CEUR-WS.org. URL Andre Thevapalan, & Gabriele Kern-Isberner (2025). Resolving Constraint-Induced Inc [...] c Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025 (pp. 253–266). CEUR-WS …