Pages that link to "Item:Q6488525"
From MaRDI portal
The following pages link to Generalized well-founded semantics for logic programs (Q6488525):
Displaying 8 items.
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Founded semantics and constraint semantics of logic rules (Q1709704) (← links)
- (Q3983046) (← links)
- A procedural semantics for well-founded negation in logic programs (Q3992225) (← links)
- A computable semantics for general logic programs (Q4730755) (← links)
- Abduction in well-founded semantics and generalized stable models via tabled dual programs (Q4819009) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311125) (← links)