Processing math: 100%

Publications

generated by bibbase.org
  2025 (1)
Learning More Expressive General Policies for Classical Planning Domains. Ståhlberg, S.; Bonet, B.; and Geffner, H. In Walsh, T.; Shah, J.; and Kolter, Z., editor(s), AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, pages 26697–26706, 2025. AAAI Press
Learning More Expressive General Policies for Classical Planning Domains [link]Paper   doi   link   bibtex   3 downloads  
  2024 (15)
General Policies, Subgoal Structure, and Planning Width. Bonet, B.; and Geffner, H. J. Artif. Intell. Res., 80: 475–516. 2024.
General Policies, Subgoal Structure, and Planning Width [link]Paper   doi   link   bibtex   3 downloads  
Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches. Drexler, D.; Seipp, J.; and Geffner, H. J. Artif. Intell. Res., 80. 2024.
Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches [link]Paper   doi   link   bibtex   2 downloads  
On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies. Bonet, B.; Drexler, D.; and Geffner, H. In Bernardini, S.; and Muise, C., editor(s), Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024, Banff, Alberta, Canada, June 1-6, 2024, pages 31–39, 2024. AAAI Press
On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies [link]Paper   doi   link   bibtex   3 downloads  
Combined Task and Motion Planning via Sketch Decompositions. Dalmau-Moreno, M.; García, N.; Gómez, V.; and Geffner, H. In Bernardini, S.; and Muise, C., editor(s), Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024, Banff, Alberta, Canada, June 1-6, 2024, pages 123–132, 2024. AAAI Press
Combined Task and Motion Planning via Sketch Decompositions [link]Paper   doi   link   bibtex   2 downloads  
Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains. Hofmann, T.; and Geffner, H. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024, pages 6733–6742, 2024. ijcai.org
Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains [link]Paper   link   bibtex   27 downloads  
Symmetries and Expressive Requirements for Learning General Policies. Drexler, D.; Ståhlberg, S.; Bonet, B.; and Geffner, H. In Marquis, P.; Ortiz, M.; and Pagnucco, M., editor(s), Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024, 2024.
Symmetries and Expressive Requirements for Learning General Policies [link]Paper   doi   link   bibtex  
Learning to Ground Existentially Quantified Goals. Funkquist, M.; Ståhlberg, S.; and Geffner, H. In Marquis, P.; Ortiz, M.; and Pagnucco, M., editor(s), Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024, 2024.
Learning to Ground Existentially Quantified Goals [link]Paper   doi   link   bibtex   1 download  
Learning General Policies for Classical Planning Domains: Getting Beyond C2. Ståhlberg, S.; Bonet, B.; and Geffner, H. CoRR, abs/2403.11734. 2024.
Learning General Policies for Classical Planning Domains: Getting Beyond C\(_\mbox2\) [link]Paper   doi   link   bibtex   3 downloads  
Combined Task and Motion Planning Via Sketch Decompositions (Extended Version with Supplementary Material). Dalmau-Moreno, M.; García, N.; Gómez, V.; and Geffner, H. CoRR, abs/2403.16277. 2024.
Combined Task and Motion Planning Via Sketch Decompositions (Extended Version with Supplementary Material) [link]Paper   doi   link   bibtex   3 downloads  
On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies. Bonet, B.; Drexler, D.; and Geffner, H. CoRR, abs/2403.16824. 2024.
On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies [link]Paper   doi   link   bibtex   3 downloads  
Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains. Hofmann, T.; and Geffner, H. CoRR, abs/2404.02499. 2024.
Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains [link]Paper   doi   link   bibtex   27 downloads  
Symmetries and Expressive Requirements for Learning General Policies. Drexler, D.; Ståhlberg, S.; Bonet, B.; and Geffner, H. CoRR, abs/2409.15892. 2024.
Symmetries and Expressive Requirements for Learning General Policies [link]Paper   doi   link   bibtex  
Learning to Ground Existentially Quantified Goals. Funkquist, M.; Ståhlberg, S.; and Geffner, H. CoRR, abs/2409.20259. 2024.
Learning to Ground Existentially Quantified Goals [link]Paper   doi   link   bibtex   1 download  
Learning Lifted STRIPS Models from Action Traces Alone: A Simple, General, and Scalable Solution. Gösgens, J.; Jansen, N.; and Geffner, H. CoRR, abs/2411.14995. 2024.
Learning Lifted STRIPS Models from Action Traces Alone: A Simple, General, and Scalable Solution [link]Paper   doi   link   bibtex  
Learning Sketch Decompositions in Planning via Deep Reinforcement Learning. Aichmüller, M.; and Geffner, H. CoRR, abs/2412.08574. 2024.
Learning Sketch Decompositions in Planning via Deep Reinforcement Learning [link]Paper   doi   link   bibtex  
  2023 (3)
Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules. Drexler, D.; Seipp, J.; and Geffner, H. In Marquis, P.; Son, T. C.; and Kern-Isberner, G., editor(s), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023, pages 208–218, 2023.
Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules [link]Paper   doi   link   bibtex   3 downloads  
Learning General Policies with Policy Gradient Methods. Ståhlberg, S.; Bonet, B.; and Geffner, H. In Marquis, P.; Son, T. C.; and Kern-Isberner, G., editor(s), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023, pages 647–657, 2023.
Learning General Policies with Policy Gradient Methods [link]Paper   doi   link   bibtex   1 download  
General Policies, Subgoal Structure, and Planning Width. Bonet, B.; and Geffner, H. CoRR, abs/2311.05490. 2023.
General Policies, Subgoal Structure, and Planning Width [link]Paper   doi   link   bibtex   3 downloads  
  2022 (10)
