Pages that link to "Item:Q1924726"
From MaRDI portal
The following pages link to Reasoning about time in the situation calculus (Q1924726):
Displaying 12 items.
- The situation calculus: a case for modal logic (Q616039) (← links)
- Reasoning with numeric and symbolic time information (Q704615) (← links)
- A unifying semantics for time and events (Q814548) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Towards a general theory of action and time (Q1060013) (← links)
- Formalizing narratives using nested circumscription (Q1274680) (← links)
- A general framework for reasoning about change (Q1877375) (← links)
- A generalized time quantifier approach to approximate reasoning (Q1885721) (← links)
- Logic of temporal attribute implications (Q2364366) (← links)
- Actions and Events in Interval Temporal Logic (Q4316294) (← links)
- (Q4808689) (← links)
- Temporal disjunctive logic programming (Q5929097) (← links)