The following pages link to (Q3455569):
Displaying 10 items.
- Knowledge-based proof planning (Q1978469) (← links)
- Knowledge-based programs as succinct policies for partially observable domains (Q2046009) (← links)
- Planning-based knowing how: a unified approach (Q2238589) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- Reactive Policies with Planning for Action Languages (Q2835891) (← links)
- (Q5015399) (← links)
- A note on knowledge-based programs and specifications (Q5137901) (← links)
- Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond (Q6545516) (← links)
- Knowing how to plan (Q6642577) (← links)
- Knowing how to plan about planning: higher-order and meta-level epistemic planning (Q6665710) (← links)