Prof. Blai Bonet ORCID: 0000-0001-8212-7408 Matemáticas y Sistemas, 215-A Departamento de Computación Universidad Simón Bolívar Caracas 89000, Venezuela Departament de Tecnologies de la Informació i les Comunicacions (DTIC) Universitat Pompeu Fabra Barcelona, Spain bonetblai AT gmail DOT com bonet AT usb DOT ve Web: http://bonetblai.github.io

Research Interests

• Decision-theoretic planning and heuristic search
• Reinforcement learning
• Deep learning
• Graphical models: Bayesian nets, MRFs, causality, etc
• Theoretical aspects of Computer Science

Professional Services and Activities

• Recipient of 2018 Cátedra de Excelencia UC3M-Banco Santander Award
• Member of the AAAI Executive Council 2016-2019
• Member of AAAI Conference Committee 2015-2019
• Program Co-Chair AAAI-2015 with Sven Koenig (USC, USA)
• Associate Editor AI Access Books 2013-2017
• Associate Editor Journal of Artificial Intelligence Research (JAIR) 2012-2019
• Associate Editor Artificial Intelligence (AIJ) 2011-date
• Associate Editor Bulletin of Computational Applied Mathematics (CompAMa)
• Member of Executive Council of ICAPS 2012-2018
• Conference Co-Chair ICAPS-2012 with Jose Reinaldo Silva (USP, Brazil), Brian Williams (MIT, USA) and Lee McCluskey (Huddersfield, UK)
• Workshops Co-Chair ICAPS-2011 with Amedeo Cesta (ISTC, Italy)
• Head of the Computer Science Department 2009-2011
• Editorial Board of Artificial Intelligence 2009-2011
• Tutorial Chair for ICAPS-2008
• Editorial Board of Journal of Artificial Intelligence Research (JAIR) 2007-2010
• Co-Organizer of the workshop Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges at ICAPS 2007.
• Co-Organizer of 5th International Planning Competition held at ICAPS'06 in Cumbria, UK.
• Major Conferences: IJCAI, AAAI, ECAI, ICAPS, UAI, SoCS, etc.
• Journals: J. of Artificial Intelligence Research, Artificial Intelligence, J. of Automated Reasoning, Computational Intelligence, J. of Artificial Intelligence and Mathematics.

Teaching

• CI2511 - Symbolic Logic: F06
• CI2525 - (former CI2523) Discrete Math I (Combinatorics): F05,07-09, W07-08,11,13-14, S04-05
• CI2526 - Discrete Math II (Set Theory): S13
• CI2612 - Algorithms and Data Structures II: F15-W16, S16, W17, S17, F17, S18
• CI2613 - Algorithms and Data Structures III (Graph Algorithms): F14, W15
• CI2692 - Lab Algorithms II: F17
• CI2693 - Lab Algorithms III: S10
• CI3725 - Automata Theory: F03-04, W04, S07, W20
• CI5437 - Introduction to AI (I & II): F05,12, S05-08,14, W14, S15, F16, W18, F19
• CI7431 - Knowledge Representation (grad): F06, W05, S09
• CI7541 - Theory of Computation (grad): W04-11
• CI7621 - Analysis of Algorithms (grad): F10,12-14, W15

Publications

Awarded Papers:

• ICAPS-24 Influential Paper Award
  LP-based Heuristics for Cost-optimal Planning (pdf) (slides)
  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.
• ICAPS-22 Best Paper Award
  Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits (pdf) (aaai) (arXiv)
  Simon Ståhlberg, Blai Bonet, and Hector Geffner.
  Proc. 32nd Int. Conf. on Automated Planning and Scheduling (ICAPS). Singapore (Virtual). 2022. Pages 629-637.
• ICAPS-21 Best Paper Award
  Flexible FOND Planning with Explicit Fairness Assumptions (pdf) (aaai) (arXiv long)
  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.
• ICAPS-14 Influential Paper Award
  Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming. (pdf) (BibTeX)
  Blai Bonet and Hector Geffner.
  Proc. 13th Int. Conf. on Automated Planning and Scheduling (ICAPS). Trento, Italy. 2003. AAAI Press. Pages 12-21.
• ICAPS-14 Outstanding Paper Award
  LP-based Heuristics for Cost-optimal Planning (pdf) (slides)
  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.