Flexible FOND Planning with Explicit Fairness Assumptions. Rodriguez, I. D.; Bonet, B.; Sardiña, S.; and Geffner, H. J. Artif. Intell. Res., 74. 2022.
Flexible FOND Planning with Explicit Fairness Assumptions [link]Paper   doi   link   bibtex  
Target Languages (vs. Inductive Biases) for Learning to Act and Plan. Geffner, H. In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, pages 12326–12333, 2022. AAAI Press
Target Languages (vs. Inductive Biases) for Learning to Act and Plan [link]Paper   doi   link   bibtex   2 downloads  
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width. Drexler, D.; Seipp, J.; and Geffner, H. In Kumar, A.; Thiébaux, S.; Varakantham, P.; and Yeoh, W., editor(s), Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022, pages 62–70, 2022. AAAI Press
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width [link]Paper   link   bibtex   1 download  
Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits. Ståhlberg, S.; Bonet, B.; and Geffner, H. In Kumar, A.; Thiébaux, S.; Varakantham, P.; and Yeoh, W., editor(s), Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022, pages 629–637, 2022. AAAI Press
Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits [link]Paper   link   bibtex  
Learning Generalized Policies without Supervision Using GNNs. Ståhlberg, S.; Bonet, B.; and Geffner, H. In Kern-Isberner, G.; Lakemeyer, G.; and Meyer, T., editor(s), Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022, 2022.
Learning Generalized Policies without Supervision Using GNNs [link]Paper   link   bibtex  
Probabilistic and Causal Inference: The Works of Judea Pearl. Geffner, H.; Dechter, R.; and Halpern, J. Y., editors. Volume 36 of ACM BooksACM, 2022.
Probabilistic and Causal Inference: The Works of Judea Pearl [link]Paper   doi   link   bibtex  
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width: Extended Version. Drexler, D.; Seipp, J.; and Geffner, H. CoRR, abs/2203.14852. 2022.
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width: Extended Version [link]Paper   doi   link   bibtex  
Learning First-Order Symbolic Planning Representations That Are Grounded. Liberman, A. O.; Bonet, B.; and Geffner, H. CoRR, abs/2204.11902. 2022.
Learning First-Order Symbolic Planning Representations That Are Grounded [link]Paper   doi   link   bibtex  
Learning Generalized Policies Without Supervision Using GNNs. Ståhlberg, S.; Bonet, B.; and Geffner, H. CoRR, abs/2205.06002. 2022.
Learning Generalized Policies Without Supervision Using GNNs [link]Paper   doi   link   bibtex  
Language-Based Causal Representation Learning. Bonet, B.; and Geffner, H. CoRR, abs/2207.05259. 2022.
Language-Based Causal Representation Learning [link]Paper   doi   link   bibtex  
  2021 (11)
General Policies, Representations, and Planning Width. Bonet, B.; and Geffner, H. In 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, 2021. AAAI Press
General Policies, Representations, and Planning Width [link]Paper   doi   link   bibtex   1 download  
Learning General Planning Policies from Small Examples Without Supervision. Francès, G.; Bonet, B.; and Geffner, H. In 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, 2021. AAAI Press
Learning General Planning Policies from Small Examples Without Supervision [link]Paper   doi   link   bibtex   1 download  
Flexible FOND Planning with Explicit Fairness Assumptions. Rodriguez, I. D.; Bonet, B.; Sardiña, S.; and Geffner, H. In Biundo, S.; Do, M.; Goldman, R.; Katz, M.; Yang, Q.; and Zhuo, H. H., editor(s), Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021, pages 290–298, 2021. AAAI Press
Flexible FOND Planning with Explicit Fairness Assumptions [link]Paper   link   bibtex   2 downloads  
Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches. Drexler, D.; Seipp, J.; and Geffner, H. In Bienvenu, M.; Lakemeyer, G.; and Erdem, E., editor(s), Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021, pages 258–268, 2021.
Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches [link]Paper   doi   link   bibtex   1 download  
Learning First-Order Representations for Planning from Black Box States: New Results. Rodriguez, I. D.; Bonet, B.; Romero, J.; and Geffner, H. In Bienvenu, M.; Lakemeyer, G.; and Erdem, E., editor(s), Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021, pages 539–548, 2021.
Learning First-Order Representations for Planning from Black Box States: New Results [link]Paper   doi   link   bibtex   2 downloads  
Learning General Policies from Small Examples Without Supervision. Francès, G.; Bonet, B.; and Geffner, H. CoRR, abs/2101.00692. 2021.
Learning General Policies from Small Examples Without Supervision [link]Paper   link   bibtex  
Flexible FOND Planning with Explicit Fairness Assumptions. Rodriguez, I. D.; Bonet, B.; Sardiña, S.; and Geffner, H. CoRR, abs/2103.08391. 2021.
Flexible FOND Planning with Explicit Fairness Assumptions [link]Paper   link   bibtex   2 downloads  
Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches: Extended Version. Drexler, D.; Seipp, J.; and Geffner, H. CoRR, abs/2105.04250. 2021.
Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches: Extended Version [link]Paper   link   bibtex  
Learning First-Order Representations for Planning from Black-Box States: New Results. Rodriguez, I. D.; Bonet, B.; Romero, J.; and Geffner, H. CoRR, abs/2105.10830. 2021.
Learning First-Order Representations for Planning from Black-Box States: New Results [link]Paper   link   bibtex   2 downloads  
Target Languages (vs. Inductive Biases) for Learning to Act and Plan. Geffner, H. CoRR, abs/2109.07195. 2021.
Target Languages (vs. Inductive Biases) for Learning to Act and Plan [link]Paper   link   bibtex  
Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits. Ståhlberg, S.; Bonet, B.; and Geffner, H. CoRR, abs/2109.10129. 2021.
Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits [link]Paper   link   bibtex  
  2020 (4)
Qualitative Numeric Planning: Reductions and Complexity. Bonet, B.; and Geffner, H. J. Artif. Intell. Res., 69: 923–961. 2020.
Qualitative Numeric Planning: Reductions and Complexity [link]Paper   doi   link   bibtex   2 downloads  
Learning First-Order Symbolic Representations for Planning from the Structure of the State Space. Bonet, B.; and Geffner, H. In Giacomo, G. D.; Catalá, A.; Dilkina, B.; Milano, M.; Barro, S.; Bugarín, A.; and Lang, J., editor(s), 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), volume 325, of Frontiers in Artificial Intelligence and Applications, pages 2322–2329, 2020. IOS Press
Learning First-Order Symbolic Representations for Planning from the Structure of the State Space [link]Paper   doi   link   bibtex  
High-level Programming via Generalized Planning and LTL Synthesis. Bonet, B.; Giacomo, G. D.; Geffner, H.; Patrizi, F.; and Rubin, S. In Calvanese, D.; Erdem, E.; and Thielscher, M., editor(s), Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020, pages 152–161, 2020.
High-level Programming via Generalized Planning and LTL Synthesis [link]Paper   doi   link   bibtex  
General Policies, Serializations, and Planning Width. Bonet, B.; and Geffner, H. CoRR, abs/2012.08033. 2020.
General Policies, Serializations, and Planning Width [link]Paper   link   bibtex  
  2019 (7)
