Exploiting Justifications for Lazy Grounding of Answer Set Programs

Projektit

Projekteja vuodessa 2015 2017

• 1 Päättynyt

Projekteja vuodessa

Hakutulokset

• Suomalainen laskennallisen päättelyn huippuyksikkö

  Xu, Y., Pesonen, H., Rintanen, J., Kaski, S., Anwer, R., Parviainen, P., Soare, M., Weinzierl, A. & Vuollekoski, H.

  01/01/2015 → 31/12/2017

  Projekti: Academy of Finland: Other research funding