Previous instantiations of this problem

• global non-monotonic ILP [...]
• LH first-order clauses
• d(h,D)=1 iff h is true in M+(D), 0 otherwise
• H �q H' iff H subset H' & H |= H'

 

• global descriptive ILP [...]
• LH first-order clauses
• d(h,D)>0 iff h is true in an allowed model of D, 0 otherwise

H �q H' iff H subset H' & H |= H'

---