Learning Features and Abstract Actions for Computing Generalized Plans. Bonet, B.; Francès, G.; and Geffner, H. In 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, 2019. AAAI Press
Learning Features and Abstract Actions for Computing Generalized Plans [link]Paper   doi   link   bibtex  
Learning First-Order Symbolic Planning Representations from Plain Graphs. Bonet, B.; and Geffner, H. CoRR, abs/1909.05546. 2019.
Learning First-Order Symbolic Planning Representations from Plain Graphs [link]Paper   link   bibtex  
Action Selection for MDPs: Anytime AO* vs. UCT. Bonet, B.; and Geffner, H. CoRR, abs/1909.12104. 2019.
Action Selection for MDPs: Anytime AO* vs. UCT [link]Paper   link   bibtex  
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. Bonet, B.; Giacomo, G. D.; Geffner, H.; and Rubin, S. CoRR, abs/1909.12135. 2019.
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints [link]Paper   link   bibtex  
Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation. Bonet, B.; and Geffner, H. CoRR, abs/1909.13778. 2019.
Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation [link]Paper   link   bibtex  
Factored Probabilistic Belief Tracking. Bonet, B.; and Geffner, H. CoRR, abs/1909.13779. 2019.
Factored Probabilistic Belief Tracking [link]Paper   link   bibtex  
Qualitative Numeric Planning: Reductions and Complexity. Bonet, B.; and Geffner, H. CoRR, abs/1912.04816. 2019.
Qualitative Numeric Planning: Reductions and Complexity [link]Paper   link   bibtex  
  2018 (9)
Planning With Pixels in (Almost) Real Time. Bandres, W.; Bonet, B.; and Geffner, H. In McIlraith, S. A.; and Weinberger, K. Q., editor(s), 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, 2018. AAAI Press
Planning With Pixels in (Almost) Real Time [link]Paper   doi   link   bibtex  
Compact Policies for Fully Observable Non-Deterministic Planning as SAT. Geffner, T.; and Geffner, H. In de Weerdt, M.; Koenig, S.; Röger, G.; and Spaan, M. T. J., editor(s), Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018, pages 88–96, 2018. AAAI Press
Compact Policies for Fully Observable Non-Deterministic Planning as SAT [link]Paper   link   bibtex  
Model-free, Model-based, and General Intelligence. Geffner, H. In Lang, J., editor(s), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden, pages 10–17, 2018. ijcai.org
Model-free, Model-based, and General Intelligence [link]Paper   doi   link   bibtex  
Features, Projections, and Representation Change for Generalized Planning. Bonet, B.; and Geffner, H. In Lang, J., editor(s), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden, pages 4667–4673, 2018. ijcai.org
Features, Projections, and Representation Change for Generalized Planning [link]Paper   doi   link   bibtex  
Planning with Pixels in (Almost) Real Time. Bandres, W.; Bonet, B.; and Geffner, H. CoRR, abs/1801.03354. 2018.
Planning with Pixels in (Almost) Real Time [link]Paper   link   bibtex  
Features, Projections, and Representation Change for Generalized Planning. Bonet, B.; and Geffner, H. CoRR, abs/1801.10055. 2018.
Features, Projections, and Representation Change for Generalized Planning [link]Paper   link   bibtex  
Model-free, Model-based, and General Intelligence. Geffner, H. CoRR, abs/1806.02308. 2018.
Model-free, Model-based, and General Intelligence [link]Paper   link   bibtex  
Compact Policies for Fully-Observable Non-Deterministic Planning as SAT. Geffner, T.; and Geffner, H. CoRR, abs/1806.09455. 2018.
Compact Policies for Fully-Observable Non-Deterministic Planning as SAT [link]Paper   link   bibtex  
Learning Features and Abstract Actions for Computing Generalized Plans. Bonet, B.; Francès, G.; and Geffner, H. CoRR, abs/1811.07231. 2018.
Learning Features and Abstract Actions for Computing Generalized Plans [link]Paper   link   bibtex  
  2017 (7)
Best-First Width Search: Exploration and Exploitation in Classical Planning. Lipovetzky, N.; and Geffner, H. In Singh, S.; and Markovitch, S., editor(s), Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA, pages 3590–3596, 2017. AAAI Press
Best-First Width Search: Exploration and Exploitation in Classical Planning [link]Paper   doi   link   bibtex  
Multiagent Online Planning with Nested Beliefs and Dialogue. Kominis, F.; and Geffner, H. In Barbulescu, L.; Frank, J.; Mausam; and Smith, S. F., editor(s), Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017, pages 186–194, 2017. AAAI Press
Multiagent Online Planning with Nested Beliefs and Dialogue [link]Paper   link   bibtex  
A Polynomial Planning Algorithm that Beats LAMA and FF. Lipovetzky, N.; and Geffner, H. In Barbulescu, L.; Frank, J.; Mausam; and Smith, S. F., editor(s), Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017, pages 195–199, 2017. AAAI Press
A Polynomial Planning Algorithm that Beats LAMA and FF [link]Paper   link   bibtex  
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. Bonet, B.; Giacomo, G. D.; Geffner, H.; and Rubin, S. In Sierra, C., editor(s), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 873–879, 2017. ijcai.org
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints [link]Paper   doi   link   bibtex  
Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators. Francès, G.; Ramírez, M.; Lipovetzky, N.; and Geffner, H. In Sierra, C., editor(s), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 4294–4301, 2017. ijcai.org
Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators [link]Paper   doi   link   bibtex  
Improving Plan Quality through Heuristics for Guiding and Pruning the Search: A Study Using LAMA. Percassi, F.; Gerevini, A. E.; and Geffner, H. In Fukunaga, A.; and Kishimoto, A., editor(s), Proceedings of the Tenth International Symposium on Combinatorial Search, SOCS 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, USA, pages 144–148, 2017. AAAI Press
Improving Plan Quality through Heuristics for Guiding and Pruning the Search: A Study Using LAMA [link]Paper   doi   link   bibtex  
Combined Task and Motion Planning as Classical AI Planning. Ferrer-Mestres, J.; Francès, G.; and Geffner, H. CoRR, abs/1706.06927. 2017.
Combined Task and Motion Planning as Classical AI Planning [link]Paper   link   bibtex  
  2016 (5)
Traps, Invariants, and Dead-Ends. Lipovetzky, N.; Muise, C. J.; and Geffner, H. In Coles, A. J.; Coles, A.; Edelkamp, S.; Magazzeni, D.; and Sanner, S., editor(s), Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016, pages 211–215, 2016. AAAI Press
Traps, Invariants, and Dead-Ends [link]Paper   link   bibtex   2 downloads  
Factored Probabilistic Belief Tracking. Bonet, B.; and Geffner, H. In Kambhampati, S., editor(s), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 3045–3052, 2016. IJCAI/AAAI Press
Factored Probabilistic Belief Tracking [link]Paper   link   bibtex  
∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction. Francès, G.; and Geffner, H. In Kambhampati, S., editor(s), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 3082–3088, 2016. IJCAI/AAAI Press
\(∃\)-STRIPS: Existential Quantification in Planning and Constraint Satisfaction [link]Paper   link   bibtex  
Effective Planning with More Expressive Languages. Francès, G.; and Geffner, H. In Kambhampati, S., editor(s), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 4155–4159, 2016. IJCAI/AAAI Press
Effective Planning with More Expressive Languages [link]Paper   link   bibtex  
Heuristics for Planning, Plan Recognition and Parsing. Ramírez, M.; and Geffner, H. CoRR, abs/1605.05807. 2016.
Heuristics for Planning, Plan Recognition and Parsing [link]Paper   link   bibtex  
  2015 (6)
