most citedKnowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2021★ 4 cited

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor +7

We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requir…