Techniques for Efficient Lazy-Grounding ASP Solving

,
PDF DOI
Type
Conference paper
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