Pages that link to "Item:Q5097632"
From MaRDI portal
The following pages link to Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming (Q5097632):
Displaying 4 items.
- Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming (Q2887086) (← links)
- Constraint logic programming for reasoning about discrete event processes (Q3988797) (← links)
- CHICA, An Abductive Planning System Based on Event Calculus (Q4849646) (← links)
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873) (← links)