cs.LO cs.SE
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
Ondřej Vašíček Joaquin Arias Jan Fiedor Gopal Gupta Brendan Hall Bohuslav Křena Brian Larson Sarat Chandra Varanasi Tomáš Vojnar