selp

swMATH31006MaRDI QIDQ42720FDOQ42720

Author name not available (Why is that?)

Official website: https://dbai.tuwien.ac.at/proj/selp/

Cited In (21)

• A parallel memory-efficient epistemic logic program solver: harder, better, faster
• Title not available (Why is that?)
• Utilizing treewidth for quantitative reasoning on epistemic logic programs
• On uniform equivalence of epistemic logic programs
• About epistemic negation and world views in epistemic logic programs
• GRAPPA
• htd
• Lpopt
• DIAMOND
• lp2normal
• GI-log
• EHEX
• ELPS
• ESmodels
• ESParser
• GISolver
• Wviews
• Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
• eclingo
• Solving Advanced Argumentation Problems with Answer Set Programming
• selp: a single-shot epistemic logic program solver

This page was built for software: selp