Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
From MaRDI portal
Publication:6063873
DOI10.1017/S1471068421000156zbMATH Open1530.68242MaRDI QIDQ6063873
M. Carro, Joaquin Arias, Zhuo Chen, Gopal Gupta
Publication date: 12 December 2023
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- System aspmt2smt: Computing ASPMT Theories by SMT Solvers
- Strongly equivalent logic programs
- A logic-based calculus of events
- Integrating answer set programming and constraint logic programming
- Stable models and circumscription
- A necessary condition for constructive negation in constraint logic programming
- Circumscription - a form of non-monotonic reasoning
- An abductive event calculus planner
- An overview of Ciao and its design philosophy
- Dynamic Consistency Checking in Goal-Directed Answer Set Programming
- Tight logic programs
- Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
- Constraint Answer Set Programming without Grounding
- Coinductive Logic Programming and Its Applications
- Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
- Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
Cited In (5)
- A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
- Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
- Constraint logic programming for reasoning about discrete event processes
- A qualitative temporal extension of here-and-there logic
- CHICA, An Abductive Planning System Based on Event Calculus
This page was built for publication: Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6063873)
