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

10 September 2021

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

2 / 2 papers shown

Title
Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning Alexis R. Tudor Yankai Zeng Huaduo Wang Joaquín Arias Gopal Gupta LRM 25 0 0 15 Jun 2025
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming Joaquín Arias Manuel Carro Zhuo Chen G. Gupta LRM 25 19 0 28 Jun 2021