Classical Planning Algorithms on the Atari Video Games. Lipovetzky, N.; Ramírez, M.; and Geffner, H. In Bowling, M.; Bellemare, M. G.; Talvitie, E.; Veness, J.; and Machado, M. C., editor(s), Learning for General Competency in Video Games, Papers from the 2015 AAAI Workshop, Austin, Texas, USA, January 26, 2015, volume WS-15-10, of AAAI Technical Report, 2015. AAAI Press
Classical Planning Algorithms on the Atari Video Games [link]Paper   link   bibtex  
Width-Based Planning for General Video-Game Playing. Geffner, T.; and Geffner, H. In Jhala, A.; and Sturtevant, N. R., editor(s), Proceedings of the Eleventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2015, November 14-18, 2015, University of California, Santa Cruz, CA, USA, pages 23–29, 2015. AAAI Press
Width-Based Planning for General Video-Game Playing [link]Paper   link   bibtex  
Modeling and Computation in Planning: Better Heuristics from More Expressive Languages. Francès, G.; and Geffner, H. In Brafman, R. I.; Domshlak, C.; Haslum, P.; and Zilberstein, S., editor(s), Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015, pages 70–78, 2015. AAAI Press
Modeling and Computation in Planning: Better Heuristics from More Expressive Languages [link]Paper   link   bibtex  
Beliefs In Multiagent Planning: From One Agent to Many. Kominis, F.; and Geffner, H. In Brafman, R. I.; Domshlak, C.; Haslum, P.; and Zilberstein, S., editor(s), Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015, pages 147–155, 2015. AAAI Press
Beliefs In Multiagent Planning: From One Agent to Many [link]Paper   link   bibtex  
Classical Planning with Simulators: Results on the Atari Video Games. Lipovetzky, N.; Ramírez, M.; and Geffner, H. In Yang, Q.; and Wooldridge, M. J., editor(s), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 1610–1616, 2015. AAAI Press
Classical Planning with Simulators: Results on the Atari Video Games [link]Paper   link   bibtex  
Policies that Generalize: Solving Many Planning Problems with the Same Policy. Bonet, B.; and Geffner, H. In Yang, Q.; and Wooldridge, M. J., editor(s), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 2798–2804, 2015. AAAI Press
Policies that Generalize: Solving Many Planning Problems with the Same Policy [link]Paper   link   bibtex  
  2014 (7)
Artificial Intelligence: From programs to solvers. Geffner, H. AI Commun., 27(1): 45–51. 2014.
Artificial Intelligence: From programs to solvers [link]Paper   doi   link   bibtex  
Belief Tracking for Planning with Sensing: Width, Complexity and Approximations. Bonet, B.; and Geffner, H. J. Artif. Intell. Res., 50: 923–970. 2014.
Belief Tracking for Planning with Sensing: Width, Complexity and Approximations [link]Paper   doi   link   bibtex  
Flexible and Scalable Partially Observable Planning with Linear Translations. Bonet, B.; and Geffner, H. In Brodley, C. E.; and Stone, P., editor(s), Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada, pages 2235–2241, 2014. AAAI Press
Flexible and Scalable Partially Observable Planning with Linear Translations [link]Paper   doi   link   bibtex  
Width-based Algorithms for Classical Planning: New Results. Lipovetzky, N.; and Geffner, H. In Schaub, T.; Friedrich, G.; and O'Sullivan, B., editor(s), ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), volume 263, of Frontiers in Artificial Intelligence and Applications, pages 1059–1060, 2014. IOS Press
Width-based Algorithms for Classical Planning: New Results [link]Paper   doi   link   bibtex  
Non-classical Planning with a Classical Planner: The Power of Transformations. Geffner, H. In Fermé, E.; and Leite, J., editor(s), Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, volume 8761, of Lecture Notes in Computer Science, pages 33–47, 2014. Springer
Non-classical Planning with a Classical Planner: The Power of Transformations [link]Paper   doi   link   bibtex  
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width. Palacios, H.; and Geffner, H. CoRR, abs/1401.3468. 2014.
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width [link]Paper   link   bibtex  
Soft Goals Can Be Compiled Away. Keyder, E.; and Geffner, H. CoRR, abs/1401.3491. 2014.
Soft Goals Can Be Compiled Away [link]Paper   link   bibtex  
  2013 (4)
A Concise Introduction to Models and Methods for Automated Planning. Geffner, H.; and Bonet, B. of Synthesis Lectures on Artificial Intelligence and Machine LearningMorgan & Claypool Publishers, 2013.
A Concise Introduction to Models and Methods for Automated Planning [link]Paper   doi   link   bibtex  
Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation. Bonet, B.; and Geffner, H. In Rossi, F., editor(s), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pages 2275–2281, 2013. IJCAI/AAAI
Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation [link]Paper   link   bibtex  
Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners. Patrizi, F.; Lipovetzky, N.; and Geffner, H. In Rossi, F., editor(s), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pages 2343–2349, 2013. IJCAI/AAAI
Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners [link]Paper   link   bibtex  
Arguing for Decisions: A Qualitative Model of Decision Making. Bonet, B.; and Geffner, H. CoRR, abs/1302.3560. 2013.
Arguing for Decisions: A Qualitative Model of Decision Making [link]Paper   link   bibtex  
  2012 (3)
Action Selection for MDPs: Anytime AO* Versus UCT. Bonet, B.; and Geffner, H. In Hoffmann, J.; and Selman, B., editor(s), Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada, pages 1749–1755, 2012. AAAI Press
Action Selection for MDPs: Anytime AO* Versus UCT [link]Paper   doi   link   bibtex  
Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning. Bonet, B.; and Geffner, H. In Hoffmann, J.; and Selman, B., editor(s), Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada, pages 1756–1762, 2012. AAAI Press
Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning [link]Paper   doi   link   bibtex  
Width and Serialization of Classical Planning Problems. Lipovetzky, N.; and Geffner, H. In Raedt, L. D.; Bessiere, C.; Dubois, D.; Doherty, P.; Frasconi, P.; Heintz, F.; and Lucas, P. J. F., editor(s), ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012, volume 242, of Frontiers in Artificial Intelligence and Applications, pages 540–545, 2012. IOS Press
Width and Serialization of Classical Planning Problems [link]Paper   doi   link   bibtex  
  2011 (12)
