Michael Katz

Michael Katz

Home Publications Co-authors Activities CV (pdf) Software Contact Google Scholar IBM Research web site GitHub page

2024

M. Katz, H. Kokel, K. Srinivas, S. Sohrabi, Thought of Search: Planning with Language Models Through The Lens of Efficiency, in Proceedings of The 38th Conference on Neural Information Processing Systems (NeurIPS), Vancouver, Canada, 2024. (pdf file)
M. Katz, J. Lee, J. Kang, S. Sohrabi, Some Orders Are Important: Partially Preserving Orders in Top-Quality Planning, in Proceedings of The 17th International Symposium on Combinatorial Search (SoCS), Kananaskis, Canada, 2024. (pdf file)
M. Katz, J. Lee, S. Sohrabi, Unifying and Certifying Top-Quality Planning, in Proceedings of The 34th International Conference on Automated Planning and Scheduling (ICAPS), Banff, Canada, 2024. (pdf file)
J. Oswald, K. Srinivas, H. Kokel, J. Lee, M. Katz, S. Sohrabi, Large Language Models as Planning Domain Generators, in Proceedings of The 34th International Conference on Automated Planning and Scheduling (ICAPS), Banff, Canada, 2024. (pdf file)
T. Silver, S. Dan, K. Srinivas, J.B. Tenenbaum, L. Kaelbling, M. Katz, Generalized Planning In PDDL Domains With Pretrained Large Language Models, in Proceedings of The 38th AAAI Conference on Artificial Intelligence (AAAI), Vancouver, Canada, 2024. (pdf file)
T. Caglar, S. Belhaj, T. Chakraborty, M. Katz, S. Sreedharan, Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning, in Proceedings of The 38th AAAI Conference on Artificial Intelligence (AAAI), Vancouver, Canada, 2024. (pdf file)
B. Rozek, J. Lee, H. Kokel, M. Katz, S. Sohrabi, Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract), in Proceedings of The 38th AAAI Conference on Artificial Intelligence (AAAI), Vancouver, Canada, 2024. (pdf file)

2023

S. Sreedharan, M. Katz, Optimistic Exploration in Reinforcement Learning Using Symbolic Model Estimates, in Proceedings of The 37th Conference on Neural Information Processing Systems (NeurIPS), New Orleans, LA, USA, 2023. (pdf file)
R. Christen, S. Eriksson, M. Katz, C. Muise, A. Petrov, F. Pommerening, J. Seipp, S. Sievers, D. Speck, PARIS: Planning Algorithms for Reconfiguring Independent Sets, in Proceedings of The 26th European Conference on Artificial Intelligence (ECAI), Krakow, Poland, 2023. (pdf file)
G. Behnke, D. Speck, M. Katz and S. Sohrabi, On Partial Satisfaction Planning with Total-Order HTNs, in Proceedings of The 33rd International Conference on Automated Planning and Scheduling (ICAPS), Prague, Czechia, 2023. (pdf file)
J. Lee, M. Katz and S. Sohrabi, On K* Search for Top-k Planning, in Proceedings of The 16th International Symposium on Combinatorial Search (SoCS), Prague, Czechia, 2023. (pdf file)
M. Katz and J. Lee, K* and Partial Order Reduction for Top-quality Planning, in Proceedings of The 16th International Symposium on Combinatorial Search (SoCS), Prague, Czechia, 2023. (pdf file)
M. Katz, J. Lee and S. Sohrabi, Generating SAS+ Planning Tasks of Specified Causal Structure, in Proceedings of The 16th International Symposium on Combinatorial Search (SoCS), Prague, Czechia, 2023. (pdf file)
M. Katz and J. Lee, K* Search Over Orbit Space for Top-k Planning, in Proceedings of The 32nd International Joint Conference on Artificial Intelligence (IJCAI), Macao, S.A.R, 2023. (pdf file)
H. Kokel, J. Lee, M. Katz, K. Srinivas and S. Sohrabi, On Reducing Action Labels in Planning Domains, in Proceedings of The 32nd International Joint Conference on Artificial Intelligence (IJCAI), Macao, S.A.R, 2023. (pdf file)

2022

