Pages that link to "Item:Q5140019"
From MaRDI portal
The following pages link to eclingo : A Solver for Epistemic Logic Programs (Q5140019):
Displaying 5 items.
- eclingo (Q55583) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
- Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Q5019599) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)