Artificial intelligence · automated planning · learning

Blai Bonet

I study how intelligent agents decide what to do. My work spans automated planning, heuristic search, planning under uncertainty, and, more recently, learning: how to learn general policies and symbolic representations from data so that a single policy solves every instance of a planning domain, with guarantees about when it works.

Retired Professor of Computer Science, Universidad Simón Bolívar, Caracas Former researcher, DTIC, Universitat Pompeu Fabra, Barcelona
Blai Bonet giving a talk at a conference

Research

Four lines of work, most recent first. Each lists a few representative papers; the full list is below.

2015 – today

Generalized planning and learning

Policies that solve whole families of problems, not one instance: learning the features they are built on and the first-order representations they act over, characterizing them through width and sketches, and learning them with graph neural networks and transformers.

1997 – 2017

Heuristic search for classical planning

Domain-independent heuristics computed automatically from the problem description: from the additive and max heuristics of HSP to pattern databases, landmarks, and heuristics obtained from linear programs and network flows.

1998 – 2022

Planning under uncertainty

MDPs, POMDPs, and non-deterministic and partially observable planning: heuristic-search algorithms with convergence guarantees, belief tracking and its complexity, finite-state controllers, and FOND planning with fairness assumptions.

Throughout

Logic, complexity and causality

Descriptive complexity and syntactic characterizations of complete problems, reductions from hard problems into planning, Petri-net unfolding, and causal inference, from instrumental variables to causal representation learning.

Service

Honours
Editorial
  • Associate Editor, Artificial Intelligence 2011–2020
  • Editorial Board, Artificial Intelligence 2009–2011
  • Associate Editor, Journal of Artificial Intelligence Research 2012–2019
  • Editorial Board, Journal of Artificial Intelligence Research 2007–2010
  • Associate Editor, AI Access Books 2013–2017
  • Associate Editor, Bulletin of Computational Applied Mathematics (CompAMa)
Governance
  • AIJ Award Committee 2024–present
  • AAAI Executive Council 2016–2019
  • AAAI Conference Committee 2015–2019
  • ICAPS Executive Council 2012–2018
Conferences
  • Program Co-Chair, AAAI-15, with Sven Koenig 2015
  • Conference Co-Chair, ICAPS-12, with José Reinaldo Silva, Brian Williams and Lee McCluskey 2012
  • Workshops Co-Chair, ICAPS-11, with Amedeo Cesta 2011
  • Tutorial Chair, ICAPS-08 2008
  • Co-organizer, ICAPS-07 workshop on Heuristics for Domain-independent Planning 2007
  • Co-organizer, 5th International Planning Competition, ICAPS-06 2006
Reviewing
  • Program committees of IJCAI, AAAI, ECAI, ICAPS, UAI, SoCS and others
  • JAIR, Artificial Intelligence, and others
University
  • Head of the Computer Science Department, Universidad Simón Bolívar 2009–2011

Publications

Also on Google Scholar and DBLP. All entries in one BibTeX file: bonet.bib.

Awarded papers

YearAwardPaperAuthors
2024ICAPS Influential PaperLP-based Heuristics for Cost-optimal PlanningICAPS 2014Pommerening, Röger, Helmert, Bonet
2022ICAPS Best PaperLearning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and LimitsStåhlberg, Bonet, Geffner
2021ICAPS Best PaperFlexible FOND Planning with Explicit Fairness AssumptionsRodriguez, Bonet, Sardina, Geffner
2014ICAPS Influential PaperLabeled RTDP: Improving the Convergence of Real-Time Dynamic ProgrammingICAPS 2003Bonet, Geffner
2014ICAPS Outstanding PaperLP-based Heuristics for Cost-optimal PlanningPommerening, Röger, Helmert, Bonet
2010ECAI Best PaperStrengthening Landmark Heuristics via Hitting SetsBonet, Helmert
2009ICAPS Influential PaperPlanning as Heuristic Search: New ResultsECP 1999Bonet, Geffner
2006ICAPS Best Research PaperLearning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and its Application to MDPsBonet, Geffner
2001UAI Runner-up Student PaperInstrumentality Tests RevisitedBonet

Book

Book chapter and edited volumes

Papers

2026

  1. Learning How to Search for Plans with Exponentially Less Space

    Dominik Drexler, Simon Ståhlberg, Markus Fritzsche, and Blai Bonet.

    arXiv preprint arXiv:2610.10954. 2026.

    preprint arXiv
    bibtex
    @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}
}

  2. Recurrent Graph Neural Networks with Set-Based Aggregation

    Blai Bonet.

    arXiv preprint arXiv:2609.15932. 2026.

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

