Pages that link to "Item:Q1274977"

The following pages link to Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977):

Displaying 1 item.

• A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics (Q5958767) (← links)