eclingo

swMATH39883MaRDI QIDQ55583FDOQ55583

Author name not available (Why is that?)

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

Described by source

• eclingo : A Solver for Epistemic Logic Programs

Cited In (3)

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

This page was built for software: eclingo