The following pages link to (Q5685660):
Displaying 7 items.
- A mechanical solution of Schubert's steamroller by many-sorted resolution (Q1060859) (← links)
- Non-monotonic logic. I (Q1140441) (← links)
- The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning (Q1182164) (← links)
- A logical theory of robot problem solving (Q1226869) (← links)
- Specifying causality in action theories: A default logic approach (Q1575839) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Mechanical verification on strategies (Q1896369) (← links)
