Pages that link to "Item:Q1884892"
From MaRDI portal
The following pages link to Parametrized semantics of logic programs -- a unifying framework (Q1884892):
Displaying 6 items.
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics (Q4593956) (← links)
- Extending Logic Programming with Labelled Variables: Model and Semantics (Q4686514) (← links)
- Contextual hypotheses and semantics of logic programs (Q4897703) (← links)
- (Q5711171) (← links)