Pages that link to "Item:Q689290"
From MaRDI portal
The following pages link to A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete (Q689290):
Displaying 4 items.
- Acyclic logic programs and the completeness of SLDNF-resolution (Q1177925) (← links)
- A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses (Q1193863) (← links)
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- A Complete Axiomatization of the Three valued Completion of Logic Programs (Q3988059) (← links)