• ECAI-10 Best Paper Award
  Strengthening Landmark Heuristics via Hitting Sets (pdf) (slides)
  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)
• ICAPS-09 Influential Paper Award
  Planning as Heuristic Search: New Results. (pdf) (BibTeX)
  Blai Bonet and Hector Geffner.
  Proc. 5th European Conf. on Planning (ECP). Durham, UK. 1999. Springer LNCS 1809. Pages 359-371.
• ICAPS-06 Best Research-Paper Award
  
• Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and its application to MDPs. (pdf) (slides)
  Blai Bonet and Hector Geffner.
  Proc. 16th Int. Conf. on Automated Planning and Scheduling (ICAPS). Cumbria, UK. 2006. AAAI Press. Pages 142-151.
• UAI-01 Runner-up Student-Paper Award
  Instrumentality Tests Revisited. (pdf) (arXiv) (BibTeX)
  Blai Bonet.
  Proc. 17th Conf. on Uncertainty in Artificial Intelligence (UAI). Seattle, WA. 2001. Morgan Kaufmann. Pages 48-55.

Books and Book Chapters:

• A Concise Introduction to Models and Methods for Automated Planning (doi) (amazon)
  Hector Geffner and Blai Bonet.
  Synthesis Lectures on Artificial Intelligence and Machine Learning.
  Morgan & Claypool Publishers. 2013. ISBN 978-1-608459-69-8.


• Heuristic Search for Planning under Uncertainty (amazon)
  Blai Bonet and Eric A. Hansen.
  In Heuristics, Probability and Causality: A Tribute to Judea Pearl.
  College Publications. 2010. Pages 3-22. ISBN 978-1-904987-66-6.

Edited collections:

• Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI)
  Blai Bonet and Sven Koenig, Program Cochairs.
  Austin, Texas USA. January 25-30, 2015. AAAI Press.
  ISSN 2374-3468 (Online)
  ISSN 2159-5399 (Print)
• Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS) (AAAI)
  Lee McCluskey, Brian Williams, José Reinaldo Silva, Blai Bonet (Eds.).
  Atibaia, São Paulo, Brazil, June 25-19, 2012. AAAI Press. ISBN 978-1-577355-62-5.
• 5th International Planning Competition. (pdf)
  Alfonso Gerevini, Blai Bonet and Robet Givan (Eds).
  Held in conjunction with 16th Int. Conf. on Automated Planning and Scheduling (ICAPS). Cumbria, UK. 2006.
• A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence (pdf)
  Robert Morris, Sven Koenig, Blai Bonet, Marc Cavazza, Marie desJardins, Ariel Felner, Nick Hawes, Brad Knox, George Konidaris, Jérôme Lang, Carlos Linares López, Daniele Magazzeni, Amy McGovern, Sriraam Natarajan, Nathan R. Sturtevant, Michael Thielscher, William Yeoh, Sebastian Sardina, Kiri Wagstaff
  AI Magazine 36(3): 99-106. 2015.

Papers:

1. New! Towards Principled Graph Transformers (openreview)
   Luis Müller, Daniel Kusuma, Blai Bonet, and Christopher Morris.
   Proc. 38th Annual Conf. on Neural Information Processing Systems (NeurIPS). Vancouver, Canada. 2024. Accepted.
2. New! Learning General Policies for Classical Planning Domains: Getting Beyond C2
   Simon Ståhlberg, Blai Bonet, and Hector Geffner.
   Submitted. 2024.
3. New! Symmetries and Expressive Requirements for Learning General Policies (arXiv) (kr)
   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.
4. New! On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies (arXiv) (aaai)
   Blai Bonet, Dominik Drexler, and Hector Geffner.
   Proc. 34th Int. Conf. on Automated Planning and Scheduling (ICAPS). Banff, Canada. 2024. Pages 31-39.
5. New! General Policies, Subgoal Structure, and Planning Width (jair) (arXiv)
   Blai Bonet and Hector Geffner.
   Journal of Artificial Intelligence Research (JAIR) 80 (2024) 475-516.
6. 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.
7. Learning General Policies with Policy Gradient Methods (pdf) (kr)
   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.
8. Language-Based Causal Representation Learning (arXiv)
   Blai Bonet and Hector Geffner. 2022.
   