2025

  1. Learning General Policies from Examples

    Blai Bonet and Hector Geffner.

    Proc. 22nd Int. Conf. on Principles of Knowledge Representation and Reasoning (KR). Melbourne, Australia. 2025. Pages 740-750.

    conference pdf kr arXiv
    bibtex
    @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},
  }

  2. Learning More Expressive General Policies for Classical Planning Domains

    Simon Ståhlberg, Blai Bonet, and Hector Geffner.

    Proc. 39th Annual AAAI Conf. on Artificial Intelligence (AAAI). Philadelphia, USA. 2025. Pages 26697-26706.

    conference pdf aaai slides poster
    bibtex
    @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}
}

2024

  1. Towards Principled Graph Transformers

    Luis Müller, Daniel Kusuma, Blai Bonet, and Christopher Morris.

    Proc. 38th Annual Conf. on Neural Information Processing Systems (NeurIPS). Vancouver, Canada. 2024. Pages 126767-126801.

    conference pdf arXiv neurips openreview
    bibtex
    @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}
}

  2. Symmetries and Expressive Requirements for Learning General Policies

    Dominik Drexler, Simon Ståhlberg, Blai Bonet, and Hector Geffner.

    Proc. 21st Int. Conf. on Principles of Knowledge Representation and Reasoning (KR). Hanoi, Vietnam. 2024. Pages 845-855.

    conference arXiv kr
    bibtex
    @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}
}

  3. On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies

    Blai Bonet, Dominik Drexler, and Hector Geffner.

    Proc. 34th Int. Conf. on Automated Planning and Scheduling (ICAPS). Banff, Canada. 2024. Pages 31-39.

    conference arXiv aaai
    bibtex
    @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}
}

  4. General Policies, Subgoal Structure, and Planning Width

    Blai Bonet and Hector Geffner.

    Journal of Artificial Intelligence Research (JAIR) 80 (2024) 475-516.

    journal jair arXiv
    bibtex
    @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}
}

2023

  1. General and Reusable Indexical Policies and Sketches

    Blai Bonet, Dominik Drexler, and Hector Geffner.

    Proc. 7th Workshop on Generalization in Planning (GenPlan). NeurIPS. New Orleans, USA. 2023.

    workshop / other
    bibtex
    @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}
}

  2. Learning General Policies with Policy Gradient Methods

    Simon Ståhlberg, Blai Bonet, and Hector Geffner.

    Proc. 20th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR). Rhodes, Greece. 2023. Pages 647-657.
    Proc. 4th ICAPS Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL). Czech Republic. 2023.

    conference pdf kr
    bibtex
    @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}
}

2022

  1. Language-Based Causal Representation Learning

    Blai Bonet and Hector Geffner.

    Preprint.

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

  2. FOND Planning with Explicit Fairness Assumptions

    Ivan D. Rodriguez, Blai Bonet, Javier Romero, and Hector Geffner.

    Journal of Artificial Intelligence Research (JAIR) 74 (2022) 887-916.

    journal pdf jair
    bibtex
    @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}
}

  3. Learning Generalized Policies Without Supervision Using GNNs

    Simon Ståhlberg, Blai Bonet, and Hector Geffner.

    Proc. 19th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR). Haifa, Israel. 2022. Pages 474-483.
    Proc. 3rd ICAPS Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL). Singapore (Virtual). 2022.

    conference pdf kr prl arXiv slides
    bibtex
    @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}
}

  4. Learning First-Order Symbolic Planning Representations That Are Grounded

    Andres Occhipinti, Blai Bonet, and Hector Geffner.

    Proc. 3rd ICAPS Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL). Singapore (Virtual). 2022.

    workshop / other arXiv prl
    bibtex
    @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}
}

  5. Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits

    Simon Ståhlberg, Blai Bonet, and Hector Geffner.

    Proc. 32nd Int. Conf. on Automated Planning and Scheduling (ICAPS). Singapore (Virtual). 2022. Pages 629-637.

    conference Best Paper Award pdf aaai arXiv
    bibtex
    @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}
}

2021

  1. Learning First-Order Representations for Planning from Black-Box States: New Results

    Ivan D. Rodriguez, Blai Bonet, Javier Romero, and Hector Geffner.

    Proc. 18th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR). Hanoi, Vietnam. 2021. Pages 539-548.

    conference pdf kr arXiv
    bibtex
    @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}
}

  2. Flexible FOND Planning with Explicit Fairness Assumptions

    Ivan D. Rodriguez, Blai Bonet, Sebastian Sardina, and Hector Geffner.

    Proc. 31st Int. Conf. on Automated Planning and Scheduling (ICAPS). Guangzhou, China. 2021. Pages 290-298.

    conference Best Paper Award pdf aaai arXiv long
    bibtex
    @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}
}

  3. Learning General Planning Policies from Small Examples Without Supervision

    Guillem Francès, Blai Bonet, and Hector Geffner.

    Proc. 35th AAAI Conf. on Artificial Intelligence (AAAI). Vancouver, Canada. 2021. Pages 11801-11808.

    conference pdf aaai arXiv long
    bibtex
    @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}
}

  4. General Policies, Representations, and Planning Width

    Blai Bonet and Hector Geffner.

    Proc. 35th AAAI Conf. on Artificial Intelligence (AAAI). Vancouver, Canada. 2021. Pages 11764-11773.

    conference pdf aaai arXiv long poster
    bibtex
    @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}
}

