Pages that link to "Item:Q3201764"
From MaRDI portal
The following pages link to On the relationship between CWA, minimal model, and minimal herbrand model semantics (Q3201764):
Displaying 6 items.
- First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment (Q1311412) (← links)
- Adding closed world assumptions to well-founded semantics (Q1314417) (← links)
- ECWA made easy (Q1924727) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- Embedding Logics in the Local Computation Framework (Q4443007) (← links)
- On the equivalence of the static and disjunctive well-founded semantics and its computation (Q5941206) (← links)