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

DOI10.1017/s1471068421000156zbMath1530.68242MaRDI QIDQ6063873

Manuel Carro, Joaquin Arias, Zhuo Chen, Unnamed Author

Publication date: 12 December 2023

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

constraintscommonsense reasoningevent calculusASP

Mathematics Subject Classification ID

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

Related Items (1)

A qualitative temporal extension of here-and-there logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A necessary condition for constructive negation in constraint logic programming
• A logic-based calculus of events
• Stable models and circumscription
• 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
• An overview of Ciao and its design philosophy
• Dynamic Consistency Checking in Goal-Directed Answer Set Programming
• System aspmt2smt: Computing ASPMT Theories by SMT Solvers
• Coinductive Logic Programming and Its Applications
• An abductive event calculus planner
• Constraint Answer Set Programming without Grounding
• Tight logic programs
• Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
• Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
• Strongly equivalent logic programs

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