Pages that link to "Item:Q2085572"
From MaRDI portal
The following pages link to Disjunctive logic programs, answer sets, and the cut rule (Q2085572):
Displaying 8 items.
- Logic programming as classical inference (Q898781) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- On semantics and proof theory of disjunctive logic programs with classical negation (Q2718191) (← links)
- (Q4537754) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- (Q5282970) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424885) (← links)
- (Q5480653) (← links)