Pages that link to "Item:Q5236439"
From MaRDI portal
The following pages link to Characterizing D-WFS: Confluence and iterated GCWA (Q5236439):
Displaying 4 items.
- Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)
- On logics and semantics for general logic programs (Q6623792) (← links)
- Transformation-based bottom-up computation of the well-founded model (Q6623799) (← links)
- Computation of non-ground disjunctive well-founded semantics with constraint logic programming (Q6623800) (← links)