Pages that link to "Item:Q5140014"
From MaRDI portal
The following pages link to Towards Metric Temporal Answer Set Programming (Q5140014):
Displaying 4 items.
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- Metric temporal answer set programming over timed traces (Q2694559) (← links)
- A qualitative temporal extension of here-and-there logic (Q2694563) (← links)
- Metric temporal equilibrium logic over timed traces (Q6656458) (← links)
