Prof. Blai Bonet

Matemáticas y Sistemas, 215-A
Departamento de Computación
Universidad Simón Bolívar
Caracas 89000, Venezuela

bonet AT ldc DOT usb DOT ve
Tel: +58 (212) 906-3263
Fax: +58 (212) 906-3243
Web: http://www.ldc.usb.ve/~bonet



I received a MSc degree (1996) from Universidad Simón Bolívar under the direction of Prof. Hector Geffner, and later a PhD degree (2004) from University of California, Los Angeles, under the direction of Prof. Judea Pearl and Prof. Richard Korf, both in Artificial Intelligence which is part of Computer Science. I am a Professor of Computer Science at Universidad Simón Bolívar. My research interests lie in the intersection of several disciplines including automated planning, Bayesian networks, knowledge representation, heuristic search, SAT, etc. I have developed several software for different types of planning systems, and for other applications as well. Most of the software can be downloaded directly from here; for others just send me an email.


Navigation

Research Interests
Some Professional Activities
Teaching
Publications
Talks, Tutorials, etc.
Software
5th International Planning Competition

Research Interests


Professional Services and Activities


Teaching


Publications

Google Scholar DBLP

Books and Book Chapters:

Edited collections:

Papers:

  1. New! Higher-Dimensional Potential Heuristics for Optimal Classical Planning
    Florian Pommerening, Malte Helmert and Blai Bonet.
    Proc. 31st AAAI Conf. on Artificial Intelligence (AAAI). San Francisco, USA. 2017. To appear.
  2. Factored Probabilistic Belief Tracking (pdf) (ijcai) (slides)
    Blai Bonet and Hector Geffner.
    Proc. 25th Int. Joint Conf. on Artificial Intelligence (IJCAI). New York, USA. 2016. Pages 3045-3052.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. Universal First-Order Logic is Superfluous for NL, P, NP and CoNP (pdf)
    Nerio Borges and Blai Bonet.
    Logical Methods in Computer Science 10(1:15) 2014. Pages 1-18.
  10. LP-based Heuristics for Cost-optimal Planning (Outstanding 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.
  11. 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.
  12. Causal Belief Decomposition for Planning with Sensing: Completeness and Practical Approximation (pdf) (slides)
    Blai Bonet and Hector Geffner.
    Proc. 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI). Beijing, China. 2013. Pages 2275-2281.
  13. 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)
  14. 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.
  15. Action Selection for MDPs: Anytime AO* vs. UCT (pdf) (slides) (AAAI)
    Blai Bonet and Hector Geffner.
    Proc. 26th AAAI Conf. on Artificial Intelligence (AAAI). Toronto, Canada. 2012. Pages 1749-1755.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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)
  25. 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.
  26. 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.
  27. Conformant Plans and Beyond: Principles and Complexity (doi)
    Blai Bonet.
    Artificial Intelligence 174 (2010). Elsevier. Pages 245-269.
  28. 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.
  29. Deterministic POMDPs Revisited. (pdf)
    Blai Bonet.
    Proc. 25th Conf. on Uncertainty in Artificial Intelligence (UAI). Montreal, Canada. 2009. Pages 59-66.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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)
  39. On Canonical Forms of Complete Problems via First-Order Projections.
    Nerio Borges and Blai Bonet.
    Proc. 9th Int. Workshop on Logic and Computational Complexity (LCC). Wroclaw, Poland. 2007.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. mGPT: A Probabilistic Planner Based on Heuristic Search. (pdf)
    Blai Bonet and Hector Geffner.
    Journal of Artificial Intelligence Research 24 (2005). Pages 933-944.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. 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.
  51. 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.
  52. 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.
  53. 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.
  54. Qualitative MDPs and POMDPs: An Order-Of-Magnitude Approach. (pdf) (BibTeX)
    Blai Bonet and Judea Pearl.
    Proc. 18th Conf. on Uncertainty in Artificial Intelligence (UAI). Edmonton, Canada. 2002. Morgan Kaufmann. Pages 61-68.
  55. Solving Stochastic Shortest-Path Problems with RTDP. (pdf)
    Blai Bonet and Hector Geffner.
    Universidad Simon Bolivar. Technical Report 2002. Copyright.
  56. 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.
  57. Instrumentality Tests Revisited. (Runner-up Student-Paper Award) (pdf) (BibTeX)
    Blai Bonet.
    Proc. 17th Conf. on Uncertainty in Artificial Intelligence (UAI). Seattle, WA. 2001. Morgan Kaufmann. Pages 48-55.
  58. A Calculus for Causal Relevance. (pdf) (BibTeX)
    Blai Bonet.
    Proc. 17th Conf. on Uncertainty in Artificial Intelligence (UAI). Seattle, WA. 2001. Morgan Kaufmann. Pages 40-47.
  59. 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.
  60. 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.
  61. Planning As Heuristic Search. (pdf) (BibTeX)
    Blai Bonet and Hector Geffner.
    Artificial Intelligence 129 (2001). Elsevier. Pages 5-33.
  62. Planning and Control in Artificial Intelligence: A Unifying Perspective. (pdf) (BibTeX)
    Blai Bonet and Hector Geffner.
    Applied Intelligence 14 (2001). Kluwer. Pages 237-252.
  63. 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.
  64. 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.
  65. 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.
  66. HSP: Heuristic Search Planner. (pdf)
    Blai Bonet and Hector Geffner.
    First description of HSP at the AIPS-98 Planning Competition, Pittsburgh 6/98.
  67. 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.
  68. Solving Large POMDPs by Real Time Dynamic Programming. (pdf)
    Hector Geffner and Blai Bonet.
    Proc. Fall AAAI Symposium on POMDPS. 1998. Orlando, FL.
  69. 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.
  70. 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.
  71. Arguing for Decisions: A Qualitative Model of Decision Making. (pdf) (BibTeX)
    Blai Bonet and Hector Geffner.
    Proc. 12th Conf. on Uncertainty in Artificial Intelligence (UAI). Portland, OR. 1996. Morgan Kaufmann. Pages 98-105.
  72. 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.


Software


Visitors: Locations of visitors to this page Previous visitors:
Last Update on 30 Nov 2016