The following pages link to Blai Bonet (Q403017):
Displayed 18 items.
- Item:Q403017 (redirect page) (← links)
- Recent advances in unfolding technique (Q403021) (← links)
- Conformant plans and beyond: principles and complexity (Q969534) (← links)
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits (Q2389669) (← links)
- A Concise Introduction to Models and Methods for Automated Planning (Q2841740) (← links)
- Belief Tracking for Planning with Sensing: Width, Complexity and Approximations (Q2878746) (← links)
- Syntactic characterizations of completeness using duals and operators (Q2903761) (← links)
- (Q2996246) (← links)
- Strengthening Landmark Heuristics via Hitting Sets (Q2999151) (← links)
- Directed Unfolding of Petri Nets (Q3599218) (← links)
- (Q4999309) (← links)
- Flexible FOND Planning with Explicit Fairness Assumptions (Q5094037) (← links)
- Qualitative Numeric Planning: Reductions and Complexity (Q5139597) (← links)
- On the Speed of Convergence of Value Iteration on Stochastic Shortest-Path Problems (Q5388035) (← links)
- Universal First-Order Logic is Superfluous for NL, P, NP and coNP (Q5404481) (← links)
- (Q5715734) (← links)
- Planning as heuristic search (Q5941310) (← links)
- Planning and control in artificial intelligence: A unifying perspective (Q5945807) (← links)