Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta. Constraint Answer Set Programming without Grounding and its Applications. In Mario Alviano, Andreas Pieris, editors, Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019. Volume 2368 of CEUR Workshop Proceedings, pages 22-26, CEUR-WS.org, 2019. [doi]
Abstract is missing.