TY  - RPRT
TI  - Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
AU  - Brendan Hall
AU  - Sarat Chandra Varanasi
AU  - Jan Fiedor
AU  - Joaquín Arias
AU  - Kinjal Basu
AU  - Fang Li
AU  - Devesh Bhatt
AU  - Kevin Driscoll
AU  - Elmer Salazar
AU  - Gopal Gupta
PY  - 2021
DO  - 10.4204/eptcs.344.6
UR  - https://arxiv.org/abs/2109.04634
ID  - 2109.04634
ER  -