Picture for Brendan Hall

Brendan Hall

Honeywell Advanced Technology, Plymouth, USA

Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming

Add code
Aug 25, 2022
Figure 1 for Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
Figure 2 for Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
Figure 3 for Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
Figure 4 for Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
Viaarxiv icon

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