Exploiting Justifications for Lazy Grounding of Answer Set Programs

Bart Bogaerts, Antonius Weinzierl

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

7 Citations (Scopus)

1 Finished

1 results

Filter

Finished

Finnish centre of excellence in computational inference research
Xu, Y., Pesonen, H., Rintanen, J., Kaski, S., Anwer, R., Parviainen, P., Soare, M., Weinzierl, A. & Vuollekoski, H.
01/01/2015 → 31/12/2017
Project: Academy of Finland: Other research funding