Constraint Answer Set Programming without Grounding and its Applications

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]

@inproceedings{AriasCCG19,
  title = {Constraint Answer Set Programming without Grounding and its Applications},
  author = {Joaquín Arias and Manuel Carro and Zhuo Chen and Gopal Gupta},
  year = {2019},
  url = {http://ceur-ws.org/Vol-2368/paper2.pdf},
  researchr = {https://researchr.org/publication/AriasCCG19},
  cites = {0},
  citedby = {0},
  pages = {22-26},
  booktitle = {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},
  editor = {Mario Alviano and Andreas Pieris},
  volume = {2368},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}