Pages that link to "Item:Q1208418"
From MaRDI portal
The following pages link to Graph properties for normal logic programs (Q1208418):
Displaying 3 items.
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete (Q689290) (← links)
- On the equivalence and range of applicability of graph-based representations of logic programs. (Q1853147) (← links)