The following pages link to Paolo Traverso (Q1380426):
Displaying 17 items.
- (Q814469) (redirect page) (← links)
- Weak, strong, and strong cyclic planning via symbolic model checking (Q814470) (← links)
- Task decomposition on abstract states, for planning under nondeterminism (Q835827) (← links)
- Program tactics and logic tactics (Q1380427) (← links)
- Theorem proving in technology transfer: The user's point of view (Q1856140) (← links)
- Mechanized result verification: An industrial application (Q1856154) (← links)
- Deliberative acting, planning and learning with hierarchical operational models (Q2238702) (← links)
- Strong planning under partial observability (Q2457630) (← links)
- A metatheory of a mechanized object theory (Q2676562) (← links)
- (Q3062007) (← links)
- (Q4012173) (← links)
- (Q4303116) (← links)
- (Q4409826) (← links)
- A dynamic logic for acting, sensing, and planning (Q4528038) (← links)
- A multicontext architecture for formalizing complex reasoning (Q4835369) (← links)
- Computational reflection via mechanized logical deduction (Q4884066) (← links)
- (Q5313998) (← links)