Pages that link to "Item:Q2326722"
From MaRDI portal
The following pages link to Towards dynamic answer set programming over finite traces (Q2326722):
Displaying 5 items.
- Metric temporal answer set programming over timed traces (Q2694559) (← links)
- (Q3011302) (← links)
- An Incremental Answer Set Programming Based System for Finite ModelComputation (Q4930763) (← links)
- Towards Metric Temporal Answer Set Programming (Q5140014) (← links)
- Metric temporal equilibrium logic over timed traces (Q6656458) (← links)