Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendal Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (Theory Pract. Log. Program., 2024)