Bridging the Gap: Foundedness, Defaults, and Expressivity in Constraint Answer Set Programming (Invited Talk)

Torsten Schaub. Bridging the Gap: Foundedness, Defaults, and Expressivity in Constraint Answer Set Programming (Invited Talk). In Nicolas Beldiceanu, editor, 32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, Lisbon, Portugal, July 20-23, 2026. Volume 379 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]

Abstract

Abstract is missing.