The following pages link to (Q4893671):
Displaying 7 items.
- Programming simultaneous actions using common knowledge (Q1104074) (← links)
- Multi-level programming and conflict resolution (Q1179198) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Formalization of reasoning about default action (preliminary report) (Q4632322) (← links)