Multi-shot ASP solving with clingo

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Research output: Contribution to journalArticleResearchpeer-review

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

Cite this