Picture for Kevin Driscoll

Kevin Driscoll

Honeywell Advanced Technology, Plymouth, USA

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

Add code
Sep 10, 2021
Figure 1 for Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
Viaarxiv icon