Pages that link to "Item:Q5939380"
From MaRDI portal
The following pages link to Reified temporal logics: An overview (Q5939380):
Displaying 9 items.
- Operators vs. arguments: The ins and outs of reification (Q857666) (← links)
- A non-reified temporal logic (Q1190791) (← links)
- A generalized time quantifier approach to approximate reasoning (Q1885721) (← links)
- Temporal properties of repetitive entities (Q2386353) (← links)
- Planning temporal events using point-interval logic (Q2473196) (← links)
- Using Locales to Define a Rely-Guarantee Temporal Logic (Q2914750) (← links)
- TACtic- A Multi Behavioral Agent for Trading Agent Competition (Q3628620) (← links)
- On the expressive limits of reified theories (Q4487261) (← links)
- Simple Reasoning with Time-Dependent Propositions (Q4779582) (← links)