% Publications of Blai Bonet -- https://bonetblai.github.io

@book{geffner2013concise,
  author       = {Hector Geffner and Blai Bonet},
  title        = {A Concise Introduction to Models and Methods for Automated Planning},
  series       = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
  year         = {2013},
  publisher    = {Morgan \& Claypool},
  isbn         = {978-1-608459-69-8},
  doi          = {10.2200/S00513ED1V01Y201306AIM022}
}

@incollection{bonet2010heuristic,
  author       = {Blai Bonet and Eric A. Hansen},
  editor       = {Rina Dechter and Hector Geffner and Joseph Y. Halpern},
  title        = {Heuristic Search for Planning under Uncertainty},
  booktitle    = {Heuristics, Probability and Causality: A Tribute to Judea Pearl},
  pages        = {3--22},
  year         = {2010},
  publisher    = {College Publications}
}

@proceedings{bonet2015proceedings,
  editor       = {Blai Bonet and Sven Koenig},
  title        = {Proceedings of the {Twenty-Ninth} {AAAI} Conference on Artificial Intelligence ({AAAI-15})},
  year         = {2015},
  address      = {Austin, Texas, USA},
  publisher    = {AAAI Press}
}

@article{morris2015summary,
  author       = {Robert Morris and Sven Koenig and Blai Bonet and others},
  title        = {A Summary of the {Twenty-Ninth} {AAAI} Conference on Artificial Intelligence},
  journal      = {AI Magazine},
  volume       = {36},
  number       = {3},
  pages        = {99--106},
  year         = {2015}
}

