 | 2012 |
|---|
| 46 |       | Blai Bonet,
Nerio Borges:
Syntactic characterizations of completeness using duals and operators.
Logic Journal of the IGPL 20(1): 266-282 (2012) |
| 2011 |
|---|
| 45 | | Blai Bonet,
Julio Castillo:
A Complete Algorithm for Generating Landmarks.
ICAPS 2011 |
| 44 | | Blai Bonet:
Abstraction Heuristics Extended with Counting Abstractions.
ICAPS 2011 |
| 43 | | Aldo Porco,
Alejandro Machado,
Blai Bonet:
Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS.
ICAPS 2011 |
| 42 | | Blai Bonet,
Hector Geffner:
Planning under Partial Observability by Classical Replanning: Theory and Experiments.
IJCAI 2011: 1936-1941 |
| 41 | | Blai Bonet,
Hector Geffner:
mGPT: A Probabilistic Planner Based on Heuristic Search
CoRR abs/1109.2153: (2011) |
| 2010 |
|---|
| 40 | | Blai Bonet,
Héctor Palacios,
Hector Geffner:
Automatic Derivation of Finite-State Machines for Behavior Control.
AAAI 2010 |
| 39 | | Christopher Amato,
Blai Bonet,
Shlomo Zilberstein:
Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs.
AAAI 2010 |
| 38 | | Blai Bonet,
Malte Helmert:
Strengthening Landmark Heuristics via Hitting Sets.
ECAI 2010: 329-334 |
| 37 | | Daniel Izquierdo,
Maria-Esther Vidal,
Blai Bonet:
STEREO: a SaT-based tool for an optimal solution of the sERvice selEctiOn problem.
ISWC Posters&Demos 2010 |
| 36 | | Daniel Izquierdo,
Maria-Esther Vidal,
Blai Bonet:
An Expressive and Efficient Solution to the Service Selection Problem.
International Semantic Web Conference (1) 2010: 386-401 |
| 35 | | Blai Bonet:
Conformant plans and beyond: Principles and complexity.
Artif. Intell. 174(3-4): 245-269 (2010) |
| 2009 |
|---|
| 34 |  | Blai Bonet,
Héctor Palacios,
Hector Geffner:
Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners.
ICAPS 2009 |
| 33 | | Blai Bonet,
Hector Geffner:
Solving POMDPs: RTDP-Bel vs. Point-based Algorithms.
IJCAI 2009: 1641-1646 |
| 32 | | Blai Bonet:
Deterministic POMDPs Revisited.
UAI 2009: 59-66 |
| 2008 |
|---|
| 31 | | Blai Bonet,
Hector Geffner:
Heuristics for planning with penalties and rewards formulated in logic and computed through circuits.
Artif. Intell. 172(12-13): 1579-1604 (2008) |
| 30 | | Blai Bonet,
Patrik Haslum,
Sarah L. Hickmott,
Sylvie Thiébaux:
Directed Unfolding of Petri Nets.
T. Petri Nets and Other Models of Concurrency 1: 172-198 (2008) |
| 2007 |
|---|
| 29 | | Patrik Haslum,
Adi Botea,
Malte Helmert,
Blai Bonet,
Sven Koenig:
Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning.
AAAI 2007: 1007-1012 |
| 28 | | Stefan Edelkamp,
Shahid Jabbar,
Blai Bonet:
External Memory Value Iteration.
ICAPS 2007: 128-135 |
| 27 | | Nerio Borges,
Blai Bonet:
On Canonical Forms of Complete Problems via First-order Projections
CoRR abs/0706.3412: (2007) |
| 26 | | Blai Bonet:
On the Speed of Convergence of Value Iteration on Stochastic Shortest-Path Problems.
Math. Oper. Res. 32(2): 365-373 (2007) |
| 2006 |
|---|
| 25 | | Yolifé Arvelo,
Blai Bonet,
Maria-Esther Vidal:
Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic.
AAAI 2006: 225-230 |
| 24 | | Blai Bonet,
Hector Geffner:
Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and Its Application to MDPs.
ICAPS 2006: 142-151 |
| 23 | | Blai Bonet:
Bounded Branching and Modalities in Non-Deterministic Planning.
ICAPS 2006: 42-51 |
| 22 | | Blai Bonet:
Bounded Branching and Modalities in Non-Deterministic Planning.
ISAIM 2006 |
| 21 | | Blai Bonet,
Hector Geffner:
Heuristics for Planning with Penalties and Rewards using Compiled Knowledge.
KR 2006: 452-462 |
| 2005 |
|---|
| 20 | | Patrik Haslum,
Blai Bonet,
Hector Geffner:
New Admissible Heuristics for Domain-Independent Planning.
AAAI 2005: 1163-1168 |
| 19 | | Blai Bonet,
Hector Geffner:
An Algorithm Better than AO*?
AAAI 2005: 1343-1348 |
| 18 | | Héctor Palacios,
Blai Bonet,
Adnan Darwiche,
Hector Geffner:
Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations.
ICAPS 2005: 141-150 |
| 17 | | Blai Bonet,
Hector Geffner:
mGPT: A Probabilistic Planner Based on Heuristic Search.
J. Artif. Intell. Res. (JAIR) 24: 933-944 (2005) |
| 2003 |
|---|
| 16 | | Blai Bonet,
Sylvie Thiébaux:
GPT Meets PSR.
ICAPS 2003: 102-112 |
| 15 | | Blai Bonet,
Hector Geffner:
Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming.
ICAPS 2003: 12-31 |
| 14 | | Blai Bonet,
Hector Geffner:
Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback.
IJCAI 2003: 1233-1238 |
| 2002 |
|---|
| 13 | | Blai Bonet:
An epsilon-Optimal Grid-Based Algorithm for Partially Observable Markov Decision Processes.
ICML 2002: 51-58 |
| 12 | | Blai Bonet,
Judea Pearl:
Qualitative MDPs and POMDPs: An Order-Of-Magnitude Approximation.
UAI 2002: 61-68 |
| 2001 |
|---|
| 11 | | Blai Bonet:
A Calculus for Causal Relevance.
UAI 2001: 40-47 |
| 10 | | Blai Bonet:
Instrumentality Tests Revisited.
UAI 2001: 48-55 |
| 9 | | Blai Bonet,
Hector Geffner:
Heuristic Search Planner 2.0.
AI Magazine 22(3): 77-80 (2001) |
| 8 | | Blai Bonet,
Hector Geffner:
Planning and Control in Artificial Intelligence: A Unifying Perspective.
Appl. Intell. 14(3): 237-252 (2001) |
| 7 | | Blai Bonet,
Hector Geffner:
Planning as heuristic search.
Artif. Intell. 129(1-2): 5-33 (2001) |
| 2000 |
|---|
| 6 | | Blai Bonet,
Hector Geffner:
Planning with Incomplete Information as Heuristic Search in Belief Space.
AIPS 2000: 52-61 |
| 5 | | Derek Long,
Henry A. Kautz,
Bart Selman,
Blai Bonet,
Hector Geffner,
Jana Koehler,
Michael Brenner,
Jörg Hoffmann,
Frank Rittinger,
Corin R. Anderson,
Daniel S. Weld,
David E. Smith,
Maria Fox:
The AIPS-98 Planning Competition.
AI Magazine 21(2): 13-33 (2000) |
| 1999 |
|---|
| 4 | | Blai Bonet,
Hector Geffner:
Planning as Heuristic Search: New Results.
ECP 1999: 360-372 |
| 1998 |
|---|
| 3 | | Blai Bonet,
Hector Geffner:
Learning Sorting and Decision Trees with POMDPs.
ICML 1998: 73-81 |
| 1997 |
|---|
| 2 | | Blai Bonet,
Gábor Loerincs,
Hector Geffner:
A Robust and Fast Action Selection Mechanism for Planning.
AAAI/IAAI 1997: 714-719 |
| 1996 |
|---|
| 1 | | Blai Bonet,
Hector Geffner:
Arguing for Decisions: A Qualitative Model of Decision Making.
UAI 1996: 98-105 |
Data released under the ODC-BY 1.0 license — See also our legal information page