A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There

15 June 2010

Papers citing "A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There"

1 / 1 papers shown

Title
Rethinking Answer Set Programming Templates Mario Alviano Giovambattista Ianni Francesco Pacenza J. Zangari 23 1 0 12 Jul 2023