Characterizing and computing stable models of logic programs: The non-stratified case

Gianpaolo Brignoli, Stefania Costantini, Ottavio D'Antona +1

Stable Logic Programming (SLP) is an emergent, alternative style of logic programming: each solution to a problem is represented by a stable model of a deductive database/function-…