The following pages link to (Q4893671):
Displaying 5 items.
- 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)