9. FOND Planning with Explicit Fairness Assumptions (pdf) (jair)
   Ivan D. Rodriguez, Blai Bonet, Javier Romero, and Hector Geffner.
   Journal of Artificial Intelligence Research (JAIR) 74 (2022) 887-916.
10. Learning Generalized Policies Without Supervision Using GNNs (pdf) (kr) (prl) (arXiv) (slides)
    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.
11. Learning First-Order Symbolic Planning Representations That Are Grounded (arXiv) (prl)
    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.
12. Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits (Best Paper Award) (pdf) (aaai) (arXiv)
    Simon Ståhlberg, Blai Bonet, and Hector Geffner.
    Proc. 32nd Int. Conf. on Automated Planning and Scheduling (ICAPS). Singapore (Virtual). 2022. Pages 629-637.
13. Learning First-Order Representations for Planning from Black-Box States: New Results (pdf) (kr) (arXiv)
    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.
14. Flexible FOND Planning with Explicit Fairness Assumptions (Best Paper Award) (pdf) (aaai) (arXiv long)
    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.
15. Learning General Planning Policies from Small Examples Without Supervision (pdf) (aaai) (arXiv long)
    Guillem Francès, Blai Bonet, and Hector Geffner.
    Proc. 35th AAAI Conf. on Artificial Intelligence (AAAI). Vancouver, Canada. 2021. Pages 11801-11808.
16. General Policies, Representations, and Planning Width (pdf) (aaai) (arXiv long) (poster)
    Blai Bonet and Hector Geffner.
    Proc. 35th AAAI Conf. on Artificial Intelligence (AAAI). Vancouver, Canada. 2021. Pages 11764-11773.
17. High-Level Programming via Generalized Planning and LTL Synthesis (pdf) (kr)
    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.
18. Qualitative Numeric Planning: Reductions and Complexity (pdf) (jair) (arXiv)
    Blai Bonet and Hector Geffner.
    Journal of Artificial Intelligence Research (JAIR) 69 (2020) 923-961.
19. Learning First-Order Symbolic Representations for Planning from the Structure of the State Space (pdf) (ecai) (arXiv)
    Blai Bonet and Hector Geffner.
    Proc. 24th European Conf. on Artificial Intelligence (ECAI). Santiago de Compostela, Spain. 2020. Pages 2322-2329.
20. Guarantees for Sound Abstractions for Generalized Planning (pdf) (ijcai) (arXiv)
    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.
21. Learning Features and Abstract Actions for Computing Generalized Plans (pdf) (aaai) (arXiv) (slides)
    Blai Bonet, Guillem Francès, and Hector Geffner.
    Proc. 33rd AAAI Conf. on Artificial Intelligence (AAAI). Hawaii, USA. 2019. Pages 2703-2710.
22. Features, Projections, and Representation Change for Generalized Planning (pdf) (ijcai) (arXiv)
    Blai Bonet and Hector Geffner.
    Proc. 27th Int. Joint Conf. on Artificial Intelligence (IJCAI). Stockholm, Sweden. 2018. Pages 4667-4673.
23. Planning with Pixels in (Almost) Real Time (pdf) (aaai) (arXiv) (slides)
    Wilmer Bandres, Blai Bonet, and Hector Geffner.
    Proc. 32nd AAAI Conf. on Artificial Intelligence (AAAI). New Orleans, USA. 2018. Pages 6102-6109.
24. Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints (pdf) (ijcai) (arXiv) (ICAPS17 slides)
    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.
25. Abstraction Heuristics, Cost Partitioning and Network Flows (pdf) (aaai)
    Florian Pommerening, Malte Helmert and Blai Bonet.
    Proc. 27th Int. Conf. on Automated Planning and Scheduling (ICAPS). Pittsburgh, USA. 2017. Pages 228-232.
26. Completeness of Online Planners for Partially Observable Deterministic Tasks (pdf) (aaai) (slides)
    Blai Bonet, Gabriel Formica, Melecio Ponte.
    Proc. 27th Int. Conf. on Automated Planning and Scheduling (ICAPS). Pittsburgh, USA. 2017. Pages 38-46.
27. Higher-Dimensional Potential Heuristics for Optimal Classical Planning (pdf) (aaai) (arXiv) (slides)
    Florian Pommerening, Malte Helmert and Blai Bonet.
    Proc. 31st AAAI Conf. on Artificial Intelligence (AAAI). San Francisco, USA. 2017. Pages 3636-3643.
