Pages that link to "Item:Q4779589"
From MaRDI portal
The following pages link to The Expressive Power of Temporal Logic of Actions (Q4779589):
Displaying 10 items.
- Modelling causality via action dependencies in branching time semantics (Q671596) (← links)
- Invariance under stuttering in a temporal logic of actions (Q859839) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Expressibility of output equals input. Negative and positive results (Q1323378) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- (Q4218103) (← links)
- (Q4490359) (← links)
- Semantical Analysis of Logic of Actions (Q4763535) (← links)
- Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)
- On the semantics of durational actions (Q5958612) (← links)