33 citations · 56 across the 26 of their papers we have counts for
4 papers · 1 filter
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…
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor +7
We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requir…
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…
Knowledge-driven Natural Language Understanding of English Text and its Applications
Kinjal Basu, Sarat Varanasi, Farhad Shakerin +2
Understanding the meaning of a text is a fundamental challenge of natural language understanding (NLU) research. An ideal NLU system should process a language in a way that is not…