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 5 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)