28. Factored Probabilistic Belief Tracking (pdf) (ijcai) (arXiv) (slides)
    Blai Bonet and Hector Geffner.
    Proc. 25th Int. Joint Conf. on Artificial Intelligence (IJCAI). New York, USA. 2016. Pages 3045-3052.
29. Policies that Generalize: Solving Many Planning Problems with the Same Policy (pdf) (ijcai) (slides)
    Blai Bonet and Hector Geffner.
    Proc. 24th Int. Joint Conf. on Artificial Intelligence (IJCAI). Buenos Aires, Argentina. 2015. Pages 2798-2804.
30. Heuristics for Cost-Optimal Classical Planning based on Linear Programming (pdf) (ijcai) (slides)
    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.
31. Belief Tracking for Planning with Sensing: Width, Complexity and Approximations (jair) (pdf)
    Blai Bonet and Hector Geffner.
    Journal of Artificial Intelligence Research 50 (2014). Pages 923-970.
32. Recent Advances in Unfolding Technique (doi)
    Blai Bonet, Patrik Haslum, Victor Khomenko, Sylvie Thiébaux and Walter Vogler.
    Theoretical Computer Science 551 (2014). Elsevier. Pages 84-101.
33. Flexible and Scalable Partially Observable Planning with Linear Translations (pdf) (poster) (AAAI)
    Blai Bonet and Hector Geffner.
    Proc. 28th AAAI Conf. on Artificial Intelligence (AAAI). Québec City, Canada. 2014. Pages 2235-2241.
34. Universal First-Order Logic is Superfluous for NL, P, NP and CoNP (arxiv)
    Nerio Borges and Blai Bonet.
    Logical Methods in Computer Science 10(1:15) 2014. Pages 1-18.
35. LP-based Heuristics for Cost-optimal Planning (Outstanding Paper Award) (ICAPS-24 Influential Paper Award) (pdf) (slides)
    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.
36. Flow-based Heuristics for Optimal Planning: Landmarks and Merges (pdf) (slides)
    Blai Bonet and Menkes van den Briel.
    Proc. 24th Int. Conf. on Automated Planning and Scheduling (ICAPS). Portsmouth, USA. 2014. Pages 47-55.
37. Causal Belief Decomposition for Planning with Sensing: Completeness and Practical Approximation (pdf) (arXiv) (slides)
    Blai Bonet and Hector Geffner.
    Proc. 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI). Beijing, China. 2013. Pages 2275-2281.
38. An Admissible Heuristic for SAS+ Planning Obtained from the State Equation (pdf) (slides)
    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)
39. Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions (pdf) (slides)
    Aldo Porco, Alejandro Machado and Blai Bonet.
    Proc. 23rd Int. Conf. on Automated Planning and Scheduling (ICAPS). Rome, Italy. 2013. Pages 342-346.
40. Action Selection for MDPs: Anytime AO* vs. UCT (pdf) (arXiv) (slides) (AAAI)
    Blai Bonet and Hector Geffner.
    Proc. 26th AAAI Conf. on Artificial Intelligence (AAAI). Toronto, Canada. 2012. Pages 1749-1755.
41. Width and Complexity of Belief Tracking in Non-deterministic Conformant and Contingent Planning (pdf) (slides) (AAAI)
    Blai Bonet and Hector Geffner.
    Proc. 26th AAAI Conf. on Artificial Intelligence (AAAI). Toronto, Canada. 2012. Pages 1756-1762.
42. Syntactic Characterizations of Completeness using Duals and Operators (pdf)
    Blai Bonet and Nerio Borges.
    Logic Journal of IGPL 20(1) 2012. Oxford University Press. Pages 266-282.
43. Planning under Partial Observability by Classical Replanning: Theory and Experiments (pdf) (poster)
    Blai Bonet and Hector Geffner.
    Proc. 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI). Barcelona, Spain. 2011. Pages 1936-1941.
44. Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS (pdf) (slides)
    Aldo Porco, Alejandro Machado and Blai Bonet.
    Proc. 21st Int. Conf. on Automated Planning and Scheduling (ICAPS). Freiburg, Germany. 2011. Pages 178-185.