The model-based approach to autonomous behavior: Prospects and challenges. Geffner, H. Intelligenza Artificiale, 5(2): 163–169. 2011.
The model-based approach to autonomous behavior: Prospects and challenges [link]Paper   doi   link   bibtex  
Qualitative Numeric Planning. Srivastava, S.; Zilberstein, S.; Immerman, N.; and Geffner, H. In Burgard, W.; and Roth, D., editor(s), Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, pages 1010–1016, 2011. AAAI Press
Qualitative Numeric Planning [link]Paper   doi   link   bibtex  
Effective Heuristics and Belief Tracking for Planning with Incomplete Information. Albore, A.; Ramírez, M.; and Geffner, H. In Bacchus, F.; Domshlak, C.; Edelkamp, S.; and Helmert, M., editor(s), Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011, 2011. AAAI
Effective Heuristics and Belief Tracking for Planning with Incomplete Information [link]Paper   link   bibtex  
Heuristic Search for Generalized Stochastic Shortest Path MDPs. Kolobov, A.; Mausam; Weld, D. S.; and Geffner, H. In Bacchus, F.; Domshlak, C.; Edelkamp, S.; and Helmert, M., editor(s), Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011, 2011. AAAI
Heuristic Search for Generalized Stochastic Shortest Path MDPs [link]Paper   link   bibtex  
Searching for Plans with Carefully Designed Probes. Lipovetzky, N.; and Geffner, H. In Bacchus, F.; Domshlak, C.; Edelkamp, S.; and Helmert, M., editor(s), Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011, 2011. AAAI
Searching for Plans with Carefully Designed Probes [link]Paper   link   bibtex  
Planning under Partial Observability by Classical Replanning: Theory and Experiments. Bonet, B.; and Geffner, H. In Walsh, T., editor(s), IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 1936–1941, 2011. IJCAI/AAAI
Planning under Partial Observability by Classical Replanning: Theory and Experiments [link]Paper   doi   link   bibtex  
Computing Infinite Plans for LTL Goals Using a Classical Planner. Patrizi, F.; Lipovetzky, N.; Giacomo, G. D.; and Geffner, H. In Walsh, T., editor(s), IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 2003–2008, 2011. IJCAI/AAAI
Computing Infinite Plans for LTL Goals Using a Classical Planner [link]Paper   doi   link   bibtex  
Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent. Ramírez, M.; and Geffner, H. In Walsh, T., editor(s), IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 2009–2014, 2011. IJCAI/AAAI
Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent [link]Paper   doi   link   bibtex  
Inference and Learning in Planning. Geffner, H. In Muggleton, S. H.; Tamaddoni-Nezhad, A.; and Lisi, F. A., editor(s), Inductive Logic Programming - 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers, volume 7207, of Lecture Notes in Computer Science, pages 1, 2011. Springer
Inference and Learning in Planning [link]Paper   doi   link   bibtex  
Artificial Intelligence Research and Development - Proceedings of the 14th International Conference of the Catalan Association for Artificial Intelligence, Lleida, Catalonia, Spain, October 26-28, 2011. Fernández, C.; Geffner, H.; and Manyà, F., editors. Volume 232, of Frontiers in Artificial Intelligence and Applications.IOS Press. 2011.
Artificial Intelligence Research and Development - Proceedings of the 14th International Conference of the Catalan Association for Artificial Intelligence, Lleida, Catalonia, Spain, October 26-28, 2011 [link]Paper   link   bibtex  
mGPT: A Probabilistic Planner Based on Heuristic Search. Bonet, B.; and Geffner, H. CoRR, abs/1109.2153. 2011.
mGPT: A Probabilistic Planner Based on Heuristic Search [link]Paper   link   bibtex  
PDDL 2.1: Representation vs. Computation. Geffner, H. CoRR, abs/1110.2731. 2011.
PDDL 2.1: Representation vs. Computation [link]Paper   link   bibtex  
  2010 (6)
Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners. Ramírez, M.; and Geffner, H. In Fox, M.; and Poole, D., editor(s), Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010, pages 1121–1126, 2010. AAAI Press
Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners [link]Paper   doi   link   bibtex  
Automatic Derivation of Finite-State Machines for Behavior Control. Bonet, B.; Palacios, H.; and Geffner, H. In Fox, M.; and Poole, D., editor(s), Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010, pages 1656–1659, 2010. AAAI Press
Automatic Derivation of Finite-State Machines for Behavior Control [link]Paper   doi   link   bibtex  
The Model-Based Approach to Autonomous Behavior: A Personal View. Geffner, H. In Fox, M.; and Poole, D., editor(s), Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010, pages 1709–1712, 2010. AAAI Press
The Model-Based Approach to Autonomous Behavior: A Personal View [link]Paper   doi   link   bibtex  
Compiling Uncertainty Away in Non-Deterministic Conformant Planning. Albore, A.; Palacios, H.; and Geffner, H. In Coelho, H.; Studer, R.; and Wooldridge, M. J., editor(s), ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, volume 215, of Frontiers in Artificial Intelligence and Applications, pages 465–470, 2010. IOS Press
Compiling Uncertainty Away in Non-Deterministic Conformant Planning [link]Paper   doi   link   bibtex  
Planning with Incomplete Information - (Invited Paper). Geffner, H. In van der Meyden, R.; and Smaus, J., editor(s), Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers, volume 6572, of Lecture Notes in Computer Science, pages 1–11, 2010. Springer
Planning with Incomplete Information - (Invited Paper) [link]Paper   doi   link   bibtex  
Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010. Brafman, R. I.; Geffner, H.; Hoffmann, J.; and Kautz, H. A., editors. AAAI. 2010.
link   bibtex  
  2009 (10)
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width. Palacios, H.; and Geffner, H. J. Artif. Intell. Res., 35: 623–675. 2009.
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width [link]Paper   doi   link   bibtex  
Soft Goals Can Be Compiled Away. Keyder, E.; and Geffner, H. J. Artif. Intell. Res., 36: 547–556. 2009.
Soft Goals Can Be Compiled Away [link]Paper   doi   link   bibtex  
Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners. Bonet, B.; Palacios, H.; and Geffner, H. In Gerevini, A.; Howe, A. E.; Cesta, A.; and Refanidis, I., editor(s), Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009, 2009. AAAI
Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners [link]Paper   link   bibtex  
Inference and Decomposition in Planning Using Causal Consistent Chains. Lipovetzky, N.; and Geffner, H. In Gerevini, A.; Howe, A. E.; Cesta, A.; and Refanidis, I., editor(s), Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009, 2009. AAAI
Inference and Decomposition in Planning Using Causal Consistent Chains [link]Paper   link   bibtex  
Inference and Learning in Planning. Geffner, H. In Gavaldà, R.; Lugosi, G.; Zeugmann, T.; and Zilles, S., editor(s), Algorithmic Learning Theory, 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings, volume 5809, of Lecture Notes in Computer Science, pages 2, 2009. Springer
Inference and Learning in Planning [link]Paper   doi   link   bibtex  
Inference and Learning in Planning (Extended Abstract). Geffner, H. In Gama, J.; Costa, V. S.; Jorge, A. M.; and Brazdil, P., editor(s), Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009, volume 5808, of Lecture Notes in Computer Science, pages 1–12, 2009. Springer
Inference and Learning in Planning (Extended Abstract) [link]Paper   doi   link   bibtex  
A Translation-Based Approach to Contingent Planning. Albore, A.; Palacios, H.; and Geffner, H. In Boutilier, C., editor(s), IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pages 1623–1628, 2009.
A Translation-Based Approach to Contingent Planning [pdf]Paper   link   bibtex  
Solving POMDPs: RTDP-Bel vs. Point-based Algorithms. Bonet, B.; and Geffner, H. In Boutilier, C., editor(s), IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pages 1641–1646, 2009.
Solving POMDPs: RTDP-Bel vs. Point-based Algorithms [pdf]Paper   link   bibtex   1 download  
Trees of Shortest Paths vs. Steiner Trees: Understanding and Improving Delete Relaxation Heuristics. Keyder, E.; and Geffner, H. In Boutilier, C., editor(s), IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pages 1734–1739, 2009.
Trees of Shortest Paths vs. Steiner Trees: Understanding and Improving Delete Relaxation Heuristics [pdf]Paper   link   bibtex  
Plan Recognition as Planning. Ramírez, M.; and Geffner, H. In Boutilier, C., editor(s), IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pages 1778–1783, 2009.
Plan Recognition as Planning [pdf]Paper   link   bibtex  
  2008 (5)
