Exploiting Justifications for Lazy Grounding of Answer Set Programs
Bart Bogaerts, Antonius Weinzierl
Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu
Bart Bogaerts, Antonius Weinzierl
Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu