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

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2014★ 1 cited

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-…