eclingo

MaRDI QIDQ55583swMATHFDO

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
• htd
• lp2normal
• EHEX
• ESmodels
• GISolver
• selp
• Wviews
• 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