Research Interests

• Decision-theoretic planning: STRIPS, non-deterministic, probabilistic, incomplete information, ...
• Heuristic search: algorithms and heuristics
• Knowledge representation: propositional, compilation, reasoning, tractable subclasses, ...
• Graphical models: Bayesian nets, MRFs, causal networks, algorithms, relations to KR/compilation, ...
• Theoretical aspects of Computer Science

Some Professional Activities

• Editorial Board of Artificial Intelligence 2009-2012
• Tutorial Chair for ICAPS-2008
• Editorial Board of Journal of Artificial Intelligence Research. 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.
• Conferences: IJCAI 2001-2009, AAAI 2005-2010, ECAI'06-08, ICAPS 2005-2010, UAI 2002-2009, ECSQARU'01.
• 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
• CI2523 - Combinatorics: S04, S05, F05, W07, W08, F08, F09
• CI2693 - Lab Algorithms III: S10
• CI3725 - Automata Theory: F03, W04, F04
• CI5437 - Introduction to AI (I & II): S05, F05, S06, S07, S08
• CI7431 - Knowledge Representation (grad): W05, F06, S09
• CI7541 - Theory of Computation (grad): W04, W05, W06, W07, W08, W09, W10

Publications et al.

1. Strengthening Landmark Heuristics via Hitting Sets
   Blai Bonet and Malte Helmert.
   Proc. of 19th European Conf. on Artificial Intelligence (ECAI). Lisbon, Portugal. 2010. Accepted.
2. Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs
   Christopher Amato, Blai Bonet and Shlomo Zilberstein.
   Proc. of 24th National Conf. on Artificial Intelligence (AAAI). Atlanta, GA. 2010. AAAI Press. Accepted.
3. Automatic Derivation of Finite-State Machines for Behavior Control (Nectar Track)
   Blai Bonet, Héctor Palacios and Héctor Geffner.
   Proc. of 24th National Conf. on Artificial Intelligence (AAAI). Atlanta, GA. 2010. AAAI Press. Accepted.
4. Heuristic Search for Planning under Uncertainty
   Blai Bonet and Eric A. Hansen.
   Chapter in Heuristics, Probability and Causality: A Tribute to Judea Pearl.
   College Publications. 2010. Pages 3-22.
5. Conformant Plans and Beyond: Principles and Complexity (doi)
   Blai Bonet.
   Artificial Intelligence 174 (2010). Elsevier. Pages 245-269.
6. Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners. (pdf)
   Blai Bonet, Héctor Palacios and Héctor Geffner.
   Proc. of 19th Int. Conf. on Automated Planning and Scheduling (ICAPS). Thessaloniki, Greece. 2009. Pages 34-41.
7. Deterministic POMDPs Revisited. (pdf)
   Blai Bonet.
   Proc. of 25th Conf. on Uncertainty in Artificial Intelligence (UAI). Montreal, Canada. 2009. Pages 59-66.
8. Solving POMDPs: RTDP-Bel bs. Point-based Algorithms. (pdf)
   Blai Bonet and Héctor Geffner.
   Proc. of 21st Int. Joint Conf. on Artificial Intelligence (IJCAI). Pasadena, California. 2009. AAAI Press. Pages 1641-1646.
9. 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.
10. Heuristics for Planning with Penalties and Rewards Formulated in Logic and Computed through Circuits (doi)
    Blai Bonet and Héctor Geffner.
    Artificial Intelligence 172 (2008). Elsevier. Pages 1579-1604.
11. 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.
12. 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.
13. Logical Encodings With No Time Indexes for Defining and Computing Admissible Heuristics for Planning. (pdf)
    Miquel Ramirez, Blai Bonet and Héctor Geffner.
    Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges at ICAPS 2007.
14. 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.
15. 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.
16. External Memory Value Iteration. (pdf)
    Stefan Edelkamp, Shahid Jabbar and Blai Bonet.
    Proc. of 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.
17. On Canonical Forms of Complete Problems via First-Order Projections. Nerio Borges and Blai Bonet.
    Proc. of 9th Int. Workshop on Logic and Computational Complexity (LCC). Wroclaw, Poland. 2007.
18. Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning. (pdf)
    Patrik Haslum, Adi Botea, Malte Helmert, Blai Bonet and Sven Koenig.
    Proc. of 22nd National Conf. on Artificial Intelligence (AAAI). Vancouver, Canada. 2007. AAAI Press. Pages 1007-1012.
