The following pages link to (Q4204135):
Displaying 10 items.
- Set based logic programming (Q1029592) (← links)
- Information categories (Q1320330) (← 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)
- A topological characterization of the stable and minimal model classes of propositional logic programs (Q1924782) (← links)
- Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs (Q2843619) (← links)
- On the Coincidence of Semantics for Uniquely Determined Programs (Q4923373) (← links)
- The query topology in logic programming (Q5096171) (← links)
- Fixpoint techniques for non-monotone maps (Q5096192) (← links)