2020

  1. High-Level Programming via Generalized Planning and LTL Synthesis

    Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, and Sasha Rubin.

    Proc. 17th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR). Rhodes, Greece. 2020. Pages 152-161.

    conference pdf kr
    bibtex
    @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}
}

  2. Qualitative Numeric Planning: Reductions and Complexity

    Blai Bonet and Hector Geffner.

    Journal of Artificial Intelligence Research (JAIR) 69 (2020) 923-961.

    journal pdf jair arXiv
    bibtex
    @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}
}

  3. Learning First-Order Symbolic Representations for Planning from the Structure of the State Space

    Blai Bonet and Hector Geffner.

    Proc. 24th European Conf. on Artificial Intelligence (ECAI). Santiago de Compostela, Spain. 2020. Pages 2322-2329.

    conference pdf ecai arXiv
    bibtex
    @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}
}

2019

  1. Guarantees for Sound Abstractions for Generalized Planning

    Blai Bonet, Raquel Fuentetaja, Yolanda E-Martín, and Daniel Borrajo.

    Proc. 28th Int. Joint Conf. on Artificial Intelligence (IJCAI). Macau, China. 2019. Pages 1566-1573.

    conference pdf ijcai arXiv
    bibtex
    @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}
}

  2. Learning Features and Abstract Actions for Computing Generalized Plans

    Blai Bonet, Guillem Francès, and Hector Geffner.

    Proc. 33rd AAAI Conf. on Artificial Intelligence (AAAI). Hawaii, USA. 2019. Pages 2703-2710.

    conference pdf aaai arXiv slides
    bibtex
    @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}
}

2018

  1. Features, Projections, and Representation Change for Generalized Planning

    Blai Bonet and Hector Geffner.

    Proc. 27th Int. Joint Conf. on Artificial Intelligence (IJCAI). Stockholm, Sweden. 2018. Pages 4667-4673.

    conference pdf ijcai arXiv
    bibtex
    @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}
}

  2. Planning with Pixels in (Almost) Real Time

    Wilmer Bandres, Blai Bonet, and Hector Geffner.

    Proc. 32nd AAAI Conf. on Artificial Intelligence (AAAI). New Orleans, USA. 2018. Pages 6102-6109.

    conference pdf aaai arXiv slides
    bibtex
    @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}
}

2017

  1. Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints

    Blai Bonet, Giuseppe De Giacomo, Hector Geffner and Sasha Rubin.

    Proc. 26th Int. Joint Conf. on Artificial Intelligence (IJCAI). Melbourne, Australia. 2017. Pages 873-879.
    Also accepted in Workshop on Generalized Planning at ICAPS-17.

    conference pdf ijcai arXiv ICAPS17 slides
    bibtex
    @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}
}

  2. Abstraction Heuristics, Cost Partitioning and Network Flows

    Florian Pommerening, Malte Helmert and Blai Bonet.

    Proc. 27th Int. Conf. on Automated Planning and Scheduling (ICAPS). Pittsburgh, USA. 2017. Pages 228-232.

    conference pdf aaai
    bibtex
    @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/}
}

  3. Completeness of Online Planners for Partially Observable Deterministic Tasks

    Blai Bonet, Gabriel Formica, Melecio Ponte.

    Proc. 27th Int. Conf. on Automated Planning and Scheduling (ICAPS). Pittsburgh, USA. 2017. Pages 38-46.

    conference pdf aaai slides
    bibtex
    @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/}
}

  4. Higher-Dimensional Potential Heuristics for Optimal Classical Planning

    Florian Pommerening, Malte Helmert and Blai Bonet.

    Proc. 31st AAAI Conf. on Artificial Intelligence (AAAI). San Francisco, USA. 2017. Pages 3636-3643.

    conference pdf aaai arXiv slides
    bibtex
    @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}
}

2016

  1. Factored Probabilistic Belief Tracking

    Blai Bonet and Hector Geffner.

    Proc. 25th Int. Joint Conf. on Artificial Intelligence (IJCAI). New York, USA. 2016. Pages 3045-3052.

    conference pdf ijcai arXiv slides
    bibtex
    @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}
}