M. Katz, G. Roeger, M. Helmert, On Producing Shortest Cost-Optimal Plans, in Proceedings of The 15th International Symposium on Combinatorial Search (SoCS), Vienna, Austria, 2022. (pdf file)
J. O. de Haro, E. Karpas, M. Katz and M. Toussaint, A Conflict-driven Interface between Symbolic Planning and Nonlinear Constraint Solving , in IEEE Robotics and Automation Letters and IROS 2022, 2022. (paper)
M. Katz and S. Sohrabi, Who Needs These Operators Anyway: Top Quality Planning with Operator Subset Criteria , in Proceedings of The 32nd International Conference on Automated Planning and Scheduling (ICAPS), Virtual, 2022. (pdf file)
C. Gehring, M. Asai, R. Chitnis, T. Silver, L. Kaelbling, S. Sohrabi, and M. Katz, Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators , in Proceedings of The 32nd International Conference on Automated Planning and Scheduling (ICAPS), Virtual, 2022. (pdf file)
J. O. de Haro, E. Karpas, M. Toussaint and M. Katz, Conflict-Directed Diverse Planning for Logic-Geometric Programming , in Proceedings of The 32nd International Conference on Automated Planning and Scheduling (ICAPS), Virtual, 2022. (pdf file)
M. Katz, S. Sohrabi, O. Udrea, Bounding Quality in Diverse Planning , in Proceedings of The 36th AAAI Conference on Artificial Intelligence (AAAI), Virtual, 2022. (pdf file)
M. Katz, E. Keyder, A* Search and Bound-Sensitive Heuristics for Oversubscription Planning , in Proceedings of The 36th AAAI Conference on Artificial Intelligence (AAAI), Virtual, 2022. (pdf file)
H. Kokel, J. Lee, M. Katz, S. Sohrabi, K. Srinivas, How to Reduce Action Space for Planning Domains? (Student Abstract), in Proceedings of The 36th AAAI Conference on Artificial Intelligence (AAAI), Virtual, 2022. (pdf file)
H. Kokel, J. Lee, M. Katz, S. Sohrabi, K. Srinivas, Action Space Reduction for Planning Domains, in ICAPS 2022 Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), Virtual, 2022. (pdf file)

2021

D. Fišer, D. Gnad, M. Katz, J. Hoffmann, Custom-Design of FDR Encodings: The Case of Red-Black Planning, in Proceedings of The 30th International Joint Conference on Artificial Intelligence (IJCAI), Virtual, 2021. (pdf file)
C. Allen, M. Katz, T. Klinger, G. Konidaris, M. Riemer, G.Tesauro, Efficient Black-Box Planning Using Macro-Actions with Focused Effects , in Proceedings of The 30th International Joint Conference on Artificial Intelligence (IJCAI), Virtual, 2021. (pdf file)
A. Tuisov, M. Katz, The Fewer the Merrier: Pruning Preferred Operators with Novelty, in Proceedings of The 30th International Joint Conference on Artificial Intelligence (IJCAI), Virtual, 2021. (pdf file)
D. Speck, M. Katz, Symbolic Search for Oversubscription Planning, in Proceedings of The 35th AAAI Conference on Artificial Intelligence (AAAI), Virtual, 2021. (pdf file)

2020

M. Katz, P. Ram, S. Sohrabi, O. Udrea, Exploring Context-Free Languages via Planning: The Case for Automating Machine Learning, in Proceedings of The 30th International Conference on Automated Planning and Scheduling (ICAPS), Nancy, France, 2020. (pdf file)
M. Katz, S. Sohrabi, O. Udrea, Top-Quality Planning: Finding Practically Useful Sets of Best Plans, in Proceedings of The 34th AAAI Conference on Artificial Intelligence (AAAI), New York, NY, USA, 2020. (pdf file)
M. Katz, S. Sohrabi, Reshaping Diverse Planning, in Proceedings of The 34th AAAI Conference on Artificial Intelligence (AAAI), New York, NY, USA, 2020. (pdf file)
T. Ma, P. Ferber, S. Huo, J. Chen, M. Katz, Online Planner Selection with Graph Neural Networks and Adaptive Scheduling, in Proceedings of The 34th AAAI Conference on Artificial Intelligence (AAAI), New York, NY, USA, 2020. (pdf file)

2019

