Pages that link to "Item:Q1350529"
From MaRDI portal
The following pages link to SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs (Q1350529):
Displaying 6 items.
- A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete (Q689290) (← links)
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing (Q4208852) (← links)
- A new definition of SLDNF-resolution (Q4285644) (← links)
- (Q4454845) (← links)
- 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)