Multi-shot ASP solving with clingo

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheenglisch
Seiten (von - bis)27-82
Seitenumfang56
FachzeitschriftTheory and Practice of Logic Programming
Jahrgang2019
Ausgabenummer19(1)
DOIs
PublikationsstatusVeröffentlicht - Jan 2019

Dieses zitieren