Michael Katz

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 58

Top Topics

Planning Domains

Heuristic Search

Reinforcement Learning

Fully Observable

Top Venues

Publications

James T. Oswald, Kavitha Srinivas, Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi
Large Language Models as Planning Domain Generators. CoRR (2024)
James T. Oswald, Kavitha Srinivas, Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi
Large Language Models as Planning Domain Generators (Student Abstract). AAAI (2024)
Jana Vatter, Ruben Mayer, Hans-Arno Jacobsen, Horst Samulowitz, Michael Katz
Choosing a Classical Planner with Graph Neural Networks. CoRR (2024)
Tathagata Chakraborti, Jungkoo Kang, Francesco Fuggitti, Michael Katz, Shirin Sohrabi
Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction. AAAI (2024)
Brandon Rozek, Junkyu Lee, Harsha Kokel, Michael Katz, Shirin Sohrabi
Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract). AAAI (2024)
James T. Oswald, Kavitha Srinivas, Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi
Large Language Models as Planning Domain Generators. ICAPS (2024)
Michael Katz, Harsha Kokel, Kavitha Srinivas, Shirin Sohrabi
Planning with Language Models Through The Lens of Efficiency. CoRR (2024)
Michael Katz, Junkyu Lee, Jungkoo Kang, Shirin Sohrabi
Some Orders Are Important: Partially Preserving Orders in Top-Quality Planning. SOCS (2024)
Michael Katz, Junkyu Lee, Shirin Sohrabi
Unifying and Certifying Top-Quality Planning. ICAPS (2024)
Tom Silver, Soham Dan, Kavitha Srinivas, Joshua B. Tenenbaum, Leslie Pack Kaelbling, Michael Katz
Generalized Planning in PDDL Domains with Pretrained Large Language Models. AAAI (2024)
Michael Katz, Junkyu Lee, Shirin Sohrabi
Unifying and Certifying Top-Quality Planning. CoRR (2024)
Michael Katz, Junkyu Lee, Jungkoo Kang, Shirin Sohrabi
Some Orders Are Important: Partially Preserving Orders in Top-Quality Planning. CoRR (2024)
Michael Katz, Junkyu Lee
K∗ and Partial Order Reduction for Top-Quality Planning. SOCS (2023)
Harsha Kokel, Junkyu Lee, Michael Katz, Kavitha Srinivas, Shirin Sohrabi
Action Space Reduction for Planning Domains. IJCAI (2023)
Junkyu Lee, Michael Katz, Shirin Sohrabi
On K* Search for Top-K Planning. SOCS (2023)
Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck
PARIS: Planning Algorithms for Reconfiguring Independent Sets. ECAI (2023)
Tom Silver, Soham Dan, Kavitha Srinivas, Joshua B. Tenenbaum, Leslie Pack Kaelbling, Michael Katz
Generalized Planning in PDDL Domains with Pretrained Large Language Models. CoRR (2023)
Michael Katz, Junkyu Lee
K∗ Search over Orbit Space for Top-k Planning. IJCAI (2023)
Michael Katz, Junkyu Lee, Shirin Sohrabi
Generating SAS+ Planning Tasks of Specified Causal Structure. SOCS (2023)
Gregor Behnke, David Speck, Michael Katz, Shirin Sohrabi
On Partial Satisfaction Planning with Total-Order HTNs. ICAPS (2023)
Joaquim Ortiz de Haro, Erez Karpas, Marc Toussaint, Michael Katz
Conflict-Directed Diverse Planning for Logic-Geometric Programming. ICAPS (2022)
Michael Katz, Emil Keyder
A* Search and Bound-Sensitive Heuristics for Oversubscription Planning. AAAI (2022)
Joaquim Ortiz de Haro, Erez Karpas, Michael Katz, Marc Toussaint
A Conflict-driven Interface between Symbolic Planning and Nonlinear Constraint Solving. CoRR (2022)
Clement Gehring, Masataro Asai, Rohan Chitnis, Tom Silver, Leslie Pack Kaelbling, Shirin Sohrabi, Michael Katz
Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators. ICAPS (2022)
Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi, Kavitha Srinivas
How to Reduce Action Space for Planning Domains? (Student Abstract). AAAI (2022)
Michael Katz, Shirin Sohrabi
Who Needs These Operators Anyway: Top Quality Planning with Operator Subset Criteria. ICAPS (2022)
Michael Katz, Gabriele Röger, Malte Helmert
On Producing Shortest Cost-Optimal Plans. SOCS (2022)
Junkyu Lee, Michael Katz, Don Joven Agravante, Miao Liu, Tim Klinger, Murray Campbell, Shirin Sohrabi, Gerald Tesauro
AI Planning Annotation for Sample Efficient Reinforcement Learning. CoRR (2022)
Joaquim Ortiz de Haro, Erez Karpas, Michael Katz, Marc Toussaint
A Conflict-Driven Interface Between Symbolic Planning and Nonlinear Constraint Solving. IEEE Robotics Autom. Lett. 7 (4) (2022)
Michael Katz, Shirin Sohrabi, Octavian Udrea
Bounding Quality in Diverse Planning. AAAI (2022)
Mark Feblowitz, Oktie Hassanzadeh, Michael Katz, Shirin Sohrabi, Kavitha Srinivas, Octavian Udrea
IBM Scenario Planning Advisor: A Neuro-Symbolic ERM Solution. AAAI (2021)
Clement Gehring, Masataro Asai, Rohan Chitnis, Tom Silver, Leslie Pack Kaelbling, Shirin Sohrabi, Michael Katz
Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators. CoRR (2021)
Daniel Fiser, Daniel Gnad, Michael Katz, Jörg Hoffmann
Custom-Design of FDR Encodings: The Case of Red-Black Planning. IJCAI (2021)
Alexander Tuisov, Michael Katz
The Fewer the Merrier: Pruning Preferred Operators with Novelty. IJCAI (2021)
Michael Katz, Shirin Sohrabi
Reshaping Diverse Planning. AAAI (2020)
Tengfei Ma, Patrick Ferber, Siyu Huo, Jie Chen, Michael Katz
Online Planner Selection with Graph Neural Networks and Adaptive Scheduling. AAAI (2020)
Michael Katz, Shirin Sohrabi, Octavian Udrea
Top-Quality Planning: Finding Practically Useful Sets of Best Plans. AAAI (2020)
Michael Katz, Parikshit Ram, Shirin Sohrabi, Octavian Udrea
Exploring Context-Free Languages via Planning: The Case for Automating Machine Learning. ICAPS (2020)
Oktie Hassanzadeh, Debarun Bhattacharjya, Mark Feblowitz, Kavitha Srinivas, Michael Perrone, Shirin Sohrabi, Michael Katz
Causal Knowledge Extraction through Large-Scale Text Mining. AAAI (2020)
Silvan Sievers, Michael Katz, Shirin Sohrabi, Horst Samulowitz, Patrick Ferber
Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection. AAAI (2019)
Michael Katz
Red-Black Heuristics for Planning Tasks with Conditional Effects. AAAI (2019)
Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz
Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. ICAPS (2019)
Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D. Feblowitz, Anton Riabov
IBM Scenario Planning Advisor: Plan recognition as AI planning in practice. AI Commun. 32 (1) (2019)
Michael Katz, Emil Keyder, Dominik Winterer, Florian Pommerening
Oversubscription Planning as Classical Planning with Multiple Cost Functions. ICAPS (2019)
Patrick Ferber, Tengfei Ma, Siyu Huo, Jie Chen, Michael Katz
IPC: A Benchmark Data Set for Learning with Graph-Structured Data. CoRR (2019)
Maja Vukovic, Scott N. Gerard, Rick Hull, Michael Katz, Laura Shwartz, Shirin Sohrabi, Christian Muise, John J. Rofrano, Anup K. Kalia, Jinho Hwang, Yabin Dang, Jie Ma, Zhuoxuan Jiang
Towards Automated Planning for Enterprise Services: Opportunities and Challenges. ICSOC (2019)
Oktie Hassanzadeh, Debarun Bhattacharjya, Mark Feblowitz, Kavitha Srinivas, Michael Perrone, Shirin Sohrabi, Michael Katz
Answering Binary Causal Questions Through Large-Scale Text Mining: An Evaluation Using Cause-Effect Pairs from Human Experts. IJCAI (2019)
Gabriele Röger, Silvan Sievers, Michael Katz
Symmetry-Based Task Reduction for Relaxed Reachability Analysis. ICAPS (2018)
Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D. Feblowitz
IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice. IJCAI (2018)
Michael Katz, Shirin Sohrabi, Octavian Udrea, Dominik Winterer
A Novel Iterative Approach to Top-k Planning. ICAPS (2018)
Shirin Sohrabi, Anton V. Riabov, Michael Katz, Octavian Udrea
An AI Planning Solution to Scenario Generation for Enterprise Risk Management. AAAI (2018)
Tengfei Ma, Patrick Ferber, Siyu Huo, Jie Chen, Michael Katz
Adaptive Planner Scheduling with Graph Neural Networks. CoRR (2018)
Michael Katz, Dany Moshkovich, Erez Karpas
Semi-Black Box: Rapid Development of Planning Based Solutions. AAAI (2018)
Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
Strengthening Canonical Pattern Databases with Structural Symmetries. SOCS (2017)
Dominik Winterer, Yusra Alkhazraji, Michael Katz, Martin Wehrle
Stubborn Sets for Fully Observable Nondeterministic Planning. ICAPS (2017)
Michael Katz, Nir Lipovetzky, Dany Moshkovich, Alexander Tuisov
Adapting Novelty to Classical Planning as Heuristic Search. ICAPS (2017)
Dominik Winterer, Martin Wehrle, Michael Katz
Structural Symmetries for Fully Observable Nondeterministic Planning. IJCAI (2016)
Michael Katz, Vitaly Mirkis
In Search of Tractability for Partial Satisfaction Planning. IJCAI (2016)
Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle
Heuristics and Symmetries in Classical Planning. AAAI (2015)
Carmel Domshlak, Jörg Hoffmann, Michael Katz
Red-black planning: A new systematic approach to partial delete relaxation. Artif. Intell. 221 (2015)
Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search. KI (2015)
Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. IJCAI (2015)
Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Factored Symmetries for Merge-and-Shrink Abstractions. AAAI (2015)
Michael Katz, Carmel Domshlak
Implicit Abstraction Heuristics. CoRR (2014)
Michael Katz, Jörg Hoffmann, Carmel Domshlak
Red-Black Relaxed Plan Heuristics. AAAI (2013)
Carmel Domshlak, Michael Katz, Alexander Shleyfman
Symmetry Breaking: Satisficing Planning and Landmark Heuristics. ICAPS (2013)
Michael Katz, Jörg Hoffmann, Carmel Domshlak
Who Said We Need to Relax All Variables? ICAPS (2013)
Avigdor Gal, Michael Katz, Tomer Sagi, Matthias Weidlich, Karl Aberer, Nguyen Quoc Viet Hung, Zoltán Miklós, Eliezer Levy, Victor Shafran
Completeness and Ambiguity of Schema Cover. OTM Conferences (2013)
Michael Katz, Jörg Hoffmann
Red-Black Relaxed Plan Heuristics Reloaded. SOCS (2013)
Michael Katz, Jörg Hoffmann, Malte Helmert
How to Relax a Bisimulation? ICAPS (2012)
Michael Katz, Emil Keyder
Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning. AAAI (2012)
Carmel Domshlak, Michael Katz, Sagi Lefler
Landmark-enhanced abstraction heuristics. Artif. Intell. 189 (2012)
Carmel Domshlak, Michael Katz, Alexander Shleyfman
Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search. ICAPS (2012)
Michael Katz
Implicit abstraction heuristics for cost-optimal planning. AI Commun. 24 (4) (2011)
Erez Karpas, Michael Katz, Shaul Markovitch
When Optimal Is Just Not Good Enough: Learning Fast Informative Action Cost Partitionings. ICAPS (2011)
Carmel Domshlak, Michael Katz, Sagi Lefler
When Abstractions Met Landmarks. ICAPS (2010)
Michael Katz, Carmel Domshlak
Implicit Abstraction Heuristics. J. Artif. Intell. Res. 39 (2010)
Michael Katz, Carmel Domshlak
Optimal admissible composition of abstraction heuristics. Artif. Intell. 174 (12-13) (2010)
Michael Katz, Carmel Domshlak
Structural-Pattern Databases. ICAPS (2009)
Michael Katz, Carmel Domshlak
New Islands of Tractability of Cost-Optimal Planning. J. Artif. Intell. Res. 32 (2008)
Michael Katz, Carmel Domshlak
Optimal Additive Composition of Abstraction-based Admissible Heuristics. ICAPS (2008)
Michael Katz, Carmel Domshlak
Structural Patterns Heuristics via Fork Decomposition. ICAPS (2008)
Michael Katz, Carmel Domshlak
Structural Patterns of Tractable Sequentially-Optimal Planning. ICAPS (2007)