Pages that link to "Item:Q6063873"
From MaRDI portal
The following pages link to Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873):
Displaying 5 items.
- A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus (Q1601877) (← links)
- A qualitative temporal extension of here-and-there logic (Q2694563) (← links)
- 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)