Pages that link to "Item:Q2835869"
From MaRDI portal
The following pages link to On the Expressiveness of Temporal Equilibrium Logic (Q2835869):
Displaying 6 items.
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- On the expressiveness of temporal logic programming (Q1892870) (← links)
- (Q4353628) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- On the Complexity of Temporal Equilibrium Logic (Q4635843) (← links)
- Past-present temporal programs over finite traces (Q6545583) (← links)
