Pages that link to "Item:Q1382158"
From MaRDI portal
The following pages link to Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA (Q1382158):
Displaying 12 items.
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- Relating defeasible and normal logic programming through transformation properties. (Q1853599) (← links)
- Heterogeneous active agents. III: Polynomially implementable agents (Q1978315) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- Semantics for possibilistic disjunctive programs (Q2845121) (← links)
- Well-Founded and Partial Stable Semantics Logical Aspects (Q3392936) (← links)
- The infinite-valued semantics: overview, recent results and future directions (Q4583316) (← links)
- Backdoors to Normality for Disjunctive Logic Programs (Q5277908) (← links)
- A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)
- On the equivalence of the static and disjunctive well-founded semantics and its computation (Q5941206) (← links)
- On the computation of the disjunctive well-founded semantics (Q5947357) (← links)