Heuristics for planning with penalties and rewards formulated in logic and computed through circuits. Bonet, B.; and Geffner, H. Artif. Intell., 172(12-13): 1579–1604. 2008.
Heuristics for planning with penalties and rewards formulated in logic and computed through circuits [link]Paper   doi   link   bibtex  
Unifying the Causal Graph and Additive Heuristics. Helmert, M.; and Geffner, H. In Rintanen, J.; Nebel, B.; Beck, J. C.; and Hansen, E. A., editor(s), Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ICAPS 2008, Sydney, Australia, September 14-18, 2008, pages 140–147, 2008. AAAI
Unifying the Causal Graph and Additive Heuristics [link]Paper   link   bibtex  
AI at 50: From Programs to Solvers - Models and Techniques for General Intelligence. Geffner, H. In Alsinet, T.; Puyol-Gruart, J.; and Torras, C., editor(s), Artificial Intelligence Research and Development, Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2008, October 22-24, 2008, Sant Martí d'Empúries, Spain, volume 184, of Frontiers in Artificial Intelligence and Applications, pages 4, 2008. IOS Press
AI at 50: From Programs to Solvers - Models and Techniques for General Intelligence [link]Paper   doi   link   bibtex  
Heuristics for Planning with Action Costs Revisited. Keyder, E.; and Geffner, H. In Ghallab, M.; Spyropoulos, C. D.; Fakotakis, N.; and Avouris, N. M., editor(s), ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, volume 178, of Frontiers in Artificial Intelligence and Applications, pages 588–592, 2008. IOS Press
Heuristics for Planning with Action Costs Revisited [link]Paper   doi   link   bibtex  
Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings. Geffner, H.; Prada, R.; Alexandre, I. M.; and David, N., editors. Volume 5290, of Lecture Notes in Computer Science.Springer. 2008.
Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings [link]Paper   doi   link   bibtex  
  2007 (4)
From Conformant into Classical Planning: Efficient Translations that May Be Complete Too. Palacios, H.; and Geffner, H. In Boddy, M. S.; Fox, M.; and Thiébaux, S., editor(s), Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007, pages 264–271, 2007. AAAI
From Conformant into Classical Planning: Efficient Translations that May Be Complete Too [link]Paper   link   bibtex  
Fast and Informed Action Selection for Planning with Sensing. Albore, A.; Palacios, H.; and Geffner, H. In Borrajo, D.; Castillo, L. A.; and Corchado, J. M., editor(s), Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers, volume 4788, of Lecture Notes in Computer Science, pages 1–10, 2007. Springer
Fast and Informed Action Selection for Planning with Sensing [link]Paper   doi   link   bibtex  
Heuristics for Planning with Action Costs. Keyder, E.; and Geffner, H. In Borrajo, D.; Castillo, L. A.; and Corchado, J. M., editor(s), Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers, volume 4788, of Lecture Notes in Computer Science, pages 140–149, 2007. Springer
Heuristics for Planning with Action Costs [link]Paper   doi   link   bibtex  
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT. Ramírez, M.; and Geffner, H. In Bessiere, C., editor(s), Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, volume 4741, of Lecture Notes in Computer Science, pages 605–619, 2007. Springer
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT [link]Paper   doi   link   bibtex  
  2006 (5)
Branching and pruning: An optimal temporal POCL planner based on constraint programming. Vidal, V.; and Geffner, H. Artif. Intell., 170(3): 298–335. 2006.
Branching and pruning: An optimal temporal POCL planner based on constraint programming [link]Paper   doi   link   bibtex  
Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program. Achtner, W.; Aïmeur, E.; Anand, S. S.; Appelt, D. E.; Ashish, N.; Barnes, T.; Beck, J. E.; Dias, M. B.; Doshi, P.; Drummond, C.; Elazmeh, W.; Felner, A.; Freitag, D.; Geffner, H.; Geib, C. W.; Goodwin, R.; Holte, R. C.; Hutter, F.; Isaac, F.; Japkowicz, N.; Kaminka, G. A.; Koenig, S.; Lagoudakis, M. G.; Leake, D. B.; Lewis, L.; Liu, H.; Metzler, T.; Mihalcea, R.; Mobasher, B.; Poupart, P.; Pynadath, D. V.; Roth-Berghofer, T.; Ruml, W.; Schulz, S.; Schwarz, S.; Seneff, S.; Sheth, A. P.; Sun, R.; Thielscher, M.; Upal, A.; Williams, J. D.; Young, S. J.; and Zelenko, D. AI Mag., 27(4): 92–102. 2006.
Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program [link]Paper   doi   link   bibtex  
Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes). Palacios, H.; and Geffner, H. In 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 900–905, 2006. AAAI Press
Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes) [link]Paper   link   bibtex  
Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and Its Application to MDPs. Bonet, B.; and Geffner, H. In Long, D.; Smith, S. F.; Borrajo, D.; and McCluskey, L., editor(s), Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006, pages 142–151, 2006. AAAI
Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and Its Application to MDPs [link]Paper   link   bibtex  
Heuristics for Planning with Penalties and Rewards using Compiled Knowledge. Bonet, B.; and Geffner, H. In Doherty, P.; Mylopoulos, J.; and Welty, C. A., editor(s), Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pages 452–462, 2006. AAAI Press
Heuristics for Planning with Penalties and Rewards using Compiled Knowledge [link]Paper   link   bibtex  
  2005 (7)
