BibTeX records: Blai Bonet

download as .bib file

@article{DBLP:journals/corr/abs-2403-11734,
  author       = {Simon St{\aa}hlberg and
                  Blai Bonet and
                  Hector Geffner},
  title        = {Learning General Policies for Classical Planning Domains: Getting
                  Beyond C\({}_{\mbox{2}}\)},
  journal      = {CoRR},
  volume       = {abs/2403.11734},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.11734},
  doi          = {10.48550/ARXIV.2403.11734},
  eprinttype    = {arXiv},
  eprint       = {2403.11734},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-11734.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-16824,
  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},
  journal      = {CoRR},
  volume       = {abs/2403.16824},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.16824},
  doi          = {10.48550/ARXIV.2403.16824},
  eprinttype    = {arXiv},
  eprint       = {2403.16824},
  timestamp    = {Tue, 09 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-16824.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/StahlbergBG23,
  author       = {Simon St{\aa}hlberg and
                  Blai Bonet and
                  Hector Geffner},
  editor       = {Pierre Marquis and
                  Tran Cao Son and
                  Gabriele Kern{-}Isberner},
  title        = {Learning General Policies with Policy Gradient Methods},
  booktitle    = {Proceedings of the 20th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
                  September 2-8, 2023},
  pages        = {647--657},
  year         = {2023},
  url          = {https://doi.org/10.24963/kr.2023/63},
  doi          = {10.24963/KR.2023/63},
  timestamp    = {Tue, 05 Sep 2023 14:50:36 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/StahlbergBG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-05490,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {General Policies, Subgoal Structure, and Planning Width},
  journal      = {CoRR},
  volume       = {abs/2311.05490},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.05490},
  doi          = {10.48550/ARXIV.2311.05490},
  eprinttype    = {arXiv},
  eprint       = {2311.05490},
  timestamp    = {Tue, 14 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-05490.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/RodriguezBSG22,
  author       = {Ivan D. Rodriguez and
                  Blai Bonet and
                  Sebastian Sardi{\~{n}}a and
                  Hector Geffner},
  title        = {Flexible {FOND} Planning with Explicit Fairness Assumptions},
  journal      = {J. Artif. Intell. Res.},
  volume       = {74},
  year         = {2022},
  url          = {https://doi.org/10.1613/jair.1.13599},
  doi          = {10.1613/JAIR.1.13599},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/RodriguezBSG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/StahlbergBG22,
  author       = {Simon St{\aa}hlberg and
                  Blai Bonet and
                  Hector Geffner},
  editor       = {Akshat Kumar and
                  Sylvie Thi{\'{e}}baux and
                  Pradeep Varakantham and
                  William Yeoh},
  title        = {Learning General Optimal Policies with Graph Neural Networks: Expressive
                  Power, Transparency, and Limits},
  booktitle    = {Proceedings of the Thirty-Second International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
                  2022},
  pages        = {629--637},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/19851},
  timestamp    = {Wed, 20 Jul 2022 14:27:38 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/StahlbergBG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/StahlbergBG22,
  author       = {Simon St{\aa}hlberg and
                  Blai Bonet and
                  Hector Geffner},
  editor       = {Gabriele Kern{-}Isberner and
                  Gerhard Lakemeyer and
                  Thomas Meyer},
  title        = {Learning Generalized Policies without Supervision Using GNNs},
  booktitle    = {Proceedings of the 19th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
                  July 31 - August 5, 2022},
  year         = {2022},
  url          = {https://proceedings.kr.org/2022/49/},
  timestamp    = {Tue, 05 Sep 2023 14:47:29 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/StahlbergBG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-11902,
  author       = {Andr{\'{e}}s Occhipinti Liberman and
                  Blai Bonet and
                  Hector Geffner},
  title        = {Learning First-Order Symbolic Planning Representations That Are Grounded},
  journal      = {CoRR},
  volume       = {abs/2204.11902},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2204.11902},
  doi          = {10.48550/ARXIV.2204.11902},
  eprinttype    = {arXiv},
  eprint       = {2204.11902},
  timestamp    = {Thu, 28 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-11902.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-06002,
  author       = {Simon St{\aa}hlberg and
                  Blai Bonet and
                  Hector Geffner},
  title        = {Learning Generalized Policies Without Supervision Using GNNs},
  journal      = {CoRR},
  volume       = {abs/2205.06002},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.06002},
  doi          = {10.48550/ARXIV.2205.06002},
  eprinttype    = {arXiv},
  eprint       = {2205.06002},
  timestamp    = {Tue, 17 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-06002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-05259,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Language-Based Causal Representation Learning},
  journal      = {CoRR},
  volume       = {abs/2207.05259},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.05259},
  doi          = {10.48550/ARXIV.2207.05259},
  eprinttype    = {arXiv},
  eprint       = {2207.05259},
  timestamp    = {Thu, 14 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-05259.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BonetG21,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {General Policies, Representations, and Planning Width},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {11764--11773},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i13.17398},
  doi          = {10.1609/AAAI.V35I13.17398},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BonetG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FrancesBG21,
  author       = {Guillem Franc{\`{e}}s and
                  Blai Bonet and
                  Hector Geffner},
  title        = {Learning General Planning Policies from Small Examples Without Supervision},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {11801--11808},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i13.17402},
  doi          = {10.1609/AAAI.V35I13.17402},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FrancesBG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/RodriguezBSG21,
  author       = {Ivan D. Rodriguez and
                  Blai Bonet and
                  Sebastian Sardi{\~{n}}a and
                  Hector Geffner},
  editor       = {Susanne Biundo and
                  Minh Do and
                  Robert Goldman and
                  Michael Katz and
                  Qiang Yang and
                  Hankz Hankui Zhuo},
  title        = {Flexible {FOND} Planning with Explicit Fairness Assumptions},
  booktitle    = {Proceedings of the Thirty-First International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
                  August 2-13, 2021},
  pages        = {290--298},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/15973},
  timestamp    = {Wed, 30 Aug 2023 08:38:08 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/RodriguezBSG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RodriguezB0G21,
  author       = {Ivan D. Rodriguez and
                  Blai Bonet and
                  Javier Romero and
                  Hector Geffner},
  editor       = {Meghyn Bienvenu and
                  Gerhard Lakemeyer and
                  Esra Erdem},
  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} 2021, Online event, November
                  3-12, 2021},
  pages        = {539--548},
  year         = {2021},
  url          = {https://doi.org/10.24963/kr.2021/51},
  doi          = {10.24963/KR.2021/51},
  timestamp    = {Wed, 03 Nov 2021 12:46:57 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/RodriguezB0G21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-00692,
  author       = {Guillem Franc{\`{e}}s and
                  Blai Bonet and
                  Hector Geffner},
  title        = {Learning General Policies from Small Examples Without Supervision},
  journal      = {CoRR},
  volume       = {abs/2101.00692},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.00692},
  eprinttype    = {arXiv},
  eprint       = {2101.00692},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-00692.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-08391,
  author       = {Ivan D. Rodriguez and
                  Blai Bonet and
                  Sebastian Sardi{\~{n}}a and
                  Hector Geffner},
  title        = {Flexible {FOND} Planning with Explicit Fairness Assumptions},
  journal      = {CoRR},
  volume       = {abs/2103.08391},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.08391},
  eprinttype    = {arXiv},
  eprint       = {2103.08391},
  timestamp    = {Tue, 23 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-08391.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10830,
  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},
  journal      = {CoRR},
  volume       = {abs/2105.10830},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.10830},
  eprinttype    = {arXiv},
  eprint       = {2105.10830},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-10830.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-10129,
  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},
  journal      = {CoRR},
  volume       = {abs/2109.10129},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.10129},
  eprinttype    = {arXiv},
  eprint       = {2109.10129},
  timestamp    = {Mon, 27 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-10129.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BonetG20,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Qualitative Numeric Planning: Reductions and Complexity},
  journal      = {J. Artif. Intell. Res.},
  volume       = {69},
  pages        = {923--961},
  year         = {2020},
  url          = {https://doi.org/10.1613/jair.1.11865},
  doi          = {10.1613/JAIR.1.11865},
  timestamp    = {Wed, 02 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/BonetG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BonetG20,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Giuseppe De Giacomo and
                  Alejandro Catal{\'{a}} and
                  Bistra Dilkina and
                  Michela Milano and
                  Sen{\'{e}}n Barro and
                  Alberto Bugar{\'{\i}}n and
                  J{\'{e}}r{\^{o}}me Lang},
  title        = {Learning First-Order Symbolic Representations for Planning from the
                  Structure of the State Space},
  booktitle    = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
                  29 August-8 September 2020, Santiago de Compostela, Spain, August
                  29 - September 8, 2020 - Including 10th Conference on Prestigious
                  Applications of Artificial Intelligence {(PAIS} 2020)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {325},
  pages        = {2322--2329},
  publisher    = {{IOS} Press},
  year         = {2020},
  url          = {https://doi.org/10.3233/FAIA200361},
  doi          = {10.3233/FAIA200361},
  timestamp    = {Fri, 09 Apr 2021 18:50:05 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BonetG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BonetGGPR20,
  author       = {Blai Bonet and
                  Giuseppe De Giacomo and
                  Hector Geffner and
                  Fabio Patrizi and
                  Sasha Rubin},
  editor       = {Diego Calvanese and
                  Esra Erdem and
                  Michael Thielscher},
  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} 2020, Rhodes, Greece,
                  September 12-18, 2020},
  pages        = {152--161},
  year         = {2020},
  url          = {https://doi.org/10.24963/kr.2020/16},
  doi          = {10.24963/KR.2020/16},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/BonetGGPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-08033,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {General Policies, Serializations, and Planning Width},
  journal      = {CoRR},
  volume       = {abs/2012.08033},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.08033},
  eprinttype    = {arXiv},
  eprint       = {2012.08033},
  timestamp    = {Sat, 02 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-08033.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BonetFG19,
  author       = {Blai Bonet and
                  Guillem Franc{\`{e}}s and
                  Hector Geffner},
  title        = {Learning Features and Abstract Actions for Computing Generalized Plans},
  booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2019, The Thirty-First Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
                  USA, January 27 - February 1, 2019},
  pages        = {2703--2710},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/aaai.v33i01.33012703},
  doi          = {10.1609/AAAI.V33I01.33012703},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BonetFG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonetFEB19,
  author       = {Blai Bonet and
                  Raquel Fuentetaja and
                  Yolanda E{-}Mart{\'{\i}}n and
                  Daniel Borrajo},
  editor       = {Sarit Kraus},
  title        = {Guarantees for Sound Abstractions for Generalized Planning},
  booktitle    = {Proceedings of the Twenty-Eighth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                  2019},
  pages        = {1566--1573},
  publisher    = {ijcai.org},
  year         = {2019},
  url          = {https://doi.org/10.24963/ijcai.2019/217},
  doi          = {10.24963/IJCAI.2019/217},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/BonetFEB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-12071,
  author       = {Blai Bonet and
                  Raquel Fuentetaja and
                  Yolanda E{-}Mart{\'{\i}}n and
                  Daniel Borrajo},
  title        = {Guarantees for Sound Abstractions for Generalized Planning (Extended
                  Paper)},
  journal      = {CoRR},
  volume       = {abs/1905.12071},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.12071},
  eprinttype    = {arXiv},
  eprint       = {1905.12071},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-12071.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05546,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Learning First-Order Symbolic Planning Representations from Plain
                  Graphs},
  journal      = {CoRR},
  volume       = {abs/1909.05546},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.05546},
  eprinttype    = {arXiv},
  eprint       = {1909.05546},
  timestamp    = {Wed, 18 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-05546.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12104,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Action Selection for MDPs: Anytime AO* vs. {UCT}},
  journal      = {CoRR},
  volume       = {abs/1909.12104},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.12104},
  eprinttype    = {arXiv},
  eprint       = {1909.12104},
  timestamp    = {Fri, 27 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-12104.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12135,
  author       = {Blai Bonet and
                  Giuseppe De Giacomo and
                  Hector Geffner and
                  Sasha Rubin},
  title        = {Generalized Planning: Non-Deterministic Abstractions and Trajectory
                  Constraints},
  journal      = {CoRR},
  volume       = {abs/1909.12135},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.12135},
  eprinttype    = {arXiv},
  eprint       = {1909.12135},
  timestamp    = {Fri, 27 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-12135.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12142,
  author       = {Florian Pommerening and
                  Malte Helmert and
                  Blai Bonet},
  title        = {Higher-Dimensional Potential Heuristics for Optimal Classical Planning},
  journal      = {CoRR},
  volume       = {abs/1909.12142},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.12142},
  eprinttype    = {arXiv},
  eprint       = {1909.12142},
  timestamp    = {Fri, 27 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-12142.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-13778,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Causal Belief Decomposition for Planning with Sensing: Completeness
                  Results and Practical Approximation},
  journal      = {CoRR},
  volume       = {abs/1909.13778},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.13778},
  eprinttype    = {arXiv},
  eprint       = {1909.13778},
  timestamp    = {Wed, 02 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-13778.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-13779,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Factored Probabilistic Belief Tracking},
  journal      = {CoRR},
  volume       = {abs/1909.13779},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.13779},
  eprinttype    = {arXiv},
  eprint       = {1909.13779},
  timestamp    = {Wed, 02 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-13779.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-04816,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Qualitative Numeric Planning: Reductions and Complexity},
  journal      = {CoRR},
  volume       = {abs/1912.04816},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.04816},
  eprinttype    = {arXiv},
  eprint       = {1912.04816},
  timestamp    = {Thu, 02 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-04816.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BandresBG18,
  author       = {Wilmer Bandres and
                  Blai Bonet and
                  Hector Geffner},
  editor       = {Sheila A. McIlraith and
                  Kilian Q. Weinberger},
  title        = {Planning With Pixels in (Almost) Real Time},
  booktitle    = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
                  (AAAI-18), the 30th innovative Applications of Artificial Intelligence
                  (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
                  Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
                  2-7, 2018},
  pages        = {6102--6109},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://doi.org/10.1609/aaai.v32i1.12095},
  doi          = {10.1609/AAAI.V32I1.12095},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BandresBG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonetG18,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {J{\'{e}}r{\^{o}}me Lang},
  title        = {Features, Projections, and Representation Change for Generalized Planning},
  booktitle    = {Proceedings of the Twenty-Seventh International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
                  Sweden},
  pages        = {4667--4673},
  publisher    = {ijcai.org},
  year         = {2018},
  url          = {https://doi.org/10.24963/ijcai.2018/649},
  doi          = {10.24963/IJCAI.2018/649},
  timestamp    = {Tue, 20 Aug 2019 16:19:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BonetG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-03354,
  author       = {Wilmer Bandres and
                  Blai Bonet and
                  Hector Geffner},
  title        = {Planning with Pixels in (Almost) Real Time},
  journal      = {CoRR},
  volume       = {abs/1801.03354},
  year         = {2018},
  url          = {http://arxiv.org/abs/1801.03354},
  eprinttype    = {arXiv},
  eprint       = {1801.03354},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1801-03354.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-10055,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Features, Projections, and Representation Change for Generalized Planning},
  journal      = {CoRR},
  volume       = {abs/1801.10055},
  year         = {2018},
  url          = {http://arxiv.org/abs/1801.10055},
  eprinttype    = {arXiv},
  eprint       = {1801.10055},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1801-10055.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-07231,
  author       = {Blai Bonet and
                  Guillem Franc{\`{e}}s and
                  Hector Geffner},
  title        = {Learning Features and Abstract Actions for Computing Generalized Plans},
  journal      = {CoRR},
  volume       = {abs/1811.07231},
  year         = {2018},
  url          = {http://arxiv.org/abs/1811.07231},
  eprinttype    = {arXiv},
  eprint       = {1811.07231},
  timestamp    = {Sun, 25 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-07231.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PommereningHB17,
  author       = {Florian Pommerening and
                  Malte Helmert and
                  Blai Bonet},
  editor       = {Satinder Singh and
                  Shaul Markovitch},
  title        = {Higher-Dimensional Potential Heuristics for Optimal Classical Planning},
  booktitle    = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
                  February 4-9, 2017, San Francisco, California, {USA}},
  pages        = {3636--3643},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/aaai.v31i1.11023},
  doi          = {10.1609/AAAI.V31I1.11023},
  timestamp    = {Mon, 04 Sep 2023 14:40:32 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/PommereningHB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BonetFP17,
  author       = {Blai Bonet and
                  Gabriel Formica and
                  Melecio Ponte},
  editor       = {Laura Barbulescu and
                  Jeremy Frank and
                  Mausam and
                  Stephen F. Smith},
  title        = {Completeness of Online Planners for Partially Observable Deterministic
                  Tasks},
  booktitle    = {Proceedings of the Twenty-Seventh International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
                  June 18-23, 2017},
  pages        = {38--46},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15769},
  timestamp    = {Tue, 26 Sep 2017 07:30:03 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/BonetFP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PommereningHB17,
  author       = {Florian Pommerening and
                  Malte Helmert and
                  Blai Bonet},
  editor       = {Laura Barbulescu and
                  Jeremy Frank and
                  Mausam and
                  Stephen F. Smith},
  title        = {Abstraction Heuristics, Cost Partitioning and Network Flows},
  booktitle    = {Proceedings of the Twenty-Seventh International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
                  June 18-23, 2017},
  pages        = {228--232},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15714},
  timestamp    = {Tue, 26 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/PommereningHB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonetGGR17,
  author       = {Blai Bonet and
                  Giuseppe De Giacomo and
                  Hector Geffner and
                  Sasha Rubin},
  editor       = {Carles Sierra},
  title        = {Generalized Planning: Non-Deterministic Abstractions and Trajectory
                  Constraints},
  booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
                  19-25, 2017},
  pages        = {873--879},
  publisher    = {ijcai.org},
  year         = {2017},
  url          = {https://doi.org/10.24963/ijcai.2017/121},
  doi          = {10.24963/IJCAI.2017/121},
  timestamp    = {Tue, 20 Aug 2019 16:16:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BonetGGR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonetG16,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Subbarao Kambhampati},
  title        = {Factored Probabilistic Belief Tracking},
  booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
                  2016},
  pages        = {3045--3052},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016},
  url          = {http://www.ijcai.org/Abstract/16/432},
  timestamp    = {Tue, 20 Aug 2019 16:19:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BonetG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2016ethics,
  editor       = {Blai Bonet and
                  Sven Koenig and
                  Benjamin Kuipers and
                  Illah R. Nourbakhsh and
                  Stuart Russell and
                  Moshe Y. Vardi and
                  Toby Walsh},
  title        = {AI, Ethics, and Society, Papers from the 2016 {AAAI} Workshop, Phoenix,
                  Arizona, USA, February 13, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-02}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/Library/Workshops/ws16-02.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2016ethics.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/MorrisBCdFHKKKL15,
  author       = {Robert Morris and
                  Blai Bonet and
                  Marc Cavazza and
                  Marie desJardins and
                  Ariel Felner and
                  Nick Hawes and
                  Brad Knox and
                  Sven Koenig and
                  George Dimitri Konidaris and
                  J{\'{e}}r{\^{o}}me Lang and
                  Carlos Linares L{\'{o}}pez and
                  Daniele Magazzeni and
                  Amy McGovern and
                  Sriraam Natarajan and
                  Nathan R. Sturtevant and
                  Michael Thielscher and
                  William Yeoh and
                  Sebastian Sardi{\~{n}}a and
                  Kiri Wagstaff},
  title        = {A Summary of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence},
  journal      = {{AI} Mag.},
  volume       = {36},
  number       = {3},
  pages        = {99--106},
  year         = {2015},
  url          = {https://doi.org/10.1609/aimag.v36i3.2606},
  doi          = {10.1609/AIMAG.V36I3.2606},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/MorrisBCdFHKKKL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonetG15,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Qiang Yang and
                  Michael J. Wooldridge},
  title        = {Policies that Generalize: Solving Many Planning Problems with the
                  Same Policy},
  booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
                  25-31, 2015},
  pages        = {2798--2804},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {http://ijcai.org/Abstract/15/396},
  timestamp    = {Tue, 20 Aug 2019 16:16:43 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BonetG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PommereningRHB15,
  author       = {Florian Pommerening and
                  Gabriele R{\"{o}}ger and
                  Malte Helmert and
                  Blai Bonet},
  editor       = {Qiang Yang and
                  Michael J. Wooldridge},
  title        = {Heuristics for Cost-Optimal Classical Planning Based on Linear Programming},
  booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
                  25-31, 2015},
  pages        = {4303--4309},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {http://ijcai.org/Abstract/15/612},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/PommereningRHB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2015,
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://ojs.aaai.org/index.php/AAAI/issue/view/304},
  isbn         = {978-1-57735-698-1},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorgesB14,
  author       = {Nerio Borges and
                  Blai Bonet},
  title        = {Universal First-Order Logic is Superfluous for NL, P, {NP} and coNP},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:15)2014},
  doi          = {10.2168/LMCS-10(1:15)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BorgesB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BonetG14,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Belief Tracking for Planning with Sensing: Width, Complexity and Approximations},
  journal      = {J. Artif. Intell. Res.},
  volume       = {50},
  pages        = {923--970},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4475},
  doi          = {10.1613/JAIR.4475},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/BonetG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonetHKTV14,
  author       = {Blai Bonet and
                  Patrik Haslum and
                  Victor Khomenko and
                  Sylvie Thi{\'{e}}baux and
                  Walter Vogler},
  title        = {Recent advances in unfolding technique},
  journal      = {Theor. Comput. Sci.},
  volume       = {551},
  pages        = {84--101},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2014.07.003},
  doi          = {10.1016/J.TCS.2014.07.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BonetHKTV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BonetG14,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Carla E. Brodley and
                  Peter Stone},
  title        = {Flexible and Scalable Partially Observable Planning with Linear Translations},
  booktitle    = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
                  July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  pages        = {2235--2241},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {https://doi.org/10.1609/aaai.v28i1.9047},
  doi          = {10.1609/AAAI.V28I1.9047},
  timestamp    = {Mon, 04 Sep 2023 15:06:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BonetG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BonetB14,
  author       = {Blai Bonet and
                  Menkes van den Briel},
  editor       = {Steve A. Chien and
                  Minh Binh Do and
                  Alan Fern and
                  Wheeler Ruml},
  title        = {Flow-Based Heuristics for Optimal Planning: Landmarks and Merges},
  booktitle    = {Proceedings of the Twenty-Fourth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
                  USA, June 21-26, 2014},
  publisher    = {{AAAI}},
  year         = {2014},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7933},
  timestamp    = {Thu, 19 Nov 2015 08:52:28 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/BonetB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PommereningRHB14,
  author       = {Florian Pommerening and
                  Gabriele R{\"{o}}ger and
                  Malte Helmert and
                  Blai Bonet},
  editor       = {Steve A. Chien and
                  Minh Binh Do and
                  Alan Fern and
                  Wheeler Ruml},
  title        = {LP-Based Heuristics for Cost-Optimal Planning},
  booktitle    = {Proceedings of the Twenty-Fourth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
                  USA, June 21-26, 2014},
  publisher    = {{AAAI}},
  year         = {2014},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7892},
  timestamp    = {Thu, 31 Jul 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/PommereningRHB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2013Geffner,
  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},
  publisher    = {Morgan {\&} Claypool Publishers},
  year         = {2013},
  url          = {https://doi.org/10.2200/S00513ED1V01Y201306AIM022},
  doi          = {10.2200/S00513ED1V01Y201306AIM022},
  isbn         = {9781608459698},
  timestamp    = {Tue, 17 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/synthesis/2013Geffner.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PorcoMB13,
  author       = {Aldo Porco and
                  Alejandro Machado and
                  Blai Bonet},
  editor       = {Daniel Borrajo and
                  Subbarao Kambhampati and
                  Angelo Oddi and
                  Simone Fratini},
  title        = {Automatic Reductions from {PH} into {STRIPS} or How to Generate Short
                  Problems with Very Long Solutions},
  booktitle    = {Proceedings of the Twenty-Third International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6046},
  timestamp    = {Wed, 29 Mar 2017 16:45:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/PorcoMB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bonet13,
  author       = {Blai Bonet},
  editor       = {Francesca Rossi},
  title        = {An Admissible Heuristic for {SAS+} Planning Obtained from the State
                  Equation},
  booktitle    = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
                  on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages        = {2268--2274},
  publisher    = {{IJCAI/AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6927},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/Bonet13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonetG13,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Francesca Rossi},
  title        = {Causal Belief Decomposition for Planning with Sensing: Completeness
                  Results and Practical Approximation},
  booktitle    = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
                  on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages        = {2275--2281},
  publisher    = {{IJCAI/AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6928},
  timestamp    = {Tue, 08 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/BonetG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-0557,
  author       = {Blai Bonet and
                  Judea Pearl},
  title        = {Qualitative MDPs and POMDPs: An Order-Of-Magnitude Approximation},
  journal      = {CoRR},
  volume       = {abs/1301.0557},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.0557},
  eprinttype    = {arXiv},
  eprint       = {1301.0557},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-0557.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-2257,
  author       = {Blai Bonet},
  title        = {A Calculus for Causal Relevance},
  journal      = {CoRR},
  volume       = {abs/1301.2257},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.2257},
  eprinttype    = {arXiv},
  eprint       = {1301.2257},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-2257.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-2258,
  author       = {Blai Bonet},
  title        = {Instrumentality Tests Revisited},
  journal      = {CoRR},
  volume       = {abs/1301.2258},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.2258},
  eprinttype    = {arXiv},
  eprint       = {1301.2258},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-2258.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-3560,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Arguing for Decisions: {A} Qualitative Model of Decision Making},
  journal      = {CoRR},
  volume       = {abs/1302.3560},
  year         = {2013},
  url          = {http://arxiv.org/abs/1302.3560},
  eprinttype    = {arXiv},
  eprint       = {1302.3560},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-3560.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BonetB12,
  author       = {Blai Bonet and
                  Nerio Borges},
  title        = {Syntactic characterizations of completeness using duals and operators},
  journal      = {Log. J. {IGPL}},
  volume       = {20},
  number       = {1},
  pages        = {266--282},
  year         = {2012},
  url          = {https://doi.org/10.1093/jigpal/jzr035},
  doi          = {10.1093/JIGPAL/JZR035},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/BonetB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BonetG12,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {J{\"{o}}rg Hoffmann and
                  Bart Selman},
  title        = {Action Selection for MDPs: Anytime AO* Versus {UCT}},
  booktitle    = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2012, Toronto, Ontario, Canada},
  pages        = {1749--1755},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/aaai.v26i1.8369},
  doi          = {10.1609/AAAI.V26I1.8369},
  timestamp    = {Mon, 04 Sep 2023 15:56:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BonetG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BonetG12a,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {J{\"{o}}rg Hoffmann and
                  Bart Selman},
  title        = {Width and Complexity of Belief Tracking in Non-Deterministic Conformant
                  and Contingent Planning},
  booktitle    = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2012, Toronto, Ontario, Canada},
  pages        = {1756--1762},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/aaai.v26i1.8365},
  doi          = {10.1609/AAAI.V26I1.8365},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BonetG12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2012,
  editor       = {Lee McCluskey and
                  Brian Charles Williams and
                  Jos{\'{e}} Reinaldo Silva and
                  Blai Bonet},
  title        = {Proceedings of the Twenty-Second International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
                  June 25-19, 2012},
  publisher    = {{AAAI}},
  year         = {2012},
  isbn         = {978-1-57735-562-5},
  timestamp    = {Wed, 01 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-2659,
  author       = {Blai Bonet},
  title        = {Deterministic POMDPs Revisited},
  journal      = {CoRR},
  volume       = {abs/1205.2659},
  year         = {2012},
  url          = {http://arxiv.org/abs/1205.2659},
  eprinttype    = {arXiv},
  eprint       = {1205.2659},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1205-2659.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Bonet11,
  author       = {Blai Bonet},
  editor       = {Fahiem Bacchus and
                  Carmel Domshlak and
                  Stefan Edelkamp and
                  Malte Helmert},
  title        = {Abstraction Heuristics Extended with Counting Abstractions},
  booktitle    = {Proceedings of the 21st International Conference on Automated Planning
                  and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2670},
  timestamp    = {Tue, 28 Jun 2011 14:20:04 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/Bonet11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BonetC11,
  author       = {Blai Bonet and
                  Julio Castillo},
  editor       = {Fahiem Bacchus and
                  Carmel Domshlak and
                  Stefan Edelkamp and
                  Malte Helmert},
  title        = {A Complete Algorithm for Generating Landmarks},
  booktitle    = {Proceedings of the 21st International Conference on Automated Planning
                  and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2676},
  timestamp    = {Tue, 28 Jun 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/BonetC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PorcoMB11,
  author       = {Aldo Porco and
                  Alejandro Machado and
                  Blai Bonet},
  editor       = {Fahiem Bacchus and
                  Carmel Domshlak and
                  Stefan Edelkamp and
                  Malte Helmert},
  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} 2011, Freiburg, Germany June 11-16, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2694},
  timestamp    = {Tue, 28 Jun 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/PorcoMB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonetG11,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Toby Walsh},
  title        = {Planning under Partial Observability by Classical Replanning: Theory
                  and Experiments},
  booktitle    = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
                  on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
                  2011},
  pages        = {1936--1941},
  publisher    = {{IJCAI/AAAI}},
  year         = {2011},
  url          = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-324},
  doi          = {10.5591/978-1-57735-516-8/IJCAI11-324},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BonetG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-2153,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {mGPT: {A} Probabilistic Planner Based on Heuristic Search},
  journal      = {CoRR},
  volume       = {abs/1109.2153},
  year         = {2011},
  url          = {http://arxiv.org/abs/1109.2153},
  eprinttype    = {arXiv},
  eprint       = {1109.2153},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1109-2153.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Bonet10,
  author       = {Blai Bonet},
  title        = {Conformant plans and beyond: Principles and complexity},
  journal      = {Artif. Intell.},
  volume       = {174},
  number       = {3-4},
  pages        = {245--269},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.artint.2009.11.001},
  doi          = {10.1016/J.ARTINT.2009.11.001},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Bonet10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AmatoBZ10,
  author       = {Christopher Amato and
                  Blai Bonet and
                  Shlomo Zilberstein},
  editor       = {Maria Fox and
                  David Poole},
  title        = {Finite-State Controllers Based on Mealy Machines for Centralized and
                  Decentralized POMDPs},
  booktitle    = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
  pages        = {1052--1058},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {https://doi.org/10.1609/aaai.v24i1.7748},
  doi          = {10.1609/AAAI.V24I1.7748},
  timestamp    = {Mon, 04 Sep 2023 16:23:45 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AmatoBZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BonetPG10,
  author       = {Blai Bonet and
                  H{\'{e}}ctor Palacios and
                  Hector Geffner},
  editor       = {Maria Fox and
                  David Poole},
  title        = {Automatic Derivation of Finite-State Machines for Behavior Control},
  booktitle    = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
  pages        = {1656--1659},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {https://doi.org/10.1609/aaai.v24i1.7706},
  doi          = {10.1609/AAAI.V24I1.7706},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BonetPG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BonetH10,
  author       = {Blai Bonet and
                  Malte Helmert},
  editor       = {Helder Coelho and
                  Rudi Studer and
                  Michael J. Wooldridge},
  title        = {Strengthening Landmark Heuristics via Hitting Sets},
  booktitle    = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
                  Lisbon, Portugal, August 16-20, 2010, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {215},
  pages        = {329--334},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17767},
  timestamp    = {Fri, 26 Apr 2019 14:26:43 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BonetH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/IzquierdoVB10,
  author       = {Daniel Izquierdo and
                  Maria{-}Esther Vidal and
                  Blai Bonet},
  editor       = {Peter F. Patel{-}Schneider and
                  Yue Pan and
                  Pascal Hitzler and
                  Peter Mika and
                  Lei Zhang and
                  Jeff Z. Pan and
                  Ian Horrocks and
                  Birte Glimm},
  title        = {An Expressive and Efficient Solution to the Service Selection Problem},
  booktitle    = {The Semantic Web - {ISWC} 2010 - 9th International Semantic Web Conference,
                  {ISWC} 2010, Shanghai, China, November 7-11, 2010, Revised Selected
                  Papers, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6496},
  pages        = {386--401},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17746-0\_25},
  doi          = {10.1007/978-3-642-17746-0\_25},
  timestamp    = {Tue, 12 Apr 2022 14:46:29 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/IzquierdoVB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/IzquierdoVB10a,
  author       = {Daniel Izquierdo and
                  Maria{-}Esther Vidal and
                  Blai Bonet},
  editor       = {Axel Polleres and
                  Huajun Chen},
  title        = {{STEREO:} a SaT-based tool for an optimal solution of the sERvice
                  selEctiOn problem},
  booktitle    = {Proceedings of the {ISWC} 2010 Posters {\&} Demonstrations Track:
                  Collected Abstracts, Shanghai, China, November 9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {658},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-658/paper524.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:09 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/IzquierdoVB10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BonetPG09,
  author       = {Blai Bonet and
                  H{\'{e}}ctor Palacios and
                  Hector Geffner},
  editor       = {Alfonso Gerevini and
                  Adele E. Howe and
                  Amedeo Cesta and
                  Ioannis Refanidis},
  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} 2009, Thessaloniki, Greece, September 19-23,
                  2009},
  publisher    = {{AAAI}},
  year         = {2009},
  url          = {http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/752},
  timestamp    = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/BonetPG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonetG09,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Craig Boutilier},
  title        = {Solving POMDPs: RTDP-Bel vs. Point-based Algorithms},
  booktitle    = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
                  on Artificial Intelligence, Pasadena, California, USA, July 11-17,
                  2009},
  pages        = {1641--1646},
  year         = {2009},
  url          = {http://ijcai.org/Proceedings/09/Papers/274.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BonetG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Bonet09,
  author       = {Blai Bonet},
  editor       = {Jeff A. Bilmes and
                  Andrew Y. Ng},
  title        = {Deterministic POMDPs Revisited},
  booktitle    = {{UAI} 2009, Proceedings of the Twenty-Fifth Conference on Uncertainty
                  in Artificial Intelligence, Montreal, QC, Canada, June 18-21, 2009},
  pages        = {59--66},
  publisher    = {{AUAI} Press},
  year         = {2009},
  url          = {https://www.auai.org/uai2009/papers/UAI2009\_0013\_8aa36c6bfeeeb7ee9bd080c5d7e2a9be.pdf},
  timestamp    = {Tue, 25 Oct 2022 12:03:45 +0200},
  biburl       = {https://dblp.org/rec/conf/uai/Bonet09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BonetG08,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Heuristics for planning with penalties and rewards formulated in logic
                  and computed through circuits},
  journal      = {Artif. Intell.},
  volume       = {172},
  number       = {12-13},
  pages        = {1579--1604},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.artint.2008.03.004},
  doi          = {10.1016/J.ARTINT.2008.03.004},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BonetG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BonetHHT08,
  author       = {Blai Bonet and
                  Patrik Haslum and
                  Sarah L. Hickmott and
                  Sylvie Thi{\'{e}}baux},
  title        = {Directed Unfolding of Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {172--198},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_11},
  doi          = {10.1007/978-3-540-89287-8\_11},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/BonetHHT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mor/Bonet07,
  author       = {Blai Bonet},
  title        = {On the Speed of Convergence of Value Iteration on Stochastic Shortest-Path
                  Problems},
  journal      = {Math. Oper. Res.},
  volume       = {32},
  number       = {2},
  pages        = {365--373},
  year         = {2007},
  url          = {https://doi.org/10.1287/moor.1060.0238},
  doi          = {10.1287/MOOR.1060.0238},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mor/Bonet07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HaslumBHBK07,
  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 Twenty-Second {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2007, Vancouver, British Columbia, Canada},
  pages        = {1007--1012},
  publisher    = {{AAAI} Press},
  year         = {2007},
  url          = {http://www.aaai.org/Library/AAAI/2007/aaai07-160.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HaslumBHBK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/EdelkampJB07,
  author       = {Stefan Edelkamp and
                  Shahid Jabbar and
                  Blai Bonet},
  editor       = {Mark S. Boddy and
                  Maria Fox and
                  Sylvie Thi{\'{e}}baux},
  title        = {External Memory Value Iteration},
  booktitle    = {Proceedings of the Seventeenth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2007, Providence, Rhode Island, USA,
                  September 22-26, 2007},
  pages        = {128--135},
  publisher    = {{AAAI}},
  year         = {2007},
  url          = {http://www.aaai.org/Library/ICAPS/2007/icaps07-017.php},
  timestamp    = {Tue, 02 Nov 2021 15:59:05 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/EdelkampJB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0706-3412,
  author       = {Nerio Borges and
                  Blai Bonet},
  title        = {On Canonical Forms of Complete Problems via First-order Projections},
  journal      = {CoRR},
  volume       = {abs/0706.3412},
  year         = {2007},
  url          = {http://arxiv.org/abs/0706.3412},
  eprinttype    = {arXiv},
  eprint       = {0706.3412},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0706-3412.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ArveloBV06,
  author       = {Yolif{\'{e}} Arvelo and
                  Blai Bonet and
                  Maria{-}Esther Vidal},
  title        = {Compilation of Query-Rewriting Problems into Tractable Fragments of
                  Propositional Logic},
  booktitle    = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
                  and the Eighteenth Innovative Applications of Artificial Intelligence
                  Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
  pages        = {225--230},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {http://www.aaai.org/Library/AAAI/2006/aaai06-036.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ArveloBV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Bonet06,
  author       = {Blai Bonet},
  editor       = {Derek Long and
                  Stephen F. Smith and
                  Daniel Borrajo and
                  Lee McCluskey},
  title        = {Bounded Branching and Modalities in Non-Deterministic Planning},
  booktitle    = {Proceedings of the Sixteenth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
  pages        = {42--51},
  publisher    = {{AAAI}},
  year         = {2006},
  url          = {http://www.aaai.org/Library/ICAPS/2006/icaps06-005.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/Bonet06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BonetG06,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Derek Long and
                  Stephen F. Smith and
                  Daniel Borrajo and
                  Lee McCluskey},
  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 Sixteenth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
  pages        = {142--151},
  publisher    = {{AAAI}},
  year         = {2006},
  url          = {http://www.aaai.org/Library/ICAPS/2006/icaps06-015.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/BonetG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Bonet06,
  author       = {Blai Bonet},
  title        = {Bounded Branching and Modalities in Non-Deterministic Planning},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}Math 2006, Fort Lauderdale, Florida, USA, January 4-6, 2006},
  year         = {2006},
  url          = {http://anytime.cs.umass.edu/aimath06/proceedings/S03a.pdf},
  timestamp    = {Tue, 08 Feb 2022 09:27:30 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Bonet06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BonetG06,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Patrick Doherty and
                  John Mylopoulos and
                  Christopher A. Welty},
  title        = {Heuristics for Planning with Penalties and Rewards using Compiled
                  Knowledge},
  booktitle    = {Proceedings, Tenth International Conference on Principles of Knowledge
                  Representation and Reasoning, Lake District of the United Kingdom,
                  June 2-5, 2006},
  pages        = {452--462},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {http://www.aaai.org/Library/KR/2006/kr06-047.php},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/BonetG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BonetG05,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {mGPT: {A} Probabilistic Planner Based on Heuristic Search},
  journal      = {J. Artif. Intell. Res.},
  volume       = {24},
  pages        = {933--944},
  year         = {2005},
  url          = {https://doi.org/10.1613/jair.1688},
  doi          = {10.1613/JAIR.1688},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/BonetG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HaslumBG05,
  author       = {Patrik Haslum and
                  Blai Bonet and
                  Hector Geffner},
  editor       = {Manuela M. Veloso and
                  Subbarao Kambhampati},
  title        = {New Admissible Heuristics for Domain-Independent Planning},
  booktitle    = {Proceedings, The Twentieth National Conference on Artificial Intelligence
                  and the Seventeenth Innovative Applications of Artificial Intelligence
                  Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {1163--1168},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2005},
  url          = {http://www.aaai.org/Library/AAAI/2005/aaai05-184.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HaslumBG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BonetG05,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Manuela M. Veloso and
                  Subbarao Kambhampati},
  title        = {An Algorithm Better than AO*?},
  booktitle    = {Proceedings, The Twentieth National Conference on Artificial Intelligence
                  and the Seventeenth Innovative Applications of Artificial Intelligence
                  Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {1343--1348},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2005},
  url          = {http://www.aaai.org/Library/AAAI/2005/aaai05-213.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BonetG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PalaciosBDG05,
  author       = {H{\'{e}}ctor Palacios and
                  Blai Bonet and
                  Adnan Darwiche and
                  Hector Geffner},
  editor       = {Susanne Biundo and
                  Karen L. Myers and
                  Kanna Rajan},
  title        = {Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations},
  booktitle    = {Proceedings of the Fifteenth International Conference on Automated
                  Planning and Scheduling {(ICAPS} 2005), June 5-10 2005, Monterey,
                  California, {USA}},
  pages        = {141--150},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/ICAPS/2005/icaps05-015.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/PalaciosBDG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BonetG03,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Enrico Giunchiglia and
                  Nicola Muscettola and
                  Dana S. Nau},
  title        = {Labeled {RTDP:} Improving the Convergence of Real-Time Dynamic Programming},
  booktitle    = {Proceedings of the Thirteenth International Conference on Automated
                  Planning and Scheduling {(ICAPS} 2003), June 9-13, 2003, Trento, Italy},
  pages        = {12--21},
  publisher    = {{AAAI}},
  year         = {2003},
  url          = {http://www.aaai.org/Library/ICAPS/2003/icaps03-002.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/BonetG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BonetT03,
  author       = {Blai Bonet and
                  Sylvie Thi{\'{e}}baux},
  editor       = {Enrico Giunchiglia and
                  Nicola Muscettola and
                  Dana S. Nau},
  title        = {{GPT} Meets {PSR}},
  booktitle    = {Proceedings of the Thirteenth International Conference on Automated
                  Planning and Scheduling {(ICAPS} 2003), June 9-13, 2003, Trento, Italy},
  pages        = {102--112},
  publisher    = {{AAAI}},
  year         = {2003},
  url          = {http://www.aaai.org/Library/ICAPS/2003/icaps03-011.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/BonetT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BonetG03,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Georg Gottlob and
                  Toby Walsh},
  title        = {Faster Heuristic Search Algorithms for Planning with Uncertainty and
                  Full Feedback},
  booktitle    = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
                  on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages        = {1233--1238},
  publisher    = {Morgan Kaufmann},
  year         = {2003},
  url          = {http://ijcai.org/Proceedings/03/Papers/176.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BonetG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/Bonet02,
  author       = {Blai Bonet},
  editor       = {Claude Sammut and
                  Achim G. Hoffmann},
  title        = {An epsilon-Optimal Grid-Based Algorithm for Partially Observable Markov
                  Decision Processes},
  booktitle    = {Machine Learning, Proceedings of the Nineteenth International Conference
                  {(ICML} 2002), University of New South Wales, Sydney, Australia, July
                  8-12, 2002},
  pages        = {51--58},
  publisher    = {Morgan Kaufmann},
  year         = {2002},
  timestamp    = {Tue, 26 Nov 2002 10:58:27 +0100},
  biburl       = {https://dblp.org/rec/conf/icml/Bonet02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/BonetP02,
  author       = {Blai Bonet and
                  Judea Pearl},
  editor       = {Adnan Darwiche and
                  Nir Friedman},
  title        = {Qualitative MDPs and POMDPs: An Order-Of-Magnitude Approximation},
  booktitle    = {{UAI} '02, Proceedings of the 18th Conference in Uncertainty in Artificial
                  Intelligence, University of Alberta, Edmonton, Alberta, Canada, August
                  1-4, 2002},
  pages        = {61--68},
  publisher    = {Morgan Kaufmann},
  year         = {2002},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=845\&\#38;proceeding\_id=18},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/BonetP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BonetG01,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Planning as heuristic search},
  journal      = {Artif. Intell.},
  volume       = {129},
  number       = {1-2},
  pages        = {5--33},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0004-3702(01)00108-4},
  doi          = {10.1016/S0004-3702(01)00108-4},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BonetG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BonetG01,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Heuristic Search Planner 2.0},
  journal      = {{AI} Mag.},
  volume       = {22},
  number       = {3},
  pages        = {77--80},
  year         = {2001},
  url          = {https://doi.org/10.1609/aimag.v22i3.1576},
  doi          = {10.1609/AIMAG.V22I3.1576},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/BonetG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/BonetG01,
  author       = {Blai Bonet and
                  Hector Geffner},
  title        = {Planning and Control in Artificial Intelligence: {A} Unifying Perspective},
  journal      = {Appl. Intell.},
  volume       = {14},
  number       = {3},
  pages        = {237--252},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011286518035},
  doi          = {10.1023/A:1011286518035},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apin/BonetG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Bonet01,
  author       = {Blai Bonet},
  editor       = {Jack S. Breese and
                  Daphne Koller},
  title        = {A Calculus for Causal Relevance},
  booktitle    = {{UAI} '01: Proceedings of the 17th Conference in Uncertainty in Artificial
                  Intelligence, University of Washington, Seattle, Washington, USA,
                  August 2-5, 2001},
  pages        = {40--47},
  publisher    = {Morgan Kaufmann},
  year         = {2001},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=81\&\#38;proceeding\_id=17},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/Bonet01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Bonet01a,
  author       = {Blai Bonet},
  editor       = {Jack S. Breese and
                  Daphne Koller},
  title        = {Instrumentality Tests Revisited},
  booktitle    = {{UAI} '01: Proceedings of the 17th Conference in Uncertainty in Artificial
                  Intelligence, University of Washington, Seattle, Washington, USA,
                  August 2-5, 2001},
  pages        = {48--55},
  publisher    = {Morgan Kaufmann},
  year         = {2001},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=82\&\#38;proceeding\_id=17},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/Bonet01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/LongKSBGKBHRAWSF00,
  author       = {Derek Long and
                  Henry A. Kautz and
                  Bart Selman and
                  Blai Bonet and
                  Hector Geffner and
                  Jana Koehler and
                  Michael Brenner and
                  J{\"{o}}rg Hoffmann and
                  Frank Rittinger and
                  Corin R. Anderson and
                  Daniel S. Weld and
                  David E. Smith and
                  Maria Fox},
  title        = {The {AIPS-98} Planning Competition},
  journal      = {{AI} Mag.},
  volume       = {21},
  number       = {2},
  pages        = {13--33},
  year         = {2000},
  url          = {https://doi.org/10.1609/aimag.v21i2.1505},
  doi          = {10.1609/AIMAG.V21I2.1505},
  timestamp    = {Tue, 02 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aim/LongKSBGKBHRAWSF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BonetG00,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Steve A. Chien and
                  Subbarao Kambhampati and
                  Craig A. Knoblock},
  title        = {Planning with Incomplete Information as Heuristic Search in Belief
                  Space},
  booktitle    = {Proceedings of the Fifth International Conference on Artificial Intelligence
                  Planning Systems, Breckenridge, CO, USA, April 14-17, 2000},
  pages        = {52--61},
  publisher    = {{AAAI}},
  year         = {2000},
  url          = {http://www.aaai.org/Library/AIPS/2000/aips00-006.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/BonetG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecp/BonetG99,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Susanne Biundo and
                  Maria Fox},
  title        = {Planning as Heuristic Search: New Results},
  booktitle    = {Recent Advances in {AI} Planning, 5th European Conference on Planning,
                  ECP'99, Durham, UK, September 8-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1809},
  pages        = {360--372},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10720246\_28},
  doi          = {10.1007/10720246\_28},
  timestamp    = {Tue, 02 Nov 2021 15:59:06 +0100},
  biburl       = {https://dblp.org/rec/conf/ecp/BonetG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/BonetG98,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Jude W. Shavlik},
  title        = {Learning Sorting and Decision Trees with POMDPs},
  booktitle    = {Proceedings of the Fifteenth International Conference on Machine Learning
                  {(ICML} 1998), Madison, Wisconsin, USA, July 24-27, 1998},
  pages        = {73--81},
  publisher    = {Morgan Kaufmann},
  year         = {1998},
  timestamp    = {Thu, 30 Jun 2011 10:34:12 +0200},
  biburl       = {https://dblp.org/rec/conf/icml/BonetG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BonetLG97,
  author       = {Blai Bonet and
                  G{\'{a}}bor Loerincs and
                  Hector Geffner},
  editor       = {Benjamin Kuipers and
                  Bonnie L. Webber},
  title        = {A Robust and Fast Action Selection Mechanism for Planning},
  booktitle    = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
                  and Ninth Innovative Applications of Artificial Intelligence Conference,
                  {AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
                  {USA}},
  pages        = {714--719},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1997},
  url          = {http://www.aaai.org/Library/AAAI/1997/aaai97-111.php},
  timestamp    = {Tue, 05 Sep 2023 08:53:09 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BonetLG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/BonetG96,
  author       = {Blai Bonet and
                  Hector Geffner},
  editor       = {Eric Horvitz and
                  Finn Verner Jensen},
  title        = {Arguing for Decisions: {A} Qualitative Model of Decision Making},
  booktitle    = {{UAI} '96: Proceedings of the Twelfth Annual Conference on Uncertainty
                  in Artificial Intelligence, Reed College, Portland, Oregon, USA, August
                  1-4, 1996},
  pages        = {98--105},
  publisher    = {Morgan Kaufmann},
  year         = {1996},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=357\&\#38;proceeding\_id=12},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/BonetG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics