@dblp

A Tutorial on Hybrid Answer Set Solving with clingo.

, , and . Reasoning Web, volume 10370 of Lecture Notes in Computer Science, page 167-203. Springer, (2017)

Links and resources

Tags