swMATH33084MaRDI QIDQ44793FDOQ44793
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-642-33353-8_38
Cited In (16)
- DualGrounder
- Title not available (Why is that?)
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
- ASPeRiX
- Incremental answer set programming with overgrounding
- Gringo
- GASP
- WASP
- Title not available (Why is that?)
- DLV2
- Hexlite
- 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
- ASP solving for expanding universes
This page was built for software: OMiGA