19. 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.
20. Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic. (pdf) (slides)
    Yolife Arvelo, Blai Bonet and Maria Esther Vidal.
    Proc. of 21st National Conf. on Artificial Intelligence (AAAI). Boston, MA. 2006. AAAI Press. Pages 225-230.
21. Heuristics for Planning with Penalties and Rewards using Compiled Knowledge. (pdf) (slides)
    Blai Bonet and Héctor Geffner.
    Proc. of 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR). Cumbria, UK. 2006. AAAI Press. Pages 452-462.
22. 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 Héctor Geffner.
    Proc. of 16th Int. Conf. on Automated Planning and Scheduling (ICAPS). Cumbria, UK. 2006. AAAI Press. Pages 142-151.
23. Bounded Branching and Modalities in Non-Deterministic Planning. (pdf) (slides) (UPF-slides)
    Blai Bonet.
    Proc. of 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.
24. mGPT: A Probabilistic Planner Based on Heuristic Search. (pdf)
    Blai Bonet and Héctor Geffner.
    J. of Artificial Intelligence Research 24 (2005). AAAI Press. Pages 933-944.
25. New Admissible Heuristics for Domain-Independent Planning. (pdf)
    Patrik Haslum, Blai Bonet and Héctor Geffner.
    Proc. of 20th National Conf. on Artificial Intelligence (AAAI). Pittsburgh, PA. 2005. AAAI Press. Pages 1163-1168.
26. An Algorithm Better than AO*?. (pdf) (Poster)
    Blai Bonet and Héctor Geffner.
    Proc. of 20th National Conf. on Artificial Intelligence (AAAI). Pittsburgh, PA. 2005. AAAI Press. Pages 1343-1348.
    Proc. of IJCAI-05 Workshop on Planning and Learning in A Priori Unknown or Dynamic Domains. Edinburgh, UK. 2005. Morgan Kaufmann. Pages 83-89.
27. 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 Héctor Geffner.
    Universidad Simon Bolivar. Technical Report 2005. Copyright.
28. Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations. (pdf) (slides)
    Héctor Palacios, Blai Bonet, Adnan Darwiche, Héctor Geffner.
    Proc. of 15th Int. Conf. on Automated Planning and Scheduling (ICAPS). Monterey, California. 2005. AAAI Press. Pages 141-150.
29. mGPT: A Probabilistic Planner based on Heuristic Search. (pdf)
    Blai Bonet and Héctor Geffner.
    1st International Probabilistic-Planning Competition in 14th Int. Conf. on Automated Planning and Scheduling (ICAPS). Banff, Canada. 2004.
30. Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback. (pdf) (BibTeX)
    Blai Bonet and Héctor Geffner.
    Proc. of 18th Int. Joint Conf. on Artificial Intelligence (IJCAI). Acapulco, Mexico. 2003. Morgan Kaufmann. Pages 1233-1238.
31. Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming. (pdf) (BibTeX)
    Blai Bonet and Héctor Geffner.
    Proc. of 13th Int. Conf. on Automated Planning and Scheduling (ICAPS). Trento, Italy. 2003. AAAI Press. Pages 12-21.
32. GPT meets PSR. (pdf) (BibTeX)
    Blai Bonet and Sylvie Thiébaux.
    Proc. of 13th Int. Conf. on Automated Planning and Scheduling (ICAPS). Trento, Italy. 2003. AAAI Press. Pages 102-111.
33. Qualitative MDPs and POMDPs: An Order-Of-Magnitude Approach. (pdf) (BibTeX)
    Blai Bonet and Judea Pearl.
    Proc. of 18th Conf. on Uncertainty in Artificial Intelligence (UAI). Edmonton, Canada. 2002. Morgan Kaufmann. Pages 61-68.
34. Solving Stochastic Shortest-Path Problems with RTDP. (pdf)
    Blai Bonet and Héctor Geffner.
    Universidad Simon Bolivar. Technical Report 2002. Copyright.
35. 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.
36. Instrumentality Tests Revisited. (Runner-up Student-Paper Award) (pdf) (BibTeX)
    Blai Bonet.
    Proc. of 17th Conf. on Uncertainty in Artificial Intelligence (UAI). Seattle, WA. 2001. Morgan Kaufmann. Pages 48-55.
37. A Calculus for Causal Relevance. (pdf) (BibTeX)
    Blai Bonet.
    Proc. of 17th Conf. on Uncertainty in Artificial Intelligence (UAI). Seattle, WA. 2001. Morgan Kaufmann. Pages 40-47.
