Exploiting Justifications for Lazy Grounding of Answer Set Programs

Antonius Weinzierl (Speaker)

Activity: Talk or presentation typesConference presentation

Period18 Jul 2018
Event titleInternational Joint Conference on Artificial Intelligence
Event typeConference
Conference number27
LocationStockholm, Sweden