mGPT: A Probabilistic Planner Based on Heuristic Search. Bonet, B.; and Geffner, H. J. Artif. Intell. Res., 24: 933–944. 2005.
mGPT: A Probabilistic Planner Based on Heuristic Search [link]Paper   doi   link   bibtex  
New Admissible Heuristics for Domain-Independent Planning. Haslum, P.; Bonet, B.; and Geffner, H. In Veloso, M. M.; and Kambhampati, S., editor(s), 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, 2005. AAAI Press / The MIT Press
New Admissible Heuristics for Domain-Independent Planning [link]Paper   link   bibtex  
An Algorithm Better than AO*?. Bonet, B.; and Geffner, H. In Veloso, M. M.; and Kambhampati, S., editor(s), 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, 2005. AAAI Press / The MIT Press
An Algorithm Better than AO*? [link]Paper   link   bibtex  
Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations. Palacios, H.; Bonet, B.; Darwiche, A.; and Geffner, H. In Biundo, S.; Myers, K. L.; and Rajan, K., editor(s), Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA, pages 141–150, 2005. AAAI
Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations [link]Paper   link   bibtex  
Mapping Conformant Planning into SAT Through Compilation and Projection. Palacios, H.; and Geffner, H. In Marín, R.; Onaindia, E.; Bugarín, A.; and Reyes, J. S., editor(s), Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers, volume 4177, of Lecture Notes in Computer Science, pages 311–320, 2005. Springer
Mapping Conformant Planning into SAT Through Compilation and Projection [link]Paper   doi   link   bibtex  
Search and Inference in AI Planning. Geffner, H. In van Beek, P., editor(s), Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, volume 3709, of Lecture Notes in Computer Science, pages 1–4, 2005. Springer
Search and Inference in AI Planning [link]Paper   doi   link   bibtex  
Solving Simple Planning Problems with More Inference and No Search. Vidal, V.; and Geffner, H. In van Beek, P., editor(s), Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, volume 3709, of Lecture Notes in Computer Science, pages 682–696, 2005. Springer
Solving Simple Planning Problems with More Inference and No Search [link]Paper   doi   link   bibtex  
  2004 (4)
Learning Generalized Policies from Planning Examples Using Concept Languages. Martín, M.; and Geffner, H. Appl. Intell., 20(1): 9–19. 2004.
Learning Generalized Policies from Planning Examples Using Concept Languages [link]Paper   doi   link   bibtex  
Branching and Pruning: An Optimal Temporal POCL Planner Based on Constraint Programming. Vidal, V.; and Geffner, H. In McGuinness, D. L.; and Ferguson, G., editor(s), Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA, pages 570–577, 2004. AAAI Press / The MIT Press
Branching and Pruning: An Optimal Temporal POCL Planner Based on Constraint Programming [link]Paper   link   bibtex  
Planning Graphs and Knowledge Compilation. Geffner, H. In Zilberstein, S.; Koehler, J.; and Koenig, S., editor(s), Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), June 3-7 2004, Whistler, British Columbia, Canada, pages 52–62, 2004. AAAI
Planning Graphs and Knowledge Compilation [link]Paper   link   bibtex  
Planning Graphs and Knowledge Compilation. Geffner, H. In Dubois, D.; Welty, C. A.; and Williams, M., editor(s), Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pages 662–672, 2004. AAAI Press
Planning Graphs and Knowledge Compilation [link]Paper   link   bibtex  
  2003 (4)
PDDL 2.1: Representation vs. Computation. Geffner, H. J. Artif. Intell. Res., 20: 139–144. 2003.
PDDL 2.1: Representation vs. Computation [link]Paper   doi   link   bibtex  
Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming. Bonet, B.; and Geffner, H. In Giunchiglia, E.; Muscettola, N.; and Nau, D. S., editor(s), Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy, pages 12–21, 2003. AAAI
Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming [link]Paper   link   bibtex  
Branching Matters: Alternative Branching in Graphplan. Hoffmann, J.; and Geffner, H. In Giunchiglia, E.; Muscettola, N.; and Nau, D. S., editor(s), Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy, pages 22–31, 2003. AAAI
Branching Matters: Alternative Branching in Graphplan [link]Paper   link   bibtex  
Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback. Bonet, B.; and Geffner, H. In Gottlob, G.; and Walsh, T., editor(s), IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, pages 1233–1238, 2003. Morgan Kaufmann
Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback [pdf]Paper   link   bibtex  
  2002 (1)
Perspectives on Artificial Intelligence Planning. Geffner, H. In Dechter, R.; Kearns, M. J.; and Sutton, R. S., editor(s), Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada, pages 1013–1023, 2002. AAAI Press / The MIT Press
Perspectives on Artificial Intelligence Planning [link]Paper   link   bibtex  
  2001 (4)
Planning as heuristic search. Bonet, B.; and Geffner, H. Artif. Intell., 129(1-2): 5–33. 2001.
Planning as heuristic search [link]Paper   doi   link   bibtex  
Heuristic Search Planner 2.0. Bonet, B.; and Geffner, H. AI Mag., 22(3): 77–80. 2001.
Heuristic Search Planner 2.0 [link]Paper   doi   link   bibtex  
Planning and Control in Artificial Intelligence: A Unifying Perspective. Bonet, B.; and Geffner, H. Appl. Intell., 14(3): 237–252. 2001.
Planning and Control in Artificial Intelligence: A Unifying Perspective [link]Paper   doi   link   bibtex  
Planning with Uncertainty and Incomplete Information. Geffner, H. In Benferhat, S.; and Besnard, P., editor(s), Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, volume 2143, of Lecture Notes in Computer Science, pages 16, 2001. Springer
Planning with Uncertainty and Incomplete Information [link]Paper   doi   link   bibtex  
  2000 (5)
