9 papers
An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming
Daniel Jurjo-Rivas, JoaquÃn Arias, Gopal Gupta +3
Abstract Interpretation infers and verifies program properties by over-approximating program semantics. It has been highly successful for (Constraint) Logic Programming, enabling t…
Event Calculus Meets Hybrid ASP
OndÅej VaÅ¡ÃÄek, JoaquÃn Arias, Jan Fiedor +5
Event Calculus (EC) implemented in answer set programming (ASP) has proven suitable for specifying requirements on safety-critical systems thanks to its elegant representation of b…
Modeling Deontic Modal Logic in ASP
Gopal Gupta, Abhiramon Rajasekharan, Alexis R. Tudor +2
We consider the problem of implementing deontic modal logic. We show how (deontic) modal operators can be elegantly and directly expressed using default negation (negation-as-failu…
On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
OndÅej VaÅ¡ÃÄek, Joaquin Arias, Jan Fiedor +5
It has been argued that Event Calculus (EC) is suitable for modeling high-level specifications of safety-critical cyber-physical systems. The primary advantage lies in the rather s…
VECSR: Virtually Embodied Common Sense Reasoning System
Alexis R. Tudor, JoaquÃn Arias, Gopal Gupta
The development of autonomous agents has seen a revival of enthusiasm due to the emergence of LLMs, such as GPT-4o. Deploying these agents in environments where they coexist with h…
Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
Alexis R. Tudor, Yankai Zeng, Huaduo Wang +2
Current advances in AI and its applicability have highlighted the need to ensure its trustworthiness for legal, ethical, and even commercial reasons. Sub-symbolic machine learning…