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

Filter

Finished
Finnish centre of excellence in computational inference research
Kaski, S. (Principal investigator)
01/01/2015 → 31/12/2017
Project: Academy of Finland: Other research funding