2015

  1. Policies that Generalize: Solving Many Planning Problems with the Same Policy

    Blai Bonet and Hector Geffner.

    Proc. 24th Int. Joint Conf. on Artificial Intelligence (IJCAI). Buenos Aires, Argentina. 2015. Pages 2798-2804.

    conference pdf ijcai slides
    bibtex
    @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}
}

  2. Heuristics for Cost-Optimal Classical Planning based on Linear Programming

    Florian Pommerening, Gabriele Röger, Malte Helmert and Blai Bonet.

    IJCAI 2015 Sister Conferences Track
    Proc. 24th Int. Joint Conf. on Artificial Intelligence (IJCAI). Buenos Aires, Argentina. 2015. Pages 4303-4309.

    conference pdf ijcai slides
    bibtex
    @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}
}

2014

  1. Belief Tracking for Planning with Sensing: Width, Complexity and Approximations

    Blai Bonet and Hector Geffner.

    Journal of Artificial Intelligence Research 50 (2014). Pages 923-970.

    journal jair pdf
    bibtex
    @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}
}

  2. Recent Advances in Unfolding Technique

    Blai Bonet, Patrik Haslum, Victor Khomenko, Sylvie Thiébaux and Walter Vogler.

    Theoretical Computer Science 551 (2014). Elsevier. Pages 84-101.

    journal doi
    bibtex
    @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}
}

  3. Flexible and Scalable Partially Observable Planning with Linear Translations

    Blai Bonet and Hector Geffner.

    Proc. 28th AAAI Conf. on Artificial Intelligence (AAAI). Québec City, Canada. 2014. Pages 2235-2241.

    conference pdf poster AAAI
    bibtex
    @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/}
}

  4. Universal First-Order Logic is Superfluous for NL, P, NP and CoNP

    Nerio Borges and Blai Bonet.

    Logical Methods in Computer Science 10(1:15) 2014. Pages 1-18.

    journal arxiv
    bibtex
    @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}
}

  5. LP-based Heuristics for Cost-optimal Planning

    Florian Pommerening, Gabriele Röger, Malte Helmert and Blai Bonet.

    Proc. 24th Int. Conf. on Automated Planning and Scheduling (ICAPS). Portsmouth, USA. 2014. Pages 226-234.

    conference Outstanding Paper Award ICAPS-24 Influential Paper Award pdf slides
    bibtex
    @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}
}

  6. Flow-based Heuristics for Optimal Planning: Landmarks and Merges

    Blai Bonet and Menkes van den Briel.

    Proc. 24th Int. Conf. on Automated Planning and Scheduling (ICAPS). Portsmouth, USA. 2014. Pages 47-55.

    conference pdf slides
    bibtex
    @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}
}

2013

  1. Causal Belief Decomposition for Planning with Sensing: Completeness and Practical Approximation

    Blai Bonet and Hector Geffner.

    Proc. 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI). Beijing, China. 2013. Pages 2275-2281.

    conference pdf arXiv slides
    bibtex
    @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}
}

  2. An Admissible Heuristic for SAS+ Planning Obtained from the State Equation

    Blai Bonet.

    Proc. 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI). Beijing, China. 2013. Pages 2268-2274.
    Also accepted in the ICAPS-13 Workshop Heuristics and Search for Domain-independent Planning (HSDIP). Pages 62-68. (slides)

    conference pdf slides
    bibtex
    @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}
}

  3. Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions

    Aldo Porco, Alejandro Machado and Blai Bonet.

    Proc. 23rd Int. Conf. on Automated Planning and Scheduling (ICAPS). Rome, Italy. 2013. Pages 342-346.

    conference pdf slides
    bibtex
    @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}
}

2012

  1. Action Selection for MDPs: Anytime AO* vs. UCT

    Blai Bonet and Hector Geffner.

    Proc. 26th AAAI Conf. on Artificial Intelligence (AAAI). Toronto, Canada. 2012. Pages 1749-1755.

    conference pdf arXiv slides AAAI
    bibtex
    @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/}
}

  2. Width and Complexity of Belief Tracking in Non-deterministic Conformant and Contingent Planning

    Blai Bonet and Hector Geffner.

    Proc. 26th AAAI Conf. on Artificial Intelligence (AAAI). Toronto, Canada. 2012. Pages 1756-1762.

    conference pdf slides AAAI
    bibtex
    @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/}
}

  3. Syntactic Characterizations of Completeness using Duals and Operators

    Blai Bonet and Nerio Borges.

    Logic Journal of IGPL 20(1) 2012. Oxford University Press. Pages 266-282.

    journal doi
    bibtex
    @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}
}

