Title: Answer Set Programming for Continuous Domains
Subjects: Logic, Logic design, Computer science, Computer simulation, Logics and Meanings of Programs, Simulation and Modeling