Volume: Vol-4071 NMR 2025 | Year: 2025

Paper: « paper18 | paper19 | paper20 »

Resolving Constraint-Induced Inconsistencies in ASP Using lambda-Extensions

• Andre Thevapalan
• Gabriele Kern-Isberner

253-266 PDF