DualGrounder: lazy instantiation via clingo multi-shot framework
From MaRDI portal
Publication:2055820
DOI10.1007/978-3-030-75775-5_29OpenAlexW3159383604MaRDI QIDQ2055820
Yuliya Lierler, Justin Robbins
Publication date: 1 December 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-75775-5_29
Related Items
Uses Software
Cites Work