45. Abstraction Heuristics Extended with Counting Abstractions (pdf) (slides)
    Blai Bonet.
    Proc. 21st Int. Conf. on Automated Planning and Scheduling (ICAPS). Freiburg, Germany. 2011. Pages 311-314.
46. A Complete Algorithm for Generating Landmarks (pdf) (slides)
    Blai Bonet and Julio Castillo.
    Proc. 21st Int. Conf. on Automated Planning and Scheduling (ICAPS). Freiburg, Germany. 2011. Pages 315-318.
47. STEREO: a SaT-based tool for an optimal solution of the sERvice selEctiOn problem (urn)
    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.
48. An Expressive and Efficient Solution to the Service Selection Problem (pdf)
    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.
49. Strengthening Landmark Heuristics via Hitting Sets (Best Paper Award) (pdf) (slides)
    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)
50. Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs (pdf)
    Christopher Amato, Blai Bonet and Shlomo Zilberstein.
    Proc. 24th National Conf. on Artificial Intelligence (AAAI). Atlanta, GA. 2010. AAAI Press. Pages 1052-1058.
51. Automatic Derivation of Finite-State Machines for Behavior Control (Nectar Track) (pdf)
    Blai Bonet, Hector Palacios and Hector Geffner.
    Proc. 24th National Conf. on Artificial Intelligence (AAAI). Atlanta, GA. 2010. AAAI Press. Pages 1656-1659.
52. Conformant Plans and Beyond: Principles and Complexity (doi)
    Blai Bonet.
    Artificial Intelligence 174 (2010). Elsevier. Pages 245-269.
53. Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners. (pdf)
    Blai Bonet, Hector Palacios and Hector Geffner.
    Proc. 19th Int. Conf. on Automated Planning and Scheduling (ICAPS). Thessaloniki, Greece. 2009. Pages 34-41.
54. Deterministic POMDPs Revisited. (pdf) (arXiv)
    Blai Bonet.
    Proc. 25th Conf. on Uncertainty in Artificial Intelligence (UAI). Montreal, Canada. 2009. Pages 59-66.
55. Solving POMDPs: RTDP-Bel bs. Point-based Algorithms. (pdf)
    Blai Bonet and Hector Geffner.
    Proc. 21st Int. Joint Conf. on Artificial Intelligence (IJCAI). Pasadena, California. 2009. AAAI Press. Pages 1641-1646.
56. Directed Unfolding of Petri Nets. (pdf) (doi)
    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.
57. Heuristics for Planning with Penalties and Rewards Formulated in Logic and Computed through Circuits (doi)
    Blai Bonet and Hector Geffner.
    Artificial Intelligence 172 (2008). Elsevier. Pages 1579-1604.
58. Efficient Algorithms to Rank and Unrank Permutations in Lexicographic Order (pdf) (poster)
    Blai Bonet.
    Workshop on Search in Artificial Intelligence and Robotics at AAAI 2008.
59. Multiple Symmetries in Sliding-Tile Puzzles: First Experiments. (pdf)
    Cesar Romero, Julio Castillo, Blai Bonet.
    Workshop on Search in Artificial Intelligence and Robotics at AAAI 2008.
60. Logical Encodings With No Time Indexes for Defining and Computing Admissible Heuristics for Planning. (pdf)
    Miquel Ramirez, Blai Bonet and Hector Geffner.
    Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges at ICAPS 2007.
61. On the Speed of Convergence of Value Iteration on Stochastic Shortest-Path Problems. (for pdf send email)
    Blai Bonet.
    Mathematics of Operations Research 32 (2007). INFORMS. Pages 365-373.
62. Directed Unfolding of Petri Nets. (pdf)
    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.
63. External Memory Value Iteration. (pdf)
    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) (Dortmund)
64. On Canonical Forms of Complete Problems via First-Order Projections. (arXiv)
    Nerio Borges and Blai Bonet.
    Proc. 9th Int. Workshop on Logic and Computational Complexity (LCC). Wroclaw, Poland. 2007.
65. Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning. (pdf)
    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.
66. Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic. (pdf) (slides)
    Yolife Arvelo, Blai Bonet and Maria Esther Vidal.
    Proc. 21st National Conf. on Artificial Intelligence (AAAI). Boston, MA. 2006. AAAI Press. Pages 225-230.
