Techniques for Efficient Lazy-Grounding ASP Solving

Publication
Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, W├╝rzburg, Germany, September 19-22, 2017, Revised Selected Papers
Date