OMiGA

MaRDI QIDQ44793swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-642-33353-8_38

Cited in

(16)

• scientific article; zbMATH DE number 7121940 (Why is no real title available?)
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• ASPeRiX
• Gringo
• GASP
• WASP
• DLV2
• Hexlite
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Incremental answer set programming with overgrounding
• scientific article; zbMATH DE number 7453100 (Why is no real title available?)
• Optimizing answer set computation via heuristic-based decomposition
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• DualGrounder: lazy instantiation via clingo multi-shot framework
• DualGrounder
• ASP solving for expanding universes

This page was built for software: OMiGA