eclingo

swMATH39883MaRDI QIDQ55583FDOQ55583

Author name not available (Why is that?)

Official website: http://www.google.de/#sclient=psy&hl=de&source=hp&q=eclingo

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

Described by source

• \texttt{eclingo}: a solver for epistemic logic programs

Cited In (13)

• Utilizing treewidth for quantitative reasoning on epistemic logic programs
• plasp
• TRAVOS
• ASPMT2SMT
• Autoepistemic answer set programming
• htd
• lp2normal
• EHEX
• ESmodels
• GISolver
• selp
• Wviews
• 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