The AIPS-98 Planning Competition. Long, D.; Kautz, H. A.; Selman, B.; Bonet, B.; Geffner, H.; Koehler, J.; Brenner, M.; Hoffmann, J.; Rittinger, F.; Anderson, C. R.; Weld, D. S.; Smith, D. E.; and Fox, M. AI Mag., 21(2): 13–33. 2000.
The AIPS-98 Planning Competition [link]Paper   doi   link   bibtex  
Planning with Incomplete Information as Heuristic Search in Belief Space. Bonet, B.; and Geffner, H. In Chien, S. A.; Kambhampati, S.; and Knoblock, C. A., editor(s), Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, Breckenridge, CO, USA, April 14-17, 2000, pages 52–61, 2000. AAAI
Planning with Incomplete Information as Heuristic Search in Belief Space [link]Paper   link   bibtex  
Admissible Heuristics for Optimal Planning. Haslum, P.; and Geffner, H. In Chien, S. A.; Kambhampati, S.; and Knoblock, C. A., editor(s), Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, Breckenridge, CO, USA, April 14-17, 2000, pages 140–149, 2000. AAAI
Admissible Heuristics for Optimal Planning [link]Paper   link   bibtex  
Independence in qualitative uncertainty frameworks. Amor, N. B.; Benferhat, S.; Dubois, D.; Geffner, H.; and Prade, H. In Cohn, A. G.; Giunchiglia, F.; and Selman, B., editor(s), KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000, pages 235–246, 2000. Morgan Kaufmann
link   bibtex  
Learning Generalized Policies in Planning Using Concept Languages. Martín, M.; and Geffner, H. In Cohn, A. G.; Giunchiglia, F.; and Selman, B., editor(s), KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000, pages 667–677, 2000. Morgan Kaufmann
link   bibtex  
  1999 (1)
Planning as Heuristic Search: New Results. Bonet, B.; and Geffner, H. In Biundo, S.; and Fox, M., editor(s), Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings, volume 1809, of Lecture Notes in Computer Science, pages 360–372, 1999. Springer
Planning as Heuristic Search: New Results [link]Paper   doi   link   bibtex  
  1998 (3)
Modeling Action, Knowledge and Control. Geffner, H.; and Wainer, J. In Prade, H., editor(s), 13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings, pages 532–536, 1998. John Wiley and Sons
link   bibtex  
Modelling Intelligent Behaviour: The Markov Decision Process Approach. Geffner, H. In Coelho, H., editor(s), Progress in Artificial Intelligence - IBERAMIA 98, 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5-9, 1998, Proceedings, volume 1484, of Lecture Notes in Computer Science, pages 1–12, 1998. Springer
Modelling Intelligent Behaviour: The Markov Decision Process Approach [link]Paper   doi   link   bibtex  
Learning Sorting and Decision Trees with POMDPs. Bonet, B.; and Geffner, H. In Shavlik, J. W., editor(s), Proceedings of the Fifteenth International Conference on Machine Learning (ICML 1998), Madison, Wisconsin, USA, July 24-27, 1998, pages 73–81, 1998. Morgan Kaufmann
link   bibtex  
  1997 (2)
A Robust and Fast Action Selection Mechanism for Planning. Bonet, B.; Loerincs, G.; and Geffner, H. In Kuipers, B.; and Webber, B. L., editor(s), 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, 1997. AAAI Press / The MIT Press
A Robust and Fast Action Selection Mechanism for Planning [link]Paper   link   bibtex  
Causality, Constraints and Indirect Effects. Geffner, H. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes, pages 555–561, 1997. Morgan Kaufmann
link   bibtex  
  1996 (3)
A Qualitative Model for Temporal Reasoning with Incomplete Information. Geffner, H. In Clancey, W. J.; and Weld, D. S., editor(s), Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, AAAI 96, IAAI 96, Portland, Oregon, USA, August 4-8, 1996, Volume 2, pages 1176–1181, 1996. AAAI Press / The MIT Press
A Qualitative Model for Temporal Reasoning with Incomplete Information [link]Paper   link   bibtex  
A Formal Framework for Clausal Modeling and Argumentation. Geffner, H. In Gabbay, D. M.; and Ohlbach, H. J., editor(s), Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, volume 1085, of Lecture Notes in Computer Science, pages 208–222, 1996. Springer
A Formal Framework for Clausal Modeling and Argumentation [link]Paper   doi   link   bibtex  
Arguing for Decisions: A Qualitative Model of Decision Making. Bonet, B.; and Geffner, H. In Horvitz, E.; and Jensen, F. V., editor(s), 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, 1996. Morgan Kaufmann
Arguing for Decisions: A Qualitative Model of Decision Making [link]Paper   link   bibtex  
  1995 (1)
Sound and Efficient Non-monotonic Inference. Geffner, H.; Llopis, J.; and Mendez, G. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes, pages 1495–1501, 1995. Morgan Kaufmann
Sound and Efficient Non-monotonic Inference [pdf]Paper   link   bibtex  
  1994 (1)
Causal Default Reasoning: Principles and Algorithms. Geffner, H. In Hayes-Roth, B.; and Korf, R. E., editor(s), Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 1, pages 245–250, 1994. AAAI Press / The MIT Press
Causal Default Reasoning: Principles and Algorithms [link]Paper   link   bibtex  
  1992 (3)
Default reasoning - causal and conditional theories. Geffner, H. MIT Press, 1992.
link   bibtex  
Conditional Entailment: Bridging two Approaches to Default Reasoning. Geffner, H.; and Pearl, J. Artif. Intell., 53(2-3): 209–244. 1992.
Conditional Entailment: Bridging two Approaches to Default Reasoning [link]Paper   doi   link   bibtex  
High-probabilities, model-preference and default arguments. Geffner, H. Minds Mach., 2(1): 51–70. 1992.
High-probabilities, model-preference and default arguments [link]Paper   doi   link   bibtex  
  1991 (1)
Beyond Negation as Failure. Geffner, H. In Allen, J. F.; Fikes, R.; and Sandewall, E., editor(s), Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991, pages 218–229, 1991. Morgan Kaufmann
link   bibtex  
  1990 (1)
Causal Theories for Nonmonotonic Reasoning. Geffner, H. In Shrobe, H. E.; Dietterich, T. G.; and Swartout, W. R., editor(s), Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes, pages 524–530, 1990. AAAI Press / The MIT Press
Causal Theories for Nonmonotonic Reasoning [link]Paper   link   bibtex  
  1989 (1)
Default Reasoning, Minimality and Coherence. Geffner, H. In Brachman, R. J.; Levesque, H. J.; and Reiter, R., editor(s), Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989, pages 137–148, 1989. Morgan Kaufmann
link   bibtex  
  1988 (1)
On the Logic of Defaults. Geffner, H. In Shrobe, H. E.; Mitchell, T. M.; and Smith, R. G., editor(s), Proceedings of the 7th National Conference on Artificial Intelligence, St. Paul, MN, USA, August 21-26, 1988, pages 449–454, 1988. AAAI Press / The MIT Press
On the Logic of Defaults [link]Paper   link   bibtex  
  1987 (1)
An Improved Constraint-Propagation Algorithm for Diagnosis. Geffner, H.; and Pearl, J. In McDermott, J. P., editor(s), Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, Italy, August 23-28, 1987, pages 1105–1111, 1987. Morgan Kaufmann
An Improved Constraint-Propagation Algorithm for Diagnosis [pdf]Paper   link   bibtex