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

DOI10.1007/978-3-030-45260-5_9zbMath1502.68282arXiv2106.14566OpenAlexW3020620556MaRDI QIDQ5097632

Zhuo Chen, Joaquin Arias, Manuel Carro, Gopal Gupta

Publication date: 25 August 2022

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2106.14566

zbMATH Keywords

constraintsevent calculusgoal-directedASP

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (1)

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

Cites Work

• Integrating answer set programming and constraint logic programming
• Circumscription - a form of non-monotonic reasoning
• Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
• System aspmt2smt: Computing ASPMT Theories by SMT Solvers
• Coinductive Logic Programming and Its Applications
• Representing action and change by logic programs
• An abductive event calculus planner
• Constraint Answer Set Programming without Grounding
• Multi-shot ASP solving with clingo

This page was built for publication: Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming