33 citations · 56 across the 19 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
Joaquín Arias, Manuel Carro, Gopal Gupta
Goal-directed evaluation of Answer Set Programs is gaining traction thanks to its amenability to create AI systems that can, due to the evaluation mechanism used, generate explanat…
cs.AI2021
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
Joaquín Arias, Manuel Carro, Zhuo Chen +1
Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model com…