Multi-shot ASP solving with clingo

Gebser, M; Kaminski, R; Kaufmann, B; Schaub, T

Gebser, M (reprint author), Univ Potsdam, Potsdam, Germany.

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2019; 19 (1): 27

Abstract

We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP), which we refer to as multi-shot ASP solving, and presen......

Full Text Link