TY  - JOUR
A1  - Kaufmann, Benjamin
A1  - Leone, Nicola
A1  - Perri, Simona
A1  - Schaub, Torsten H.
T1  - Grounding and Solving in Answer Set Programming
JF  - AI magazine
N2  - Answer set programming is a declarative problem-solving paradigm that rests upon a work flow involving modeling, grounding, and solving. While the former is described by Gebser and Schaub (2016), we focus here on key issues in grounding, or how to systematically replace object variables by ground terms in an effective way, and solving, or how to compute the answer sets, of a propositional logic program obtained by grounding.
Y1  - 2016
SN  - 0738-4602
VL  - 37
SP  - 25
EP  - 32
PB  - Association for the Advancement of Artificial Intelligence
CY  - Menlo Park
ER  -