Pages that link to "Item:Q4909313"
From MaRDI portal
The following pages link to Automata-Based Computation of Temporal Equilibrium Models (Q4909313):
Displaying 6 items.
- Automata with a time-variant structure and supply-demand theorems (Q700261) (← links)
- Capturing equilibrium models in modal logic (Q2447178) (← links)
- On the Expressiveness of Temporal Equilibrium Logic (Q2835869) (← links)
- Stable Models for Temporal Theories (Q3449185) (← links)
- Temporal equilibrium logic: a survey (Q4583305) (← links)
- On the Complexity of Temporal Equilibrium Logic (Q4635843) (← links)