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

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: