The following pages link to Ray Reiter (Q1376097):
Displaying 8 items.
- Scheduling in the situation calculus: A case study (Q1376099) (← links)
- How to progress a database (Q1402735) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Some contributions to the metatheory of the situation calculus (Q3158539) (← links)
- State Constraints Revisited (Q4316298) (← links)
- Rules as actions: A situation calculus semantics for logic programs (Q4352536) (← links)
- (Q4535119) (← links)
- On knowledge-based programming with sensing in the situation calculus (Q5738914) (← links)