38. GPT: A Tool for Planning with Uncertainty and Partial Information. (pdf) (BibTeX)
    Blai Bonet and Héctor Geffner.
    Workshop on Planning with Uncertainty and Partial Information, Int. Joint Conf. on Artificial Intelligence (IJCAI). Seattle, WA. 2001. Pages 82-87.
39. Heuristic Search Planner Ver. 2.0. (Description of Planner entered into AIPS-00 Competition) (pdf) (BibTeX)
    Blai Bonet and Héctor Geffner.
    AI Magazine. Fall 2001. Pages 77-80.
40. Planning As Heuristic Search. (Ps) (BibTeX)
    Blai Bonet and Héctor Geffner.
    Artificial Intelligence 129 (2001). Elsevier. Pages 5-33.
41. Planning with Incomplete Information as Heuristic Search in Belief Space. (Ps) (BibTeX)
    Blai Bonet and Héctor Geffner.
    Proc. of 5th Int. Conf. on AI Planning and Scheduling (AIPS). Breckenridge, CO. 2000. AAAI Press. Pages 52-61.
42. Planning and Control in Artificial Intelligence: A Unifying Perspective. (Ps) (BibTeX)
    Blai Bonet and Héctor Geffner.
    Applied Intelligence 14 (2001). Kluwer. Pages 237-252.
43. Planning as Heuristic Search: New Results. (ICAPS-09 Influential Paper Award) (Ps) (BibTeX)
    Blai Bonet and Héctor Geffner.
    Proc. of 5th European Conf. on Planning (ECP). Durham, UK. 1999. Springer LNCS 1809. Pages 359-371.
44. 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.
45. HSP: Heuristic Search Planner. (Ps)
    Blai Bonet and Héctor Geffner.
    Entry at the AIPS-98 Planning Competition, Pittsburgh 6/98.
46. High-Level Planning and Control with Incomplete Information Using POMDPs. (Ps)
    Héctor Geffner and Blai Bonet.
    Proc. of Fall AAAI Symposium on Cognitive Robotics, 1998. Orlando, FL.
47. Solving Large POMDPs by Real Time Dynamic Programming. (Ps)
    Héctor Geffner and Blai Bonet.
    Proc. of Fall AAAI Symposium on POMDPS. 1998. Orlando, FL.
48. Learning Sorting and Decision Trees with POMDPs. (Ps) (BibTeX)
    Blai Bonet and Héctor Geffner.
    Proc. of 15th Int. Conf. on Machine Learning (ICML). Madison, WI. 1998. Morgan Kaufmann. Pages 73-81.
49. A Fast and Robust Action Selection Mechanism for Planning. (Ps) (BibTeX)
    Blai Bonet, Gábor Loerincs, and Héctor Geffner.
    Proc. of 14th National Conf. on Artificial Intelligence (AAAI). Providence, RI. 1997. AAAI Press. Pages 714-719.
50. Arguing for Decisions: A Qualitative Model of Decision Making. (Ps) (BibTeX)
    Blai Bonet and Héctor Geffner.
    Proc. of 12th Conf. on Uncertainty in Artificial Intelligence (UAI). Portland, OR. 1996. Morgan Kaufmann. Pages 98-105.
51. Causal Reasoning with Domain Constraints.
    Blai Bonet and Héctor Geffner.
    Proc. of XXI Conf. Latinoamericana de Informatica. Canela, Brasil. 1995. Pages 767-778.

Software

• mcdsat (v.1.0-09.14.06): McdSat/Minicon for QRPs (AAAI-06).
• models (v.0.20-beta-12.02.09): Model Enumerator for d-DNNF theories.
• miniGPT (v.03.03.10): MiniGPT: Planner used in the probabilistic track of IPC-4.
• LDFS+ (v.07.16.07): Learning in Depth-First Search; code used in ICAPS'07 paper".
• LDFS (v.05.10.04): Learning in Depth-First Search; code used in "An Algorithm Better Than AO*?".
• HSP (v.2.00): Heuristic Search Planner Planner; the one used at AIPS-00 Planning Contest.
• HSPr (v.1.02): Heuristic Regression Planner; see ECP-99 paper.
• HSP (v.1.11), HSP (v.1.12): Heuristic Search Planner; v.1.11 was used at AIPS-98 Planning Contest. See AIPS-98 entry or ECP-99 paper.
• ASP (v.1.0): LRTA* Planner; see AAAI-97 paper.
• GPT Source (v.2.00 04/21/08)