Pages that link to "Item:Q4593042"
From MaRDI portal
The following pages link to The power of non-ground rules in Answer Set Programming (Q4593042):
Displaying 7 items.
- Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- Solving Advanced Argumentation Problems with Answer Set Programming (Q4957200) (← links)
- selp: <i>A Single-Shot Epistemic Logic Program Solver</i> (Q4957201) (← links)
- (Q5020987) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- Reasoning on with Defeasibility in ASP (Q6063881) (← links)