2011

  1. Planning under Partial Observability by Classical Replanning: Theory and Experiments

    Blai Bonet and Hector Geffner.

    Proc. 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI). Barcelona, Spain. 2011. Pages 1936-1941.

    conference pdf poster
    bibtex
    @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}
}

  2. Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS

    Aldo Porco, Alejandro Machado and Blai Bonet.

    Proc. 21st Int. Conf. on Automated Planning and Scheduling (ICAPS). Freiburg, Germany. 2011. Pages 178-185.

    conference pdf slides
    bibtex
    @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}
}

  3. Abstraction Heuristics Extended with Counting Abstractions

    Blai Bonet.

    Proc. 21st Int. Conf. on Automated Planning and Scheduling (ICAPS). Freiburg, Germany. 2011. Pages 311-314.

    conference pdf slides
    bibtex
    @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}
}

  4. A Complete Algorithm for Generating Landmarks

    Blai Bonet and Julio Castillo.

    Proc. 21st Int. Conf. on Automated Planning and Scheduling (ICAPS). Freiburg, Germany. 2011. Pages 315-318.

    conference pdf slides
    bibtex
    @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}
}

2010

  1. STEREO: a SaT-based tool for an optimal solution of the sERvice selEctiOn problem

    Daniel Izquierdo, María Esther Vidal and Blai Bonet.

    Demo paper in 9th Int. Semantic Web Conf. (ISWC). Shanghai, China. 2010. CEUR-WS.org, Vol-658. Pages 205-208.

    conference urn
    bibtex
    @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}
}

  2. An Expressive and Efficient Solution to the Service Selection Problem

    Daniel Izquierdo, María Esther Vidal and Blai Bonet.

    Proc. 9th Int. Semantic Web Conf. (ISWC). Shanghai, China. 2010. Springer LNCS 6496. Pages 386-401.

    conference pdf
    bibtex
    @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}
}

  3. Strengthening Landmark Heuristics via Hitting Sets

    Blai Bonet and Malte Helmert.

    Proc. 19th European Conf. on Artificial Intelligence (ECAI). Lisbon, Portugal. 2010. Pages 329-334.
    Technical Report (Proofs) (Uni-Freiburg) (pdf)

    conference Best Paper Award pdf slides
    bibtex
    @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}
}

  4. Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs

    Christopher Amato, Blai Bonet and Shlomo Zilberstein.

    Proc. 24th National Conf. on Artificial Intelligence (AAAI). Atlanta, GA. 2010. AAAI Press. Pages 1052-1058.

    conference pdf
    bibtex
    @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}
}

  5. Automatic Derivation of Finite-State Machines for Behavior Control (Nectar Track)

    Blai Bonet, Hector Palacios and Hector Geffner.

    Proc. 24th National Conf. on Artificial Intelligence (AAAI). Atlanta, GA. 2010. AAAI Press. Pages 1656-1659.

    conference pdf
    bibtex
    @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}
}

  6. Conformant Plans and Beyond: Principles and Complexity

    Blai Bonet.

    Artificial Intelligence 174 (2010). Elsevier. Pages 245-269.

    journal doi
    bibtex
    @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}
}

2009

  1. Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners

    Blai Bonet, Hector Palacios and Hector Geffner.

    Proc. 19th Int. Conf. on Automated Planning and Scheduling (ICAPS). Thessaloniki, Greece. 2009. Pages 34-41.

    conference pdf
    bibtex
    @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}
}

  2. Deterministic POMDPs Revisited

    Blai Bonet.

    Proc. 25th Conf. on Uncertainty in Artificial Intelligence (UAI). Montreal, Canada. 2009. Pages 59-66.

    conference pdf arXiv
    bibtex
    @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}
}

  3. Solving POMDPs: RTDP-Bel vs. Point-based Algorithms

    Blai Bonet and Hector Geffner.

    Proc. 21st Int. Joint Conf. on Artificial Intelligence (IJCAI). Pasadena, California. 2009. AAAI Press. Pages 1641-1646.

    conference pdf
    bibtex
    @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}
}

2008

  1. Directed Unfolding of Petri Nets

    Blai Bonet, Patrik Haslum, Sarah Hickmott and Sylvie Thiébaux.

    Transactions on Petri Nets and Other Models of Concurrency I. 2008. Springer LNCS 5100. Pages 172-198.

    journal pdf doi
    bibtex
    @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}
}

  2. Heuristics for Planning with Penalties and Rewards Formulated in Logic and Computed through Circuits

    Blai Bonet and Hector Geffner.

    Artificial Intelligence 172 (2008). Elsevier. Pages 1579-1604.

    journal doi
    bibtex
    @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}
}

  3. Efficient Algorithms to Rank and Unrank Permutations in Lexicographic Order

    Blai Bonet.

    Workshop on Search in Artificial Intelligence and Robotics at AAAI 2008.

    workshop / other pdf poster
    bibtex
    @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}
}

  4. Multiple Symmetries in Sliding-Tile Puzzles: First Experiments

    Cesar Romero, Julio Castillo, Blai Bonet.

    Workshop on Search in Artificial Intelligence and Robotics at AAAI 2008.

    workshop / other pdf
    bibtex
    @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}
}

