Sergey Paramonov 0001, Christian Bessiere, Anton Dries, Luc De Raedt. Sketched Answer Set Programming. In Lefteri H. Tsoukalas, Éric Grégoire, Miltiadis Alamaniotis, editors, IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5-7 November 2018, Volos, Greece. pages 694-701, IEEE, 2018. [doi]
Abstract is missing.