67. Heuristics for Planning with Penalties and Rewards using Compiled Knowledge. (pdf) (slides)
    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.
68. Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and its application to MDPs. (Best Research-Paper Award) (pdf) (slides)
    Blai Bonet and Hector Geffner.
    Proc. 16th Int. Conf. on Automated Planning and Scheduling (ICAPS). Cumbria, UK. 2006. AAAI Press. Pages 142-151.
69. Bounded Branching and Modalities in Non-Deterministic Planning. (pdf) (slides) (UPF-slides)
    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.
70. mGPT: A Probabilistic Planner Based on Heuristic Search. (pdf)
    Blai Bonet and Hector Geffner.
    Journal of Artificial Intelligence Research 24 (2005). Pages 933-944.
71. New Admissible Heuristics for Domain-Independent Planning. (pdf)
    Patrik Haslum, Blai Bonet and Hector Geffner.
    Proc. 20th National Conf. on Artificial Intelligence (AAAI). Pittsburgh, PA. 2005. AAAI Press. Pages 1163-1168.
72. An Algorithm Better than AO*?. (pdf) (Poster)
    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.
73. Learning in Depth-First Search: A Unified Approach to Heuristic Search in Deterministic, Non-Deterministic, Probabilistic, and Game Tree Settings. (pdf) (slides)
    Blai Bonet and Hector Geffner.
    Universidad Simon Bolivar. Technical Report 2005. Copyright.
74. Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations. (pdf) (slides)
    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.
75. mGPT: A Probabilistic Planner based on Heuristic Search. (pdf)
    Blai Bonet and Hector Geffner.
    1st International Probabilistic-Planning Competition in 14th Int. Conf. on Automated Planning and Scheduling (ICAPS). Banff, Canada. 2004.
76. Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback. (pdf) (BibTeX)
    Blai Bonet and Hector Geffner.
    Proc. 18th Int. Joint Conf. on Artificial Intelligence (IJCAI). Acapulco, Mexico. 2003. Morgan Kaufmann. Pages 1233-1238.
77. Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming. (ICAPS-14 Influential Paper Award) (pdf) (BibTeX)
    Blai Bonet and Hector Geffner.
    Proc. 13th Int. Conf. on Automated Planning and Scheduling (ICAPS). Trento, Italy. 2003. AAAI Press. Pages 12-21.
78. GPT meets PSR. (pdf) (BibTeX)
    Blai Bonet and Sylvie Thiébaux.
    Proc. 13th Int. Conf. on Automated Planning and Scheduling (ICAPS). Trento, Italy. 2003. AAAI Press. Pages 102-111.
79. Qualitative MDPs and POMDPs: An Order-Of-Magnitude Approach. (pdf) (arXiv) (BibTeX)
    Blai Bonet and Judea Pearl.
    Proc. 18th Conf. on Uncertainty in Artificial Intelligence (UAI). Edmonton, Canada. 2002. Morgan Kaufmann. Pages 61-68.
80. Solving Stochastic Shortest-Path Problems with RTDP. (pdf)
    Blai Bonet and Hector Geffner.
    Universidad Simon Bolivar. Technical Report 2002. Copyright.
81. An epsilon-Optimal Grid-Based Algorithm for Partially Observable Markov Decision Processes. (pdf) (BibTeX)
    Blai Bonet.
    Proc. 19th Int. Conf. on Machine Learning (ICML). Sydney, Australia. 2002. Morgan Kaufmann. Pages 51-58.
82. Instrumentality Tests Revisited. (Runner-up Student-Paper Award) (pdf) (arXiv) (BibTeX)
    Blai Bonet.
    Proc. 17th Conf. on Uncertainty in Artificial Intelligence (UAI). Seattle, WA. 2001. Morgan Kaufmann. Pages 48-55.
83. A Calculus for Causal Relevance. (pdf) (arXiv) (BibTeX)
    Blai Bonet.
    Proc. 17th Conf. on Uncertainty in Artificial Intelligence (UAI). Seattle, WA. 2001. Morgan Kaufmann. Pages 40-47.
84. GPT: A Tool for Planning with Uncertainty and Partial Information. (pdf) (BibTeX)
    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.
85. Heuristic Search Planner Ver. 2.0. (Description of Planner entered into AIPS-00 Competition) (pdf) (BibTeX)
    Blai Bonet and Hector Geffner.
    AI Magazine. Fall 2001. Pages 77-80.