2007

  1. Logical Encodings With No Time Indexes for Defining and Computing Admissible Heuristics for Planning

    Miquel Ramirez, Blai Bonet and Hector Geffner.

    Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges at ICAPS 2007.

    workshop / other pdf
    bibtex
    @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}
}

  2. On the Speed of Convergence of Value Iteration on Stochastic Shortest-Path Problems

    Blai Bonet.

    Mathematics of Operations Research 32 (2007). INFORMS. Pages 365-373.

    journal for pdf send email
    bibtex
    @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}
}

  3. Directed Unfolding of Petri Nets

    Blai Bonet, Patrik Haslum, Sarah Hickmott and Sylvie Thiébaux.

    Workshop on Unfolding and Partial Order Techniques (UFO) in 28th Int. Conf. on Application and Theory of Petri Nets and Other Models of Concurrency. Siedlce, Poland. 2007.

    workshop / other pdf
    bibtex
    @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}
}

  4. External Memory Value Iteration

    Stefan Edelkamp, Shahid Jabbar and Blai Bonet.

    Proc. 17th Int. Conf. on Automated Planning and Scheduling (ICAPS). Providence, USA. 2007. Pages 128-135.
    Also as Technical Report 813, University of Dortmund, April 2007. (pdf)

    conference pdf
    bibtex
    @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}
}

  5. On Canonical Forms of Complete Problems via First-Order Projections

    Nerio Borges and Blai Bonet.

    Proc. 9th Int. Workshop on Logic and Computational Complexity (LCC). Wroclaw, Poland. 2007.

    workshop / other arXiv
    bibtex
    @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}
}

  6. Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning

    Patrik Haslum, Adi Botea, Malte Helmert, Blai Bonet and Sven Koenig.

    Proc. 22nd National Conf. on Artificial Intelligence (AAAI). Vancouver, Canada. 2007. AAAI Press. Pages 1007-1012.

    conference pdf
    bibtex
    @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}
}

2006

  1. Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic

    Yolife Arvelo, Blai Bonet and Maria Esther Vidal.

    Proc. 21st National Conf. on Artificial Intelligence (AAAI). Boston, MA. 2006. AAAI Press. Pages 225-230.

    conference pdf slides
    bibtex
    @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}
}

  2. Heuristics for Planning with Penalties and Rewards using Compiled Knowledge

    Blai Bonet and Hector Geffner.

    Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR). Cumbria, UK. 2006. AAAI Press. Pages 452-462.

    conference pdf slides
    bibtex
    @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}
}

  3. Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and its application to MDPs

    Blai Bonet and Hector Geffner.

    Proc. 16th Int. Conf. on Automated Planning and Scheduling (ICAPS). Cumbria, UK. 2006. AAAI Press. Pages 142-151.

    conference Best Research-Paper Award pdf slides
    bibtex
    @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}
}

  4. Bounded Branching and Modalities in Non-Deterministic Planning

    Blai Bonet.

    Proc. 16th Int. Conf. on Automated Planning and Scheduling (ICAPS). Cumbria, UK. 2006. AAAI Press. Pages 42-51.
    Invited Talk at Symposium AIM-06, Fort Lauderdale, Florida.

    conference pdf slides UPF-slides
    bibtex
    @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}
}

2005

  1. mGPT: A Probabilistic Planner Based on Heuristic Search

    Blai Bonet and Hector Geffner.

    Journal of Artificial Intelligence Research 24 (2005). Pages 933-944.

    journal pdf
    bibtex
    @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}
}

  2. New Admissible Heuristics for Domain-Independent Planning

    Patrik Haslum, Blai Bonet and Hector Geffner.

    Proc. 20th National Conf. on Artificial Intelligence (AAAI). Pittsburgh, PA. 2005. AAAI Press. Pages 1163-1168.

    conference pdf
    bibtex
    @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}
}

  3. An Algorithm Better than AO*?

    Blai Bonet and Hector Geffner.

    Proc. 20th National Conf. on Artificial Intelligence (AAAI). Pittsburgh, PA. 2005. AAAI Press. Pages 1343-1348.
    Proc. IJCAI-05 Workshop on Planning and Learning in A Priori Unknown or Dynamic Domains. Edinburgh, UK. 2005. Morgan Kaufmann. Pages 83-89.

    conference pdf Poster
    bibtex
    @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}
}

  4. Learning in Depth-First Search: A Unified Approach to Heuristic Search in Deterministic, Non-Deterministic, Probabilistic, and Game Tree Settings

    Blai Bonet and Hector Geffner.

    Universidad Simon Bolivar. Technical Report 2005. Copyright.

    workshop / other pdf slides
    bibtex
    @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}
}

  5. Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations

    Hector Palacios, Blai Bonet, Adnan Darwiche, Hector Geffner.

    Proc. 15th Int. Conf. on Automated Planning and Scheduling (ICAPS). Monterey, California. 2005. AAAI Press. Pages 141-150.

    conference pdf slides
    bibtex
    @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}
}

