The following pages link to A unifying action calculus (Q543584):
Displaying 5 items.
- John McCarthy's legacy (Q543573) (← links)
- Position systems in dynamic domains (Q2341258) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- Simulating Dynamic Systems Using Linear Time Calculus Theories (Q2931258) (← links)