Pages that link to "Item:Q5101443"
From MaRDI portal
The following pages link to Characterizations of the stable semantics by partial evaluation (Q5101443):
Displaying 9 items.
- Unfold/fold transformations for disjunctive logic programs (Q287026) (← links)
- A simple fixed point characterization of three-valued stable model semantics (Q1183439) (← links)
- Stability of weak second-order semantics (Q1825629) (← links)
- A Framework for Goal-Directed Query Evaluation with Negation (Q3449200) (← links)
- Stable semantics for disjunctive programs (Q3983045) (← links)
- (Q4919765) (← links)
- Characterizing D-WFS: Confluence and iterated GCWA (Q5236439) (← links)
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming (Q6566627) (← links)
- Transformation-based bottom-up computation of the well-founded model (Q6623799) (← links)