Towards Quantified Answer Set Programming

Giovanni Amendola. Towards Quantified Answer Set Programming. In Marco Maratea, Mauro Vallati, editors, Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018. Volume 2271 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]

Abstract

Abstract is missing.