Multi-shot ASP solving with clingo

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)27-82
Number of pages56
JournalTheory and Practice of Logic Programming
Volume2019
Issue number19(1)
DOIs
Publication statusPublished - Jan 2019

Cite this