Answer Set Programming Modulo Theories and Reasoning about Continuous Changes

Open in new window