Pages that link to "Item:Q1177925"
From MaRDI portal
The following pages link to Acyclic logic programs and the completeness of SLDNF-resolution (Q1177925):
Displaying 8 items.
- A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete (Q689290) (← links)
- Generalized metrics and uniquely determined logic programs. (Q1427780) (← links)
- Logic programs and connectionist networks (Q1884268) (← links)
- Logic programs, iterated function systems, and recurrent radial basis function networks (Q1884270) (← links)
- Negation as failure for disjunctive logic programming (Q1924818) (← links)
- Generalising unit-refutation completeness and SLUR via nested input resolution (Q2352484) (← links)
- A completeness theorem for SLDNF resolution (Q3031954) (← links)
- Logic Programming (Q5313186) (← links)