1. Joaquín Arias , Manuel Carro , Zhuo Chen , and Gopal Gupta . 2019. Constraint Answer Set Programming without Grounding and its Applications . In Datalog 2.0(CEUR Workshop Proceedings, Vol. 2368), Mario Alviano and Andreas Pieris (Eds.). CEUR-WS.org , Philadelphia, PA ( USA) , 22–26. http://ceur-ws.org/Vol-2368/paper2.pdf Joaquín Arias, Manuel Carro, Zhuo Chen, and Gopal Gupta. 2019. Constraint Answer Set Programming without Grounding and its Applications. In Datalog 2.0(CEUR Workshop Proceedings, Vol. 2368), Mario Alviano and Andreas Pieris (Eds.). CEUR-WS.org, Philadelphia, PA (USA), 22–26. http://ceur-ws.org/Vol-2368/paper2.pdf
2. On the power of magic
3. Abduction from logic programs: Semantics and complexity
4. Martin Gebser , Roland Kaminski , Benjamin Kaufmann , and Torsten Schaub . 2012. Answer Set Solving in Practice . Morgan & Claypool Publishers , Uni Potsdam . Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. 2012. Answer Set Solving in Practice. Morgan & Claypool Publishers, Uni Potsdam.
5. Avishkar Mahajan Martin Strecker and Meng Weng Wong. 2022. User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended version). Forthcoming. https://arxiv.org/ Avishkar Mahajan Martin Strecker and Meng Weng Wong. 2022. User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended version). Forthcoming. https://arxiv.org/