Exploiting Justifications for Lazy Grounding of Answer Set Programs

Bart Bogaerts, Antonius Weinzierl

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

7 Sitaatiot (Scopus)

1 Konferenssiesitelmä

1 tulosta
- Nimi(laskeva)
- Aloituspäivä

Exploiting Justifications for Lazy Grounding of Answer Set Programs
Antonius Weinzierl (Puhuja)
18 heinäkuuta 2018
Aktiviteetti: Konferenssiesitelmä