nopeDec 22, 2022
Multi-shot ASP solving with clingo
(2018) : Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub
DOI: https://doi.org/10.1017/s1471068418000054
#ASP #answer_set_programming #clingo #logic_programming #multi_shot_solving
#my_bibtex
Multi-shot ASP solving with clingo | Theory and Practice of Logic Programming | Cambridge Core

Multi-shot ASP solving with clingo - Volume 19 Issue 1

Cambridge Core