Katz, Michael

43 publications

AAAI 2025 ACPBench: Reasoning About Action, Change, and Planning Harsha Kokel, Michael Katz, Kavitha Srinivas, Shirin Sohrabi

AAAI 2025 Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract) Daniel Cao, Michael Katz, Harsha Kokel, Kavitha Srinivas, Shirin Sohrabi

NeurIPSW 2024 Automating Thought of Search: A Journey Towards Soundness and Completeness Daniel Yiming Cao, Michael Katz, Harsha Kokel, Kavitha Srinivas, Shirin Sohrabi

AAAI 2024 Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning Turgay Caglar, Sirine Belhaj, Tathagata Chakraborti, Michael Katz, Sarath Sreedharan

AAAI 2024 Generalized Planning in PDDL Domains with Pretrained Large Language Models Tom Silver, Soham Dan, Kavitha Srinivas, Joshua B. Tenenbaum, Leslie Pack Kaelbling, Michael Katz

AAAI 2024 Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction Tathagata Chakraborti, Jungkoo Kang, Francesco Fuggitti, Michael Katz, Shirin Sohrabi

AAAI 2024 Large Language Models as Planning Domain Generators (Student Abstract) James T. Oswald, Kavitha Srinivas, Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi

AAAI 2024 Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract) Brandon Rozek, Junkyu Lee, Harsha Kokel, Michael Katz, Shirin Sohrabi

NeurIPS 2024 Thought of Search: Planning with Language Models Through the Lens of Efficiency Michael Katz, Harsha Kokel, Kavitha Srinivas, Shirin Sohrabi

NeurIPSW 2024 Thought of Search: Planning with Language Models Through the Lens of Efficiency Michael Katz, Harsha Kokel, Kavitha Srinivas, Shirin Sohrabi

IJCAI 2023 Action Space Reduction for Planning Domains Harsha Kokel, Junkyu Lee, Michael Katz, Kavitha Srinivas, Shirin Sohrabi

NeurIPSW 2023 Hierarchical Reinforcement Learning with AI Planning Models Junkyu Lee, Michael Katz, Don Joven Agravante, Miao Liu, Geraud Nangue Tasse, Tim Klinger, Shirin Sohrabi

IJCAI 2023 K∗ Search over Orbit Space for Top-K Planning Michael Katz, Junkyu Lee

NeurIPS 2023 Optimistic Exploration in Reinforcement Learning Using Symbolic Model Estimates Sarath Sreedharan, Michael Katz

NeurIPSW 2023 Towards More Likely Models for AI Planning Turgay Caglar, Sirine Belhaj, Tathagata Chakraborti, Michael Katz, Sarath Sreedharan

AAAI 2022 A* Search and Bound-Sensitive Heuristics for Oversubscription Planning Michael Katz, Emil Keyder

AAAI 2022 Bounding Quality in Diverse Planning Michael Katz, Shirin Sohrabi, Octavian Udrea

AAAI 2022 How to Reduce Action Space for Planning Domains? (Student Abstract) Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi, Kavitha Srinivas

NeurIPSW 2022 SCERL: A Benchmark for Intersecting Language and Safe Reinforcement Learning Lan Hoang, Shivam Ratnakar, Nicolas Galichet, Akifumi Wachi, Keerthiram Murugesan, Songtao Lu, Mattia Atzeni, Michael Katz, Subhajit Chaudhury

IJCAI 2021 Custom-Design of FDR Encodings: The Case of Red-Black Planning Daniel Fiser, Daniel Gnad, Michael Katz, Jörg Hoffmann

IJCAI 2021 Efficient Black-Box Planning Using Macro-Actions with Focused Effects Cameron Allen, Michael Katz, Tim Klinger, George Konidaris, Matthew Riemer, Gerald Tesauro

AAAI 2021 IBM Scenario Planning Advisor: A Neuro-Symbolic ERM Solution Mark Feblowitz, Oktie Hassanzadeh, Michael Katz, Shirin Sohrabi, Kavitha Srinivas, Octavian Udrea

AAAI 2021 Symbolic Search for Oversubscription Planning David Speck, Michael Katz

IJCAI 2021 The Fewer the Merrier: Pruning Preferred Operators with Novelty Alexander Tuisov, Michael Katz

AAAI 2020 Causal Knowledge Extraction Through Large-Scale Text Mining Oktie Hassanzadeh, Debarun Bhattacharjya, Mark Feblowitz, Kavitha Srinivas, Michael Perrone, Shirin Sohrabi, Michael Katz

AAAI 2020 Online Planner Selection with Graph Neural Networks and Adaptive Scheduling Tengfei Ma, Patrick Ferber, Siyu Huo, Jie Chen, Michael Katz

AAAI 2020 Reshaping Diverse Planning Michael Katz, Shirin Sohrabi

AAAI 2020 Top-Quality Planning: Finding Practically Useful Sets of Best Plans Michael Katz, Shirin Sohrabi, Octavian Udrea

IJCAI 2019 Answering Binary Causal Questions Through Large-Scale Text Mining: An Evaluation Using Cause-Effect Pairs from Human Experts Oktie Hassanzadeh, Debarun Bhattacharjya, Mark Feblowitz, Kavitha Srinivas, Michael Perrone, Shirin Sohrabi, Michael Katz

AAAI 2019 Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection Silvan Sievers, Michael Katz, Shirin Sohrabi, Horst Samulowitz, Patrick Ferber

AAAI 2019 Red-Black Heuristics for Planning Tasks with Conditional Effects Michael Katz

AAAI 2018 An AI Planning Solution to Scenario Generation for Enterprise Risk Management Shirin Sohrabi, Anton V. Riabov, Michael Katz, Octavian Udrea

IJCAI 2018 IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D. Feblowitz

AAAI 2018 Semi-Black Box: Rapid Development of Planning Based Solutions Michael Katz, Dany Moshkovich, Erez Karpas

IJCAI 2016 In Search of Tractability for Partial Satisfaction Planning Michael Katz, Vitaly Mirkis

IJCAI 2016 Structural Symmetries for Fully Observable Nondeterministic Planning Dominik Winterer, Martin Wehrle, Michael Katz

AAAI 2015 Factored Symmetries for Merge-and-Shrink Abstractions Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz

AAAI 2015 Heuristics and Symmetries in Classical Planning Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle

IJCAI 2015 Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz

AAAI 2013 Red-Black Relaxed Plan Heuristics Michael Katz, Jörg Hoffmann, Carmel Domshlak

AAAI 2012 Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning Michael Katz, Emil Keyder

JAIR 2010 Implicit Abstraction Heuristics Michael Katz, Carmel Domshlak

JAIR 2008 New Islands of Tractability of Cost-Optimal Planning Michael Katz, Carmel Domshlak