@proceedings{mccluskey2012proceedings,
  editor       = {Lee McCluskey and Brian Williams and Jos{\'e} Reinaldo Silva and Blai Bonet},
  title        = {Proceedings of the {Twenty-Second} International Conference on Automated Planning and Scheduling ({ICAPS-12})},
  year         = {2012},
  address      = {Atibaia, S{\~a}o Paulo, Brazil},
  publisher    = {AAAI Press},
  isbn         = {978-1-577355-62-5}
}

@proceedings{gerevini2006international,
  editor       = {Alfonso Gerevini and Blai Bonet and Robert Givan},
  title        = {{5th} International Planning Competition},
  year         = {2006},
  address      = {Cumbria, UK},
  note         = {Booklet of the 5th International Planning Competition, held at ICAPS 2006}
}

@misc{drexler2026learning,
  author       = {Dominik Drexler and Simon St{\aa}hlberg and Markus Fritzsche and Blai Bonet},
  title        = {Learning How to Search for Plans with Exponentially Less Space},
  year         = {2026},
  eprint       = {2610.10954},
  archiveprefix = {arXiv}
}

@misc{bonet2026recurrent,
  author       = {Blai Bonet},
  title        = {Recurrent Graph Neural Networks with Set-Based Aggregation},
  year         = {2026},
  eprint       = {2609.15932},
  archiveprefix = {arXiv}
}

@inproceedings{KR2025-71,
    title     = {{Learning General Policies from Examples}},
    author    = {Bonet, Blai and Geffner, Hector},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {740--750},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/71},
    url       = {https://doi.org/10.24963/kr.2025/71},
  }

@inproceedings{stahlberg2025learning,
  author       = {Simon St{\aa}hlberg and Blai Bonet and Hector Geffner},
  title        = {Learning More Expressive General Policies for Classical Planning Domains},
  booktitle    = {Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence (AAAI)},
  pages        = {26697--26706},
  year         = {2025},
  address      = {Philadelphia, USA},
  url          = {https://ojs.aaai.org/index.php/AAAI/article/view/34872}
}

@inproceedings{muller2024towards,
  author       = {Luis M{\"u}ller and Daniel Kusuma and Blai Bonet and Christopher Morris},
  title        = {Towards Principled Graph Transformers},
  booktitle    = {Proceedings of the 38th Annual Conference on Neural Information Processing Systems (NeurIPS)},
  pages        = {126767--126801},
  year         = {2024},
  address      = {Vancouver, Canada},
  eprint       = {2401.10119},
  archiveprefix = {arXiv},
  url          = {https://proceedings.neurips.cc/paper_files/paper/2024/hash/e5419147e53eba322cf12aff266a66f2-Abstract-Conference.html}
}

@inproceedings{drexler2024symmetries,
  author       = {Dominik Drexler and Simon St{\aa}hlberg and Blai Bonet and Hector Geffner},
  title        = {Symmetries and Expressive Requirements for Learning General Policies},
  booktitle    = {Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  pages        = {845--855},
  year         = {2024},
  address      = {Hanoi, Vietnam},
  eprint       = {2409.15892},
  archiveprefix = {arXiv},
  url          = {https://proceedings.kr.org/2024/79}
}

@inproceedings{bonet2024policy,
  author       = {Blai Bonet and Dominik Drexler and Hector Geffner},
  title        = {On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies},
  booktitle    = {Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {31--39},
  year         = {2024},
  address      = {Banff, Canada},
  eprint       = {2403.16824},
  archiveprefix = {arXiv},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/31458}
}

@article{bonet2024general,
  author       = {Blai Bonet and Hector Geffner},
  title        = {General Policies, Subgoal Structure, and Planning Width},
  journal      = {Journal of Artificial Intelligence Research},
  volume       = {80},
  pages        = {475--516},
  year         = {2024},
  eprint       = {2311.05490},
  archiveprefix = {arXiv},
  url          = {https://www.jair.org/index.php/jair/article/view/15581}
}

@inproceedings{bonet2023general,
  author       = {Blai Bonet and Dominik Drexler and Hector Geffner},
  title        = {General and Reusable Indexical Policies and Sketches},
  booktitle    = {Proceedings of the 7th Workshop on Generalization in Planning (GenPlan)},
  year         = {2023},
  organization = {NeurIPS},
  address      = {New Orleans, USA}
}

@inproceedings{stahlberg2023learning,
  author       = {Simon St{\aa}hlberg and Blai Bonet and Hector Geffner},
  title        = {Learning General Policies with Policy Gradient Methods},
  booktitle    = {Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  pages        = {647--657},
  year         = {2023},
  address      = {Rhodes, Greece},
  url          = {https://proceedings.kr.org/2023/63/kr2023-0063-stahlberg-et-al.pdf}
}

@misc{bonet2022language,
  author       = {Blai Bonet and Hector Geffner},
  title        = {{Language-Based} Causal Representation Learning},
  year         = {2022},
  eprint       = {2207.05259},
  archiveprefix = {arXiv}
}

@article{rodriguez2022fond,
  author       = {Ivan D. Rodriguez and Blai Bonet and Javier Romero and Hector Geffner},
  title        = {{FOND} Planning with Explicit Fairness Assumptions},
  journal      = {Journal of Artificial Intelligence Research},
  volume       = {74},
  pages        = {887--916},
  year         = {2022},
  url          = {https://www.jair.org/index.php/jair/article/view/13599}
}

@inproceedings{stahlberg2022learning,
  author       = {Simon St{\aa}hlberg and Blai Bonet and Hector Geffner},
  title        = {Learning Generalized Policies Without Supervision Using {GNNs}},
  booktitle    = {Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  pages        = {474--483},
  year         = {2022},
  address      = {Haifa, Israel},
  eprint       = {2205.06002},
  archiveprefix = {arXiv},
  url          = {https://proceedings.kr.org/2022/49}
}

@inproceedings{occhipinti2022learning,
  author       = {Andres Occhipinti and Blai Bonet and Hector Geffner},
  title        = {Learning {First-Order} Symbolic Planning Representations That Are Grounded},
  booktitle    = {Proceedings of the 3rd ICAPS Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL)},
  year         = {2022},
  address      = {Singapore (Virtual)},
  eprint       = {2204.11902},
  archiveprefix = {arXiv}
}

@inproceedings{stahlberg2022learninga,
  author       = {Simon St{\aa}hlberg and Blai Bonet and Hector Geffner},
  title        = {Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits},
  booktitle    = {Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {629--637},
  year         = {2022},
  address      = {Singapore (Virtual)},
  eprint       = {2109.10129},
  archiveprefix = {arXiv},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/19851/19610}
}

@inproceedings{rodriguez2021learning,
  author       = {Ivan D. Rodriguez and Blai Bonet and Javier Romero and Hector Geffner},
  title        = {Learning {First-Order} Representations for Planning from {Black-Box} States: New Results},
  booktitle    = {Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  pages        = {539--548},
  year         = {2021},
  address      = {Hanoi, Vietnam},
  eprint       = {2105.10830},
  archiveprefix = {arXiv},
  url          = {https://proceedings.kr.org/2021/51}
}

@inproceedings{rodriguez2021flexible,
  author       = {Ivan D. Rodriguez and Blai Bonet and Sebastian Sardina and Hector Geffner},
  title        = {Flexible {FOND} Planning with Explicit Fairness Assumptions},
  booktitle    = {Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {290--298},
  year         = {2021},
  address      = {Guangzhou, China},
  eprint       = {2103.08391},
  archiveprefix = {arXiv},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/15973}
}

@inproceedings{frances2021learning,
  author       = {Guillem Franc{\`e}s and Blai Bonet and Hector Geffner},
  title        = {Learning General Planning Policies from Small Examples Without Supervision},
  booktitle    = {Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI)},
  pages        = {11801--11808},
  year         = {2021},
  address      = {Vancouver, Canada},
  eprint       = {2101.00692},
  archiveprefix = {arXiv},
  url          = {https://ojs.aaai.org/index.php/AAAI/article/view/17402}
}

@inproceedings{bonet2021general,
  author       = {Blai Bonet and Hector Geffner},
  title        = {General Policies, Representations, and Planning Width},
  booktitle    = {Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI)},
  pages        = {11764--11773},
  year         = {2021},
  address      = {Vancouver, Canada},
  eprint       = {2012.08033},
  archiveprefix = {arXiv},
  url          = {https://ojs.aaai.org/index.php/AAAI/article/view/17398}
}

@inproceedings{bonet2020high,
  author       = {Blai Bonet and {De Giacomo}, Giuseppe and Hector Geffner and Fabio Patrizi and Sasha Rubin},
  title        = {{High-Level} Programming via Generalized Planning and {LTL} Synthesis},
  booktitle    = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  pages        = {152--161},
  year         = {2020},
  address      = {Rhodes, Greece},
  url          = {https://proceedings.kr.org/2020/16/kr2020-0016-bonet-et-al.pdf}
}

@article{bonet2020qualitative,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Qualitative Numeric Planning: Reductions and Complexity},
  journal      = {Journal of Artificial Intelligence Research},
  volume       = {69},
  pages        = {923--961},
  year         = {2020},
  eprint       = {1912.04816},
  archiveprefix = {arXiv},
  url          = {https://jair.org/index.php/jair/article/view/11865}
}

@inproceedings{bonet2020learning,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Learning {First-Order} Symbolic Representations for Planning from the Structure of the State Space},
  booktitle    = {Proceedings of the 24th European Conference on Artificial Intelligence (ECAI)},
  pages        = {2322--2329},
  year         = {2020},
  address      = {Santiago de Compostela, Spain},
  eprint       = {1909.05546},
  archiveprefix = {arXiv},
  url          = {http://ebooks.iospress.nl/volumearticle/55156}
}

@inproceedings{bonet2019guarantees,
  author       = {Blai Bonet and Raquel Fuentetaja and Yolanda E-Mart{\'i}n and Daniel Borrajo},
  title        = {Guarantees for Sound Abstractions for Generalized Planning},
  booktitle    = {Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI)},
  pages        = {1566--1573},
  year         = {2019},
  address      = {Macau, China},
  eprint       = {1905.12071},
  archiveprefix = {arXiv},
  url          = {https://ijcai.org/proceedings/2019/0217.pdf}
}

@inproceedings{bonet2019learning,
  author       = {Blai Bonet and Guillem Franc{\`e}s and Hector Geffner},
  title        = {Learning Features and Abstract Actions for Computing Generalized Plans},
  booktitle    = {Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI)},
  pages        = {2703--2710},
  year         = {2019},
  address      = {Hawaii, USA},
  eprint       = {1811.07231},
  archiveprefix = {arXiv}
}

@inproceedings{bonet2018features,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Features, Projections, and Representation Change for Generalized Planning},
  booktitle    = {Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI)},
  pages        = {4667--4673},
  year         = {2018},
  address      = {Stockholm, Sweden},
  eprint       = {1801.10055},
  archiveprefix = {arXiv},
  url          = {https://ijcai.org/proceedings/2018/0649.pdf}
}

@inproceedings{bandres2018planning,
  author       = {Wilmer Bandres and Blai Bonet and Hector Geffner},
  title        = {Planning with Pixels in (Almost) Real Time},
  booktitle    = {Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI)},
  pages        = {6102--6109},
  year         = {2018},
  address      = {New Orleans, USA},
  eprint       = {1801.03354},
  archiveprefix = {arXiv},
  url          = {https://ojs.aaai.org/index.php/AAAI/article/view/12095}
}

@inproceedings{bonet2017generalized,
  author       = {Blai Bonet and {De Giacomo}, Giuseppe and Hector Geffner and Sasha Rubin},
  title        = {Generalized Planning: {Non-Deterministic} Abstractions and Trajectory Constraints},
  booktitle    = {Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI)},
  pages        = {873--879},
  year         = {2017},
  address      = {Melbourne, Australia},
  eprint       = {1909.12135},
  archiveprefix = {arXiv},
  url          = {https://ijcai.org/proceedings/2017/121}
}

@inproceedings{pommerening2017abstraction,
  author       = {Florian Pommerening and Malte Helmert and Blai Bonet},
  title        = {Abstraction Heuristics, Cost Partitioning and Network Flows},
  booktitle    = {Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {228--232},
  year         = {2017},
  address      = {Pittsburgh, USA},
  url          = {https://aaai.org/papers/00228-13806-abstraction-heuristics-cost-partitioning-and-network-flows/}
}

@inproceedings{bonet2017completeness,
  author       = {Blai Bonet and Gabriel Formica and Melecio Ponte},
  title        = {Completeness of Online Planners for Partially Observable Deterministic Tasks},
  booktitle    = {Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {38--46},
  year         = {2017},
  address      = {Pittsburgh, USA},
  url          = {https://aaai.org/papers/00038-13838-completeness-of-online-planners-for-partially-observable-deterministic-tasks/}
}

@inproceedings{pommerening2017higher,
  author       = {Florian Pommerening and Malte Helmert and Blai Bonet},
  title        = {{Higher-Dimensional} Potential Heuristics for Optimal Classical Planning},
  booktitle    = {Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI)},
  pages        = {3636--3643},
  year         = {2017},
  address      = {San Francisco, USA},
  eprint       = {1909.12142},
  archiveprefix = {arXiv},
  url          = {https://ojs.aaai.org/index.php/AAAI/article/view/11023}
}

@inproceedings{bonet2016factored,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Factored Probabilistic Belief Tracking},
  booktitle    = {Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI)},
  pages        = {3045--3052},
  year         = {2016},
  address      = {New York, USA},
  eprint       = {1909.13779},
  archiveprefix = {arXiv},
  url          = {https://ijcai.org/proceedings/2016/0432.pdf}
}

@inproceedings{bonet2015policies,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Policies that Generalize: Solving Many Planning Problems with the Same Policy},
  booktitle    = {Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)},
  pages        = {2798--2804},
  year         = {2015},
  address      = {Buenos Aires, Argentina},
  url          = {https://ijcai.org/proceedings/2015/0396.pdf}
}

@inproceedings{pommerening2015heuristics,
  author       = {Florian Pommerening and Gabriele R{\"o}ger and Malte Helmert and Blai Bonet},
  title        = {Heuristics for {Cost-Optimal} Classical Planning based on Linear Programming},
  booktitle    = {Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)},
  pages        = {4303--4309},
  year         = {2015},
  address      = {Buenos Aires, Argentina},
  url          = {https://ijcai.org/proceedings/2015/0612.pdf},
  note         = {Sister Conferences Track}
}

@article{bonet2014belief,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Belief Tracking for Planning with Sensing: Width, Complexity and Approximations},
  journal      = {Journal of Artificial Intelligence Research},
  volume       = {50},
  pages        = {923--970},
  year         = {2014},
  doi          = {10.1613/jair.4475},
  url          = {https://www.jair.org/index.php/jair/article/view/10901}
}

@article{bonet2014recent,
  author       = {Blai Bonet and Patrik Haslum and Victor Khomenko and Sylvie Thi{\'e}baux and Walter Vogler},
  title        = {Recent Advances in Unfolding Technique},
  journal      = {Theoretical Computer Science},
  volume       = {551},
  pages        = {84--101},
  year         = {2014},
  publisher    = {Elsevier},
  doi          = {10.1016/j.tcs.2014.07.003}
}

@inproceedings{bonet2014flexible,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Flexible and Scalable Partially Observable Planning with Linear Translations},
  booktitle    = {Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI)},
  pages        = {2235--2241},
  year         = {2014},
  address      = {Qu{\'e}bec City, Canada},
  url          = {https://aaai.org/papers/9047-flexible-and-scalable-partially-observable-planning-with-linear-translations/}
}

@article{borges2014universal,
  author       = {Nerio Borges and Blai Bonet},
  title        = {Universal {First-Order} Logic is Superfluous for {NL}, P, {NP} and {CoNP}},
  journal      = {Logical Methods in Computer Science},
  volume       = {10},
  number       = {1:15},
  pages        = {1--18},
  year         = {2014},
  eprint       = {1401.8046},
  archiveprefix = {arXiv}
}

@inproceedings{pommerening2014lp,
  author       = {Florian Pommerening and Gabriele R{\"o}ger and Malte Helmert and Blai Bonet},
  title        = {{LP-based} Heuristics for Cost-optimal Planning},
  booktitle    = {Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {226--234},
  year         = {2014},
  address      = {Portsmouth, USA}
}

@inproceedings{bonet2014flow,
  author       = {Blai Bonet and Menkes van den Briel},
  title        = {Flow-based Heuristics for Optimal Planning: Landmarks and Merges},
  booktitle    = {Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {47--55},
  year         = {2014},
  address      = {Portsmouth, USA}
}

@inproceedings{bonet2013causal,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Causal Belief Decomposition for Planning with Sensing: Completeness and Practical Approximation},
  booktitle    = {Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI)},
  pages        = {2275--2281},
  year         = {2013},
  address      = {Beijing, China},
  eprint       = {1909.13778},
  archiveprefix = {arXiv}
}

@inproceedings{bonet2013admissible,
  author       = {Blai Bonet},
  title        = {An Admissible Heuristic for {SAS+} Planning Obtained from the State Equation},
  booktitle    = {Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI)},
  pages        = {2268--2274},
  year         = {2013},
  address      = {Beijing, China}
}

@inproceedings{porco2013automatic,
  author       = {Aldo Porco and Alejandro Machado and Blai Bonet},
  title        = {Automatic Reductions from {PH} into {STRIPS} or How to Generate Short Problems with Very Long Solutions},
  booktitle    = {Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {342--346},
  year         = {2013},
  address      = {Rome, Italy}
}

@inproceedings{bonet2012action,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Action Selection for {MDPs}: Anytime {AO*} vs. {UCT}},
  booktitle    = {Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI)},
  pages        = {1749--1755},
  year         = {2012},
  address      = {Toronto, Canada},
  eprint       = {1909.12104},
  archiveprefix = {arXiv},
  url          = {https://aaai.org/papers/8369-action-selection-for-mdps-anytime-ao-versus-uct/}
}

@inproceedings{bonet2012width,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Width and Complexity of Belief Tracking in Non-deterministic Conformant and Contingent Planning},
  booktitle    = {Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI)},
  pages        = {1756--1762},
  year         = {2012},
  address      = {Toronto, Canada},
  url          = {https://aaai.org/papers/8365-width-and-complexity-of-belief-tracking-in-non-deterministic-conformant-and-contingent-planning/}
}

@article{bonet2012syntactic,
  author       = {Blai Bonet and Nerio Borges},
  title        = {Syntactic Characterizations of Completeness using Duals and Operators},
  journal      = {Logic Journal of IGPL},
  volume       = {20},
  number       = {1},
  pages        = {266--282},
  year         = {2012},
  publisher    = {Oxford University Press},
  doi          = {10.1093/jigpal/jzr035}
}

@inproceedings{bonet2011planning,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Planning under Partial Observability by Classical Replanning: Theory and Experiments},
  booktitle    = {Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI)},
  pages        = {1936--1941},
  year         = {2011},
  address      = {Barcelona, Spain}
}

@inproceedings{porco2011automatic,
  author       = {Aldo Porco and Alejandro Machado and Blai Bonet},
  title        = {Automatic Polytime Reductions of {NP} Problems into a Fragment of {STRIPS}},
  booktitle    = {Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {178--185},
  year         = {2011},
  address      = {Freiburg, Germany}
}

@inproceedings{bonet2011abstraction,
  author       = {Blai Bonet},
  title        = {Abstraction Heuristics Extended with Counting Abstractions},
  booktitle    = {Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {311--314},
  year         = {2011},
  address      = {Freiburg, Germany}
}

@inproceedings{bonet2011complete,
  author       = {Blai Bonet and Julio Castillo},
  title        = {A Complete Algorithm for Generating Landmarks},
  booktitle    = {Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {315--318},
  year         = {2011},
  address      = {Freiburg, Germany}
}

@inproceedings{izquierdo2010stereo,
  author       = {Daniel Izquierdo and Mar{\'i}a Esther Vidal and Blai Bonet},
  title        = {{STEREO}: a {SaT-based} tool for an optimal solution of the {sERvice} {selEctiOn} problem},
  booktitle    = {Proceedings of the 9th International Semantic Web Conference (ISWC)},
  volume       = {658},
  series       = {CEUR Workshop Proceedings},
  pages        = {205--208},
  year         = {2010},
  address      = {Shanghai, China},
  publisher    = {CEUR-WS.org},
  url          = {https://nbn-resolving.org/urn:nbn:de:0074-658-5},
  note         = {Demo paper}
}

@inproceedings{izquierdo2010expressive,
  author       = {Daniel Izquierdo and Mar{\'i}a Esther Vidal and Blai Bonet},
  title        = {An Expressive and Efficient Solution to the Service Selection Problem},
  booktitle    = {Proceedings of the 9th International Semantic Web Conference (ISWC)},
  volume       = {6496},
  series       = {Lecture Notes in Computer Science},
  pages        = {386--401},
  year         = {2010},
  address      = {Shanghai, China},
  publisher    = {Springer}
}

@inproceedings{bonet2010strengthening,
  author       = {Blai Bonet and Malte Helmert},
  title        = {Strengthening Landmark Heuristics via Hitting Sets},
  booktitle    = {Proceedings of the 19th European Conference on Artificial Intelligence (ECAI)},
  pages        = {329--334},
  year         = {2010},
  address      = {Lisbon, Portugal}
}

@inproceedings{amato2010finite,
  author       = {Christopher Amato and Blai Bonet and Shlomo Zilberstein},
  title        = {{Finite-State} Controllers Based on {Mealy} Machines for Centralized and Decentralized {POMDPs}},
  booktitle    = {Proceedings of the 24th National Conference on Artificial Intelligence (AAAI)},
  pages        = {1052--1058},
  year         = {2010},
  address      = {Atlanta, GA},
  publisher    = {AAAI Press}
}

@inproceedings{bonet2010automatic,
  author       = {Blai Bonet and Hector Palacios and Hector Geffner},
  title        = {Automatic Derivation of {Finite-State} Machines for Behavior Control (Nectar Track)},
  booktitle    = {Proceedings of the 24th National Conference on Artificial Intelligence (AAAI)},
  pages        = {1656--1659},
  year         = {2010},
  address      = {Atlanta, GA},
  publisher    = {AAAI Press}
}

@article{bonet2010conformant,
  author       = {Blai Bonet},
  title        = {Conformant Plans and Beyond: Principles and Complexity},
  journal      = {Artificial Intelligence},
  volume       = {174},
  pages        = {245--269},
  year         = {2010},
  publisher    = {Elsevier},
  doi          = {10.1016/j.artint.2009.11.001}
}

@inproceedings{bonet2009automatic,
  author       = {Blai Bonet and Hector Palacios and Hector Geffner},
  title        = {Automatic Derivation of Memoryless Policies and {Finite-State} Controllers Using Classical Planners},
  booktitle    = {Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {34--41},
  year         = {2009},
  address      = {Thessaloniki, Greece}
}

@inproceedings{bonet2009deterministic,
  author       = {Blai Bonet},
  title        = {Deterministic {POMDPs} Revisited},
  booktitle    = {Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence (UAI)},
  pages        = {59--66},
  year         = {2009},
  address      = {Montreal, Canada},
  eprint       = {1205.2659},
  archiveprefix = {arXiv}
}

@inproceedings{bonet2009solving,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Solving {POMDPs}: {RTDP-Bel} vs. Point-based Algorithms},
  booktitle    = {Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI)},
  pages        = {1641--1646},
  year         = {2009},
  address      = {Pasadena, California},
  publisher    = {AAAI Press}
}

@article{bonet2008directed,
  author       = {Blai Bonet and Patrik Haslum and Sarah Hickmott and Sylvie Thi{\'e}baux},
  title        = {Directed Unfolding of {Petri} Nets},
  journal      = {Transactions on Petri Nets and Other Models of Concurrency},
  volume       = {I},
  pages        = {172--198},
  year         = {2008},
  doi          = {10.1007/978-3-540-89287-8_11},
  note         = {Springer LNCS 5100}
}

@article{bonet2008heuristics,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Heuristics for Planning with Penalties and Rewards Formulated in Logic and Computed through Circuits},
  journal      = {Artificial Intelligence},
  volume       = {172},
  pages        = {1579--1604},
  year         = {2008},
  publisher    = {Elsevier},
  doi          = {10.1016/j.artint.2008.03.004}
}

@inproceedings{bonet2008efficient,
  author       = {Blai Bonet},
  title        = {Efficient Algorithms to Rank and Unrank Permutations in Lexicographic Order},
  booktitle    = {Workshop on Search in Artificial Intelligence and Robotics at AAAI},
  year         = {2008}
}

@inproceedings{romero2008multiple,
  author       = {Cesar Romero and Julio Castillo and Blai Bonet},
  title        = {Multiple Symmetries in {Sliding-Tile} Puzzles: First Experiments},
  booktitle    = {Workshop on Search in Artificial Intelligence and Robotics at AAAI},
  year         = {2008}
}

@inproceedings{ramirez2007logical,
  author       = {Miquel Ramirez and Blai Bonet and Hector Geffner},
  title        = {Logical Encodings With No Time Indexes for Defining and Computing Admissible Heuristics for Planning},
  booktitle    = {Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges at ICAPS},
  year         = {2007}
}

@article{bonet2007speed,
  author       = {Blai Bonet},
  title        = {On the Speed of Convergence of Value Iteration on Stochastic {Shortest-Path} Problems},
  journal      = {Mathematics of Operations Research},
  volume       = {32},
  pages        = {365--373},
  year         = {2007},
  publisher    = {INFORMS}
}

@inproceedings{bonet2007directed,
  author       = {Blai Bonet and Patrik Haslum and Sarah Hickmott and Sylvie Thi{\'e}baux},
  title        = {Directed Unfolding of {Petri} Nets},
  booktitle    = {Workshop on Unfolding and Partial Order Techniques (UFO) in 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency},
  year         = {2007},
  address      = {Siedlce, Poland}
}

@inproceedings{edelkamp2007external,
  author       = {Stefan Edelkamp and Shahid Jabbar and Blai Bonet},
  title        = {External Memory Value Iteration},
  booktitle    = {Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {128--135},
  year         = {2007},
  address      = {Providence, USA}
}

@inproceedings{borges2007canonical,
  author       = {Nerio Borges and Blai Bonet},
  title        = {On Canonical Forms of Complete Problems via {First-Order} Projections},
  booktitle    = {Proceedings of the 9th International Workshop on Logic and Computational Complexity (LCC)},
  year         = {2007},
  address      = {Wroclaw, Poland},
  eprint       = {0706.3412},
  archiveprefix = {arXiv}
}

@inproceedings{haslum2007domain,
  author       = {Patrik Haslum and Adi Botea and Malte Helmert and Blai Bonet and Sven Koenig},
  title        = {{Domain-Independent} Construction of Pattern Database Heuristics for {Cost-Optimal} Planning},
  booktitle    = {Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI)},
  pages        = {1007--1012},
  year         = {2007},
  address      = {Vancouver, Canada},
  publisher    = {AAAI Press}
}

@inproceedings{arvelo2006compilation,
  author       = {Yolife Arvelo and Blai Bonet and Maria Esther Vidal},
  title        = {Compilation of {Query-Rewriting} Problems into Tractable Fragments of Propositional Logic},
  booktitle    = {Proceedings of the 21st National Conference on Artificial Intelligence (AAAI)},
  pages        = {225--230},
  year         = {2006},
  address      = {Boston, MA},
  publisher    = {AAAI Press}
}

@inproceedings{bonet2006heuristics,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Heuristics for Planning with Penalties and Rewards using Compiled Knowledge},
  booktitle    = {Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  pages        = {452--462},
  year         = {2006},
  address      = {Cumbria, UK},
  publisher    = {AAAI Press}
}

@inproceedings{bonet2006learning,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Learning {Depth-First} Search: A Unified Approach to Heuristic Search in Deterministic and {Non-Deterministic} Settings, and its application to {MDPs}},
  booktitle    = {Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {142--151},
  year         = {2006},
  address      = {Cumbria, UK},
  publisher    = {AAAI Press}
}

@inproceedings{bonet2006bounded,
  author       = {Blai Bonet},
  title        = {Bounded Branching and Modalities in {Non-Deterministic} Planning},
  booktitle    = {Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {42--51},
  year         = {2006},
  address      = {Cumbria, UK},
  publisher    = {AAAI Press}
}

@article{bonet2005mgpt,
  author       = {Blai Bonet and Hector Geffner},
  title        = {{mGPT}: A Probabilistic Planner Based on Heuristic Search},
  journal      = {Journal of Artificial Intelligence Research},
  volume       = {24},
  pages        = {933--944},
  year         = {2005}
}

@inproceedings{haslum2005new,
  author       = {Patrik Haslum and Blai Bonet and Hector Geffner},
  title        = {New Admissible Heuristics for {Domain-Independent} Planning},
  booktitle    = {Proceedings of the 20th National Conference on Artificial Intelligence (AAAI)},
  pages        = {1163--1168},
  year         = {2005},
  address      = {Pittsburgh, PA},
  publisher    = {AAAI Press}
}

@inproceedings{bonet2005algorithm,
  author       = {Blai Bonet and Hector Geffner},
  title        = {An Algorithm Better than {AO*}?},
  booktitle    = {Proceedings of the 20th National Conference on Artificial Intelligence (AAAI)},
  pages        = {1343--1348},
  year         = {2005},
  address      = {Pittsburgh, PA},
  publisher    = {AAAI Press}
}

@techreport{bonet2005learning,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Learning in {Depth-First} Search: A Unified Approach to Heuristic Search in Deterministic, {Non-Deterministic}, Probabilistic, and Game Tree Settings},
  year         = {2005},
  institution  = {Universidad Sim{\'o}n Bol{\'i}var}
}

@inproceedings{palacios2005pruning,
  author       = {Hector Palacios and Blai Bonet and Adnan Darwiche and Hector Geffner},
  title        = {Pruning Conformant Plans by Counting Models on Compiled {d-DNNF} Representations},
  booktitle    = {Proceedings of the 15th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {141--150},
  year         = {2005},
  address      = {Monterey, California},
  publisher    = {AAAI Press}
}

@inproceedings{bonet2004mgpt,
  author       = {Blai Bonet and Hector Geffner},
  title        = {{mGPT}: A Probabilistic Planner based on Heuristic Search},
  booktitle    = {1st International Probabilistic-Planning Competition in 14th International Conference on Automated Planning and Scheduling (ICAPS)},
  year         = {2004},
  address      = {Banff, Canada}
}

@inproceedings{bonet2003faster,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback},
  booktitle    = {Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI)},
  pages        = {1233--1238},
  year         = {2003},
  address      = {Acapulco, Mexico},
  publisher    = {Morgan Kaufmann}
}

@inproceedings{bonet2003labeled,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Labeled {RTDP}: Improving the Convergence of {Real-Time} Dynamic Programming},
  booktitle    = {Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {12--21},
  year         = {2003},
  address      = {Trento, Italy},
  publisher    = {AAAI Press}
}

@inproceedings{bonet2003gpt,
  author       = {Blai Bonet and Sylvie Thi{\'e}baux},
  title        = {{GPT} meets {PSR}},
  booktitle    = {Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS)},
  pages        = {102--111},
  year         = {2003},
  address      = {Trento, Italy},
  publisher    = {AAAI Press}
}

@inproceedings{bonet2002qualitative,
  author       = {Blai Bonet and Judea Pearl},
  title        = {Qualitative {MDPs} and {POMDPs}: An {Order-Of-Magnitude} Approach},
  booktitle    = {Proceedings of the 18th Conference on Uncertainty in Artificial Intelligence (UAI)},
  pages        = {61--68},
  year         = {2002},
  address      = {Edmonton, Canada},
  publisher    = {Morgan Kaufmann},
  eprint       = {1301.0557},
  archiveprefix = {arXiv}
}

@techreport{bonet2002solving,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Solving Stochastic {Shortest-Path} Problems with {RTDP}},
  year         = {2002},
  institution  = {Universidad Sim{\'o}n Bol{\'i}var}
}

@inproceedings{bonet2002epsilon,
  author       = {Blai Bonet},
  title        = {An {$\epsilon$-Optimal} {Grid-Based} Algorithm for Partially Observable {Markov} Decision Processes},
  booktitle    = {Proceedings of the 19th International Conference on Machine Learning (ICML)},
  pages        = {51--58},
  year         = {2002},
  address      = {Sydney, Australia},
  publisher    = {Morgan Kaufmann}
}

@inproceedings{bonet2001instrumentality,
  author       = {Blai Bonet},
  title        = {Instrumentality Tests Revisited},
  booktitle    = {Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence (UAI)},
  pages        = {48--55},
  year         = {2001},
  address      = {Seattle, WA},
  publisher    = {Morgan Kaufmann},
  eprint       = {1301.2258},
  archiveprefix = {arXiv}
}

@inproceedings{bonet2001calculus,
  author       = {Blai Bonet},
  title        = {A Calculus for Causal Relevance},
  booktitle    = {Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence (UAI)},
  pages        = {40--47},
  year         = {2001},
  address      = {Seattle, WA},
  publisher    = {Morgan Kaufmann},
  eprint       = {1301.2257},
  archiveprefix = {arXiv}
}

@inproceedings{bonet2001gpt,
  author       = {Blai Bonet and Hector Geffner},
  title        = {{GPT}: A Tool for Planning with Uncertainty and Partial Information},
  booktitle    = {Workshop on Planning with Uncertainty and Partial Information, International Joint Conference on Artificial Intelligence (IJCAI)},
  pages        = {82--87},
  year         = {2001},
  address      = {Seattle, WA}
}

@article{bonet2001heuristic,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Heuristic Search Planner Ver. {2.0}},
  journal      = {AI Magazine},
  volume       = {22},
  number       = {3},
  pages        = {77--80},
  year         = {2001}
}

@article{bonet2001planning,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Planning As Heuristic Search},
  journal      = {Artificial Intelligence},
  volume       = {129},
  pages        = {5--33},
  year         = {2001},
  publisher    = {Elsevier}
}

@article{bonet2001planninga,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Planning and Control in Artificial Intelligence: A Unifying Perspective},
  journal      = {Applied Intelligence},
  volume       = {14},
  pages        = {237--252},
  year         = {2001},
  publisher    = {Kluwer}
}

@inproceedings{bonet2000planning,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Planning with Incomplete Information as Heuristic Search in Belief Space},
  booktitle    = {Proceedings of the 5th International Conference on AI Planning and Scheduling (AIPS)},
  pages        = {52--61},
  year         = {2000},
  address      = {Breckenridge, CO},
  publisher    = {AAAI Press}
}

@article{long2000aips,
  author       = {D. Long and H. Kautz and B. Selman and B. Bonet and H. Geffner and J. Koehler and M. Brenner and J. Hoffmann and F. Rittinger and C. Anderson and D. Weld and D. Smith and M. Fox},
  title        = {The {AIPS-98} Planning Competition},
  journal      = {AI Magazine},
  volume       = {21},
  number       = {2},
  pages        = {13--33},
  year         = {2000}
}

@inproceedings{bonet1999planning,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Planning as Heuristic Search: New Results},
  booktitle    = {Proceedings of the 5th European Conference on Planning (ECP)},
  volume       = {1809},
  series       = {Lecture Notes in Computer Science},
  pages        = {359--371},
  year         = {1999},
  address      = {Durham, UK},
  publisher    = {Springer}
}

@misc{bonet1998hsp,
  author       = {Blai Bonet and Hector Geffner},
  title        = {{HSP}: Heuristic Search Planner},
  year         = {1998},
  howpublished = {Planner description, AIPS-98 Planning Competition, Pittsburgh}
}

@inproceedings{geffner1998high,
  author       = {Hector Geffner and Blai Bonet},
  title        = {{High-Level} Planning and Control with Incomplete Information Using {POMDPs}},
  booktitle    = {Proceedings of the Fall AAAI Symposium on Cognitive Robotics},
  year         = {1998},
  address      = {Orlando, FL}
}

@inproceedings{geffner1998solving,
  author       = {Hector Geffner and Blai Bonet},
  title        = {Solving Large {POMDPs} by Real Time Dynamic Programming},
  booktitle    = {Proceedings of the Fall AAAI Symposium on POMDPS},
  year         = {1998},
  address      = {Orlando, FL}
}

@inproceedings{bonet1998learning,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Learning Sorting and Decision Trees with {POMDPs}},
  booktitle    = {Proceedings of the 15th International Conference on Machine Learning (ICML)},
  pages        = {73--81},
  year         = {1998},
  address      = {Madison, WI},
  publisher    = {Morgan Kaufmann}
}

@inproceedings{bonet1997fast,
  author       = {Blai Bonet and G{\'a}bor Loerincs and Hector Geffner},
  title        = {A Fast and Robust Action Selection Mechanism for Planning},
  booktitle    = {Proceedings of the 14th National Conference on Artificial Intelligence (AAAI)},
  pages        = {714--719},
  year         = {1997},
  address      = {Providence, RI},
  publisher    = {AAAI Press}
}

@inproceedings{bonet1996arguing,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Arguing for Decisions: A Qualitative Model of Decision Making},
  booktitle    = {Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence (UAI)},
  pages        = {98--105},
  year         = {1996},
  address      = {Portland, OR},
  publisher    = {Morgan Kaufmann},
  eprint       = {1302.3560},
  archiveprefix = {arXiv}
}

@inproceedings{bonet1995causal,
  author       = {Blai Bonet and Hector Geffner},
  title        = {Causal Reasoning with Domain Constraints},
  booktitle    = {Proceedings of the XXI Conference Latinoamericana de Informatica},
  pages        = {767--778},
  year         = {1995},
  address      = {Canela, Brasil}
}