eclingo

swMATH39883MaRDI QIDQ55583

No author found.

Source code repository: https://github.com/potassco/eclingo

Described by source

• eclingo : A Solver for Epistemic Logic Programs

Related Items (3)

Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? ⋮ Autoepistemic answer set programming ⋮ Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

This page was built for software: eclingo