Exploiting Justifications for Lazy Grounding of Answer Set Programs

Bart Bogaerts, Antonius Weinzierl

KU Leuven

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

13 Citations (Scopus)

1 results
- Title
- Start date(ascending)

Filter

Exploiting Justifications for Lazy Grounding of Answer Set Programs
Weinzierl, A. (Speaker)
18 Jul 2018
Activity: Talk or presentation types › Conference presentation