Picture for Ottavio D'Antona

Ottavio D'Antona

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

Add code
Feb 21, 2014
Figure 1 for Characterizing and computing stable models of logic programs: The non-stratified case
Figure 2 for Characterizing and computing stable models of logic programs: The non-stratified case
Viaarxiv icon