2004

  1. mGPT: A Probabilistic Planner based on Heuristic Search

    Blai Bonet and Hector Geffner.

    1st International Probabilistic-Planning Competition in 14th Int. Conf. on Automated Planning and Scheduling (ICAPS). Banff, Canada. 2004.

    workshop / other pdf
    bibtex
    @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}
}

2003

  1. Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback

    Blai Bonet and Hector Geffner.

    Proc. 18th Int. Joint Conf. on Artificial Intelligence (IJCAI). Acapulco, Mexico. 2003. Morgan Kaufmann. Pages 1233-1238.

    conference pdf
    bibtex
    @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}
}

  2. Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming

    Blai Bonet and Hector Geffner.

    Proc. 13th Int. Conf. on Automated Planning and Scheduling (ICAPS). Trento, Italy. 2003. AAAI Press. Pages 12-21.

    conference ICAPS-14 Influential Paper Award pdf
    bibtex
    @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}
}

  3. GPT meets PSR

    Blai Bonet and Sylvie Thiébaux.

    Proc. 13th Int. Conf. on Automated Planning and Scheduling (ICAPS). Trento, Italy. 2003. AAAI Press. Pages 102-111.

    conference pdf
    bibtex
    @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}
}

2002

  1. Qualitative MDPs and POMDPs: An Order-Of-Magnitude Approach

    Blai Bonet and Judea Pearl.

    Proc. 18th Conf. on Uncertainty in Artificial Intelligence (UAI). Edmonton, Canada. 2002. Morgan Kaufmann. Pages 61-68.

    conference pdf arXiv
    bibtex
    @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}
}

  2. Solving Stochastic Shortest-Path Problems with RTDP

    Blai Bonet and Hector Geffner.

    Universidad Simon Bolivar. Technical Report 2002. Copyright.

    workshop / other pdf
    bibtex
    @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}
}

  3. An epsilon-Optimal Grid-Based Algorithm for Partially Observable Markov Decision Processes

    Blai Bonet.

    Proc. 19th Int. Conf. on Machine Learning (ICML). Sydney, Australia. 2002. Morgan Kaufmann. Pages 51-58.

    conference pdf
    bibtex
    @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}
}

2001

  1. Instrumentality Tests Revisited

    Blai Bonet.

    Proc. 17th Conf. on Uncertainty in Artificial Intelligence (UAI). Seattle, WA. 2001. Morgan Kaufmann. Pages 48-55.

    conference Runner-up Student-Paper Award pdf arXiv
    bibtex
    @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}
}

  2. A Calculus for Causal Relevance

    Blai Bonet.

    Proc. 17th Conf. on Uncertainty in Artificial Intelligence (UAI). Seattle, WA. 2001. Morgan Kaufmann. Pages 40-47.

    conference pdf arXiv
    bibtex
    @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}
}

  3. GPT: A Tool for Planning with Uncertainty and Partial Information

    Blai Bonet and Hector Geffner.

    Workshop on Planning with Uncertainty and Partial Information, Int. Joint Conf. on Artificial Intelligence (IJCAI). Seattle, WA. 2001. Pages 82-87.

    workshop / other pdf
    bibtex
    @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}
}

  4. Heuristic Search Planner Ver. 2.0

    Blai Bonet and Hector Geffner.

    AI Magazine. Fall 2001. Pages 77-80.

    journal pdf Description of Planner entered into AIPS-00 Competition
    bibtex
    @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}
}

  5. Planning As Heuristic Search

    Blai Bonet and Hector Geffner.

    Artificial Intelligence 129 (2001). Elsevier. Pages 5-33.

    journal pdf
    bibtex
    @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}
}

  6. Planning and Control in Artificial Intelligence: A Unifying Perspective

    Blai Bonet and Hector Geffner.

    Applied Intelligence 14 (2001). Kluwer. Pages 237-252.

    journal pdf
    bibtex
    @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}
}

2000

  1. Planning with Incomplete Information as Heuristic Search in Belief Space

    Blai Bonet and Hector Geffner.

    Proc. 5th Int. Conf. on AI Planning and Scheduling (AIPS). Breckenridge, CO. 2000. AAAI Press. Pages 52-61.

    conference pdf
    bibtex
    @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}
}

  2. The AIPS-98 Planning Competition

    D. Long, H. Kautz, B. Selman, B. Bonet, H. Geffner, J. Koehler, M. Brenner, J. Hoffmann, F. Rittinger, C. Anderson, D. Weld, D. Smith and M. Fox.

    AI Magazine 21(2): 13-33, 2000.

    journal
    bibtex
    @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}
}

