Open Answer Set Programming with Guarded Programs

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program's constants. We define a fixed…