86. Planning As Heuristic Search. (pdf) (BibTeX)
    Blai Bonet and Hector Geffner.
    Artificial Intelligence 129 (2001). Elsevier. Pages 5-33.
87. Planning and Control in Artificial Intelligence: A Unifying Perspective. (pdf) (BibTeX)
    Blai Bonet and Hector Geffner.
    Applied Intelligence 14 (2001). Kluwer. Pages 237-252.
88. Planning with Incomplete Information as Heuristic Search in Belief Space. (pdf) (BibTeX)
    Blai Bonet and Hector Geffner.
    Proc. 5th Int. Conf. on AI Planning and Scheduling (AIPS). Breckenridge, CO. 2000. AAAI Press. Pages 52-61.
89. 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.
90. Planning as Heuristic Search: New Results. (ICAPS-09 Influential Paper Award) (pdf) (BibTeX)
    Blai Bonet and Hector Geffner.
    Proc. 5th European Conf. on Planning (ECP). Durham, UK. 1999. Springer LNCS 1809. Pages 359-371.
91. HSP: Heuristic Search Planner. (pdf)
    Blai Bonet and Hector Geffner.
    First description of HSP at the AIPS-98 Planning Competition, Pittsburgh 6/98.
92. High-Level Planning and Control with Incomplete Information Using POMDPs. (pdf)
    Hector Geffner and Blai Bonet.
    Proc. Fall AAAI Symposium on Cognitive Robotics, 1998. Orlando, FL.
93. Solving Large POMDPs by Real Time Dynamic Programming. (pdf)
    Hector Geffner and Blai Bonet.
    Proc. Fall AAAI Symposium on POMDPS. 1998. Orlando, FL.
94. Learning Sorting and Decision Trees with POMDPs. (pdf) (BibTeX)
    Blai Bonet and Hector Geffner.
    Proc. 15th Int. Conf. on Machine Learning (ICML). Madison, WI. 1998. Morgan Kaufmann. Pages 73-81.
95. A Fast and Robust Action Selection Mechanism for Planning. (pdf) (BibTeX)
    Blai Bonet, Gábor Loerincs, and Hector Geffner.
    Proc. 14th National Conf. on Artificial Intelligence (AAAI). Providence, RI. 1997. AAAI Press. Pages 714-719.
96. Arguing for Decisions: A Qualitative Model of Decision Making. (pdf) (arXiv) (BibTeX)
    Blai Bonet and Hector Geffner.
    Proc. 12th Conf. on Uncertainty in Artificial Intelligence (UAI). Portland, OR. 1996. Morgan Kaufmann. Pages 98-105.
97. Causal Reasoning with Domain Constraints.
    Blai Bonet and Hector Geffner.
    Proc. XXI Conf. Latinoamericana de Informatica. Canela, Brasil. 1995. Pages 767-778.

Talks, Tutorials, etc.

• IJCAI GenPlan 2022 Workshop: Feature-based Generalized Policies and Guarantees
• ICAPS/IJCAI 2022 Tutorial Representation learning for acting and planning: A top-down approach
• ICAPS 2020 Invited Talk: Learning Planning Representations From Traces Via SAT
• ECAI 2020 Frontiers in AI: Representation learning and synthesis for generalized planning
• 2019 UC3M-Santander Chair of Excellence: April, June
• IJCAI-2016: Tutorial on automated planning
• IBERAMIA-2014: Invited talk, Tutorial
• BRACIS-2013: Invited talk (slides), Tutorial (slides)
• 5th Int. Seminar on New Issues on Artificial Intelligence at UC3M (2012): Probabilistic Planning (slides), Petri Nets (ICAPS-11 slides)
• ACAI Summer School on Automated Planning and Scheduling at ICAPS-2011 (slides superseded by UC3M 2012 Talks)
• Tutorial ICAPS-2011: Petri Nets (with P. Haslum) (slides)
• Tutorial ICAPS-2009: Petri Nets and Their Relation to Planning (with P. Haslum, S. Hickmott, S. Thiébaux and S. Edelkamp) (slides)
• Tutorial ICAPS-2009: Heuristics for Classical Planning (with E. Keyder) (slides)

Software

Github