Picture for Jan Fiedor

Jan Fiedor

Honeywell Internation s.r.o & Brno University of Technology, Brno, Czech Republic

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