Pages that link to "Item:Q4559802"
From MaRDI portal
The following pages link to Temporal Answer Set Programming on Finite Traces (Q4559802):
Displaying 9 items.
- Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
- Metric temporal answer set programming over timed traces (Q2694559) (← links)
- Integrating Temporal Extensions of Answer Set Programming (Q2851228) (← links)
- Planning with Incomplete Information in Quantified Answer Set Programming (Q5019607) (← links)
- Towards Metric Temporal Answer Set Programming (Q5140014) (← links)
- Theoretical Computer Science (Q5395079) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)
- Past-present temporal programs over finite traces (Q6545583) (← links)
- Metric temporal equilibrium logic over timed traces (Q6656458) (← links)