S. Sohrabi, M. Katz, O. Hassanzadeh, O. Udrea, M. Feblowitz, A. Riabov, IBM Scenario Planning Advisor: Plan recognition as AI planning in practice, in AI Communications Journal, 2019, Volume 32, pages 1-13. (pdf file)
M. Vukovic, S. Gerard, R. Hull, M. Katz, L. Shwartz, S. Sohrabi, C. Muise, J. Rofrano, A. Kalia, J. Hwang, D. Yabin, M. Jie, J. Zhuoxuan, Towards Automated Planning for Enterprise Services: Opportunities and Challenges, in Proceedings of The International Conference on Service-Oriented Computing (ICSOC), Toulouse, France, 2019. (pdf file)
O. Hassanzadeh, D. Bhattacharjya, M. Feblowitz, K. Srinivas, M. Perrone, S. Sohrabi, M. Katz, Answering binary causal questions through large-scale text mining: An evaluation using cause-effect pairs from human experts, in Proceedings of The 28th International Joint Conference on Artificial Intelligence (IJCAI), Macao, China, 2019. (pdf file)
M. Katz, Red-Black Heuristics for Planning Tasks with Conditional Effects, in Proceedings of The 33rd AAAI Conference on Artificial Intelligence (AAAI), Honolulu, HI, USA, 2019. (pdf file)
S. Sievers, M. Katz, S. Sohrabi, H. Samulowitz, P. Ferber, Deep learning for costoptimal planning: Task-dependent planner selection, in Proceedings of The 33rd AAAI Conference on Artificial Intelligence (AAAI), Honolulu, HI, USA, 2019. (pdf file)
M. Katz, E. Keyder, D. Winterer, F. Pommerening, Oversubscription Planning as Classical Planning with Multiple Cost Functions, in Proceedings of The 29th International Conference on Automated Planning and Scheduling (ICAPS), Berkeley, CA, USA, 2019. (pdf file)
S. Sievers, G. Roeger, M. Wehrle, M. Katz, Theoretical foundations for structural symmetries of lifted pddl tasks, in Proceedings of The 29th International Conference on Automated Planning and Scheduling (ICAPS), Berkeley, CA, USA, 2019. (pdf file)

2018

G. Roeger, S. Sievers, M. Katz, A Symmetry-based Task Reduction for Relaxed Reachability Analysis, in Proceedings of The 28th International Conference on Automated Planning and Scheduling (ICAPS), Delft, Netherlands, 2018. (pdf file)
M. Katz, S. Sohrabi, O. Udrea, D. Winterer, A Novel Iterative Approach to Top-k Planning, in Proceedings of The 28th International Conference on Automated Planning and Scheduling (ICAPS), Delft, Netherlands, 2018. (pdf file)
S. Sohrabi, A. Riabov, M. Katz, O. Udrea, An AI Planning Solution to Scenario Generation for Enterprise Risk Management, in Proceedings of The 32nd AAAI Conference on Artificial Intelligence (AAAI), New Orleans, LA, USA, 2018. (pdf file)
M. Katz, D. Moshkovich, E. Karpas, Semi-Black Box: Rapid Development of Planning Based Solutions, in Proceedings of The 32nd AAAI Conference on Artificial Intelligence (AAAI), New Orleans, LA, USA, 2018. (pdf file)

2017

S. Sievers, M. Wehrle, M. Helmert, M. Katz, Strengthening Canonical Pattern Databases with Structural Symmetries, in Proceedings of The 10th Annual Symposium on Combinatorial Search (SoCS), Pittsburgh, PA, USA, 2017. (pdf file)
D. Winterer, Y. Alkhazraji, M. Katz, M. Wehrle, Stubborn Sets for Fully Observable Nondeterministic Planning, in Proceedings of The International Conference on Automated Planning and Scheduling (ICAPS), Pittsburgh, PA, USA, 2017. (pdf file)
M. Katz, N. Lipovetzky, D. Moshkovich, A. Tuisov, Adapting Novelty to Classical Planning as Heuristic Search, in Proceedings of The International Conference on Automated Planning and Scheduling (ICAPS), Pittsburgh, PA, USA, 2017. (pdf file)

2016

