Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.

Ondrej Vascek, Joaqun Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Toms Vojnar

Browse the full ICLP paper archive.