Pages that link to "Item:Q4659506"
From MaRDI portal
The following pages link to Event Calculus Reasoning Through Satisfiability (Q4659506):
Displaying 16 items.
- Reasoning in event-based distributed systems (Q532999) (← links)
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- Nonmonotonic abductive inductive learning (Q833734) (← links)
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus (Q1601877) (← links)
- An event-based fragment of first-order logic over intervals (Q2429992) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- Event domains, stable functions and proof-nets (Q2864146) (← links)
- Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming (Q2887086) (← links)
- (Q3356298) (← links)
- Constraint logic programming for reasoning about discrete event processes (Q3988797) (← links)
- (Q4222864) (← links)
- (Q4494243) (← links)
- An event calculus production rule system for reasoning in dynamic and uncertain domains (Q4593031) (← links)
- Event Calculus Planning Through Satisfiability (Q4659507) (← links)
- (Q5190784) (← links)