M. Katz, V. Mirkis, In Search of Tractability for Partial Satisfaction Planning , in Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), New York, NY, USA, 2016. (pdf file)
D. Winterer, M. Wehrle, M. Katz, Structural Symmetries for Fully Observable Nondeterministic Planning , in Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), New York, NY, USA, 2016. (pdf file)
M. Katz, D. Moshkovich, and E. Karpas, Lifting Delete Relaxation Heuristics To Successor Generator Planning, Proceedings of the 8th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'16), at ICAPS'16. (pdf file)
J. Benton, D. Bryce, M. Katz, N. Lipovetzky, C. Muise, M. Ramirez, A. Torralba (eds.), Proceedings of the 8th International Workshop on Heuristics and Search for Domain-independent Planning (HSDIP'16), at the 26th International Conference on Automated Planning and Scheduling (ICAPS'16), 2016. (pdf file)

2015

C. Domshlak, J Hoffmann, and M. Katz, Red-black planning: a new systematic approach to partial delete relaxation, Artificial Intelligence, volume 221, pp 73–114, 2015. (Abstract + pdf file)
D. Winterer, M. Wehrle, M. Katz, Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning , in Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), Buenos Aires, Argentina, 2015. (pdf file)
A. Shleyfman, M. Katz, M. Helmert, S. Sievers, M. Wehrle, Heuristics and Symmetries in Classical Planning, in Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI'15), Austin, Texas, USA, 2015. (pdf file, Technical report)
S. Sievers, M. Wehrle, M. Helmert, A. Shleyfman, M. Katz, Factored Symmetries for Merge-and-Shrink Abstractions, in Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI'15), Austin, Texas, USA, 2015. (pdf file)
S. Sievers, M. Wehrle, M. Helmert, M. Katz, An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search, in Proceedings of the The 38th German Conference on Artificial Intelligence (KI'15), 2015. (pdf file)
C. Domshlak, M. Katz, A. Shleyfman, Symmetry Breaking in Deterministic Planning as Forward Search: Orbit Space Search Algorithm, Technical report, 2015. (pdf file)
R. Alford, M. Katz, N. Lipovetzky, G. Roeger, J. Thayer (eds.), Proceedings of the 7th International Workshop on Heuristics and Search for Domain-independent Planning (HSDIP'15), at the 25th International Conference on Automated Planning and Scheduling (ICAPS'15), 2015. (pdf file)

2014

M. Katz, J. Hoffmann, Mercury Planner: Pushing the Limits of Partial Delete Relaxation , Eighth International Planning Competition (IPC 2014), Deterministic Part. (pdf file)
Y. Alkhazraji, M. Katz, F. Pommerening, A. Shleyfman, and M. Wehrle, Metis: Arming Fast Downward with Pruning and Incremental Computation , Eighth International Planning Competition (IPC 2014), Deterministic Part. (pdf file)
M. Katz and J. Hoffmann, Pushing the Limits of Partial Delete Relaxation: Red-Black DAG Heuristics, Proceedings of the 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'14), at ICAPS'14. (pdf file)
M. Katz and D. Moshkovich, Prescriptive Spatiotemporal Mobile Analytics for Delivery Service , System Demonstrations and Exhibits, at 24th International Conference on Automated Planning and Scheduling (ICAPS'14). (pdf file)
J. Benton, P. Haslum, M. Helmert, M. Katz and J. Thayer (eds.), Proceedings of the 6th International Workshop on Heuristics and Search for Domain-independent Planning (HSDIP'14), at the 24th International Conference on Automated Planning and Scheduling (ICAPS'14), 2014. (pdf file)

2013

A. Gal, M. Katz, T. Sagi, M. Weidlich, K. Aberer, Z. Miklos, H. Viet, E. Levy, V. Shafran, Completeness and Ambiguity of Schema Cover, in Proceedings of the 21st International Conference on Cooperative Information Systems (CoopIS 2013).
M. Katz and J. Hoffmann, Red-Black Relaxed Plan Heuristics Reloaded, in Proceedings of the 6th Annual Symposium on Combinatorial Search (SOCS'13), Leavenworth, Washington, USA, 2013. (pdf file)
M. Katz, J. Hoffmann, and C. Domshlak, Red-Black Relaxed Plan Heuristics, in Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI'13), Bellevue, Washington, USA, 2013. (pdf file)
M. Katz, J. Hoffmann, and C. Domshlak, Who Said we Need to Relax All Variables?, in Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS'13), Rome, Italy, 2013. (pdf file)
C. Domshlak, M. Katz, and A. Shleyfman, Symmetry Breaking: Satisficing Planning and Landmark Heuristics, in Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS'13), Rome, Italy, 2013. (pdf file)
M. Steinmetz, M. Katz, and J. Hoffmann, Catching Label Subsets for Relaxed Bisimulation: An Abstraction Refinement Approach, Proceedings of the 5th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'13), at ICAPS'13. (pdf file)
M. Helmert, M. Katz, G. Roeger and J. Thayer (eds.), Proceedings of the 5th International Workshop on Heuristics and Search for Domain-independent Planning (HSDIP'13), at the 23th International Conference on Automated Planning and Scheduling (ICAPS'13), 2013. (pdf file)

2012

M. Katz, J. Hoffmann, and M. Helmert, How to Relax a Bisimulation?, in Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'12), Sao Paulo, Brasil, 2012. (pdf file)
M. Katz and E. Keyder, Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning, in Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI'12), Toronto, Canada, 2012. (pdf file)
C. Domshlak, M. Katz, and A. Shleyfman, Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search, in Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'12), Sao Paulo, Brasil, 2012. (pdf file)
C. Domshlak, M. Katz, and S. Lefler, Landmark-Enhanced Abstraction Heuristics, Artificial Intelligence, volume 189, pp 48-68, 2012. (Abstract + pdf file)

2011

A. Fern, P. Haslum, J. Hoffmann, and M. Katz (eds.), Proceedings of the 3rd International Workshop on Heuristics for Domain-independent Planning (HDIP'11), at the 21st International Conference on Automated Planning and Scheduling (ICAPS'11), 2011. (pdf file)
M. Katz, Implicit Abstraction Heuristics for Cost-Optimal Planning, AI Communications, volume 24, Number 4, 2011, pp 343-345. (pdf file)
R. Bahumi, C. Domshlak, and M. Katz, On Satisficing Planning with Admissible Heuristics, in Proceedings of the 3rd International Workshop on Heuristics for Domain-independent Planning (HDIP'11), at ICAPS'11. (pdf file)
E. Karpas, M. Katz, S. Markovitch, When Optimal is Just Not Good Enough: Fast Near-Optimal Action Cost-Partitioning, in Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS'11), Freiburg, Germany, 2011. (pdf file)

2010

M. Katz Implicit Abstraction Heuristics for Cost-Optimal Planning, PhD Thesis. (pdf file) Winner of the ICAPS Best Dissertation Award 2011. (slides)
Summary published in AI Communications Journal, volume 24, Number 4, pp 343-345, 2011.
C. Domshlak, M. Katz, and S. Lefler When Abstractions Met Landmarks, in Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS'10), pp 50-56, Toronto, Canada, May 2010. (pdf file)
M. Katz and C. Domshlak, Implicit Abstraction Heuristics, Journal of Artificial Intelligence Research, volume 39, 2010, pp 51-126. (pdf file)
M. Katz, Implicit Abstraction Heuristics for Cost-Optimal Planning, PhD Thesis, Technion, Haifa, Israel, August 2010. (pdf file)
M. Katz and C. Domshlak, Optimal Admissible Composition of Abstraction Heuristics, Artificial Intelligence, volume 174, 2010, pp 767-798. (Abstract + pdf file)

2009

M. Katz and C. Domshlak, Structural-Pattern Databases, in Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS'09), pp 186-193, Thessaloniki, Greece, September 2009. (pdf file)
C. Domshlak, M. Katz, and S. Lefler, Abstractions += Landmarks, in Proceedings of the 2nd Workshop on Heuristics for Domain-independent Planning (HDIP'09) at ICAPS09. (pdf file)

2008

M. Katz and C. Domshlak, New Islands of Tractability of Cost-Optimal Planning, Journal of Artificial Intelligence Research, volume 32, 2008, pp 203-288. (pdf file)
M. Katz and C. Domshlak, Structural Pattern Heuristics via Fork Decomposition, in Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS'08), pp 182-189, Sydney, Australia, September 2008. (pdf file)
M. Katz and C. Domshlak, Optimal Additive Composition of Abstraction-based Admissible Heuristics, in Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS'08), pp 174-181, Sydney, Australia, September 2008. (pdf file)

2007

M. Katz and C. Domshlak, Structural Patterns of Tractable Sequentially-Optimal Planning, in Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS'07), pp 200-207, Providence, RI, September 2007. (pdf file)
M. Katz and C. Domshlak, Structural Patterns Heuristics: Basic Idea and Concrete Istance, in Proceedings of the 1st Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges at ICAPS'07, Providence, RI, September 2007. (pdf file)