1999

  1. Planning as Heuristic Search: New Results

    Blai Bonet and Hector Geffner.

    Proc. 5th European Conf. on Planning (ECP). Durham, UK. 1999. Springer LNCS 1809. Pages 359-371.

    conference ICAPS-09 Influential Paper Award pdf
    bibtex
    @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}
}

1998

  1. HSP: Heuristic Search Planner

    Blai Bonet and Hector Geffner.

    First description of HSP at the AIPS-98 Planning Competition, Pittsburgh 6/98.

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

  2. High-Level Planning and Control with Incomplete Information Using POMDPs

    Hector Geffner and Blai Bonet.

    Proc. Fall AAAI Symposium on Cognitive Robotics, 1998. Orlando, FL.

    workshop / other pdf
    bibtex
    @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}
}

  3. Solving Large POMDPs by Real Time Dynamic Programming

    Hector Geffner and Blai Bonet.

    Proc. Fall AAAI Symposium on POMDPS. 1998. Orlando, FL.

    workshop / other pdf
    bibtex
    @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}
}

  4. Learning Sorting and Decision Trees with POMDPs

    Blai Bonet and Hector Geffner.

    Proc. 15th Int. Conf. on Machine Learning (ICML). Madison, WI. 1998. Morgan Kaufmann. Pages 73-81.

    conference pdf
    bibtex
    @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}
}

1997

  1. A Fast and Robust Action Selection Mechanism for Planning

    Blai Bonet, Gábor Loerincs, and Hector Geffner.

    Proc. 14th National Conf. on Artificial Intelligence (AAAI). Providence, RI. 1997. AAAI Press. Pages 714-719.

    conference pdf
    bibtex
    @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}
}

1996

  1. Arguing for Decisions: A Qualitative Model of Decision Making

    Blai Bonet and Hector Geffner.

    Proc. 12th Conf. on Uncertainty in Artificial Intelligence (UAI). Portland, OR. 1996. Morgan Kaufmann. Pages 98-105.

    conference pdf arXiv
    bibtex
    @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}
}

1995

  1. Causal Reasoning with Domain Constraints

    Blai Bonet and Hector Geffner.

    Proc. XXI Conf. Latinoamericana de Informatica. Canela, Brasil. 1995. Pages 767-778.

    conference
    bibtex
    @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}
}

Talks and tutorials

  • 2022 IJCAI GenPlan Workshop: Feature-based Generalized Policies and Guarantees (slides)
  • 2022 ICAPS / IJCAI tutorial: Representation Learning for Acting and Planning: A Top-Down Approach (slides)
  • 2020 ICAPS invited talk: Learning Planning Representations from Traces via SAT (slides)
  • 2020 ECAI Frontiers in AI: Representation Learning and Synthesis for Generalized Planning (slides)
  • 2019 UC3M–Santander Chair of Excellence: Lectures (April, June)
  • 2016 IJCAI tutorial: Automated Planning (slides)
  • 2014 IBERAMIA: Invited talk and tutorial
  • 2013 BRACIS: Invited talk and tutorial (talk, tutorial)
  • 2012 5th Int. Seminar on New Issues on AI, UC3M: Probabilistic Planning; Petri Nets (planning, Petri nets)
  • 2011 ACAI Summer School at ICAPS: Automated Planning (slides superseded by the UC3M 2012 lectures)
  • 2011 ICAPS tutorial: Petri Nets (with P. Haslum) (slides)
  • 2009 ICAPS tutorial: Petri Nets and Their Relation to Planning (with P. Haslum, S. Hickmott, S. Thiébaux and S. Edelkamp) (slides (zip))
  • 2009 ICAPS tutorial: Heuristics for Classical Planning (with E. Keyder) (slides)

Teaching

Courses taught at Universidad Simón Bolívar. Terms are USB trimesters: F fall, W winter, S spring, followed by the year.

CodeCourseTerms
Graduate
CI7431Knowledge RepresentationW05 S09 F06
CI7541Theory of ComputationW04–11
CI7621Analysis of AlgorithmsF10 F12–14 W15
Undergraduate
CI5437Introduction to Artificial Intelligence (I and II)S05–08 F05 F12 W14 S14 S15 F16 W18 F19
CI3725Automata TheoryF03–04 W04 S07 W20
CI2612Algorithms and Data Structures IIF15 W16 S16 W17 S17 F17 S18
CI2613Algorithms and Data Structures III (graph algorithms)F14 W15
CI2692Laboratory, Algorithms IIF17
CI2693Laboratory, Algorithms IIIS10
CI2525Discrete Mathematics I (combinatorics)Formerly CI2523S04–05 F05 F07–09 W07–08 W11 W13–14
CI2526Discrete Mathematics II (set theory)S13
CI2511Symbolic LogicF06

Software

All my publicly available software, including the planners and solvers from my papers, can be found on github.com/bonetblai.