The following pages link to A unifying action calculus (Q543584):
Displaying 9 items.
- Bounded situation calculus action theories (Q286407) (← links)
- 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)
- A calculus of tactics and its operational semantics (Q2847396) (← links)
- Simulating Dynamic Systems Using Linear Time Calculus Theories (Q2931258) (← links)
- (Q4703892) (← links)
- Advances in Artificial Intelligence (Q5901322) (← links)