Pages that link to "Item:Q2946700"
From MaRDI portal
The following pages link to Tableau Calculi for Logic Programs under Answer Set Semantics (Q2946700):
Displaying 10 items.
- A multiparametric view on answer set programming (Q2317973) (← links)
- (Q2721193) (← links)
- Extended ASP Tableaux and rule redundancy in normal logic programs (Q3546041) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
- (Q4699343) (← links)
- Boosting Answer Set Optimization with Weighted Comparator Networks (Q4957202) (← links)
- Computer Science Logic (Q5311279) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479274) (← links)
- Signed dual tableaux for Kleene answer set programs (Q6599615) (← links)