Modeling and Reasoning in Event Calculus using Goal-Directed Constraint
Answer Set Programming

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

28 June 2021

Manuel Carro

ArXiv (abs)PDF HTML

Papers citing "Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming"

4 / 4 papers shown

Title
Counterfactual Explanation Generation with s(CASP) Sopam Dasgupta Farhad Shakerin Joaquín Arias Elmer Salazar Gopal Gupta LRM 58 0 0 23 Oct 2023
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP S. Varanasi N. Mittal G. Gupta 19 0 0 20 May 2023
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming Josiah W. Smith Manuel Carro G. Gupta LRM 22 2 0 22 Oct 2021
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming B. Hall S. Varanasi Jan Fiedor Joaquín Arias Kinjal Basu Fang Li Devesh Bhatt K. Driscoll Elmer Salazar G. Gupta 28 10 0 10 Sep 2021