2 papers
cs.SE2026
EZASP - Facilitating the Usage of ASP
Rafael Martins, Matthias Knorr, Ricardo Gonçalves
Answer Set Programming (ASP) is a declarative programming language used for modeling and solving complex combinatorial problems. It has been successfully applied to a number of dif…
cs.AI2025
Interpolation in Knowledge Representation
Jean Christoph Jung, Patrick Koopmann, Matthias Knorr
Craig interpolation and uniform interpolation have many applications in knowledge representation, including explainability, forgetting, modularization and reuse, and even learning.…