Michael Katz - RankMe

101 papers A* 61A 2B 7Misc 1Journal 29Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	QueryGym: Step-by-Step Interaction with Relational Databases. AAAI Haritha Ananthakrishnan, Harsha Kokel, Kelsey Sikes, Debarun Bhattacharjya, Michael Katz, Shirin Sohrabi, Kavitha Srinivas
2025	J	`jnl`	ACPBench Hard: Unrestrained Reasoning about Action, Change, and Planning. CoRR Harsha Kokel, Michael Katz, Kavitha Srinivas, Shirin Sohrabi
2025	A*	`conf`	ACPBench: Reasoning About Action, Change, and Planning. AAAI Harsha Kokel, Michael Katz, Kavitha Srinivas, Shirin Sohrabi
2025	A*	`conf`	Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract). AAAI Daniel Cao, Michael Katz, Harsha Kokel, Kavitha Srinivas, Shirin Sohrabi
2025	J	`jnl`	Improved Generalized Planning with LLMs through Strategy Refinement and Reflection. CoRR Katharina Stein, Nils Hodel, Daniel Fiser, Jörg Hoffmann, Michael Katz, Alexander Koller
2025	J	`jnl`	Less is More: Learning Graph Tasks with Just LLMs. CoRR Sola Shirai, Kavitha Srinivas, Julian Dolby, Michael Katz, Horst Samulowitz, Shirin Sohrabi
2025	J	`jnl`	Make Planning Research Rigorous Again! CoRR Michael Katz, Harsha Kokel, Christian Muise, Shirin Sohrabi, Sarath Sreedharan
2025	J	`jnl`	QueryGym: Step-by-Step Interaction with Relational Databases. CoRR Haritha Ananthakrishnan, Harsha Kokel, Kelsey Sikes, Debarun Bhattacharjya, Michael Katz, Shirin Sohrabi, Kavitha Srinivas
2025	J	`jnl`	Seemingly Simple Planning Problems are Computationally Challenging: The Countdown Game. CoRR Michael Katz, Harsha Kokel, Sarath Sreedharan
2024	J	`jnl`	ACPBench: Reasoning about Action, Change, and Planning. CoRR Harsha Kokel, Michael Katz, Kavitha Srinivas, Shirin Sohrabi
2024	J	`jnl`	Automating Thought of Search: A Journey Towards Soundness and Completeness. CoRR Daniel Cao, Michael Katz, Harsha Kokel, Kavitha Srinivas, Shirin Sohrabi
2024	A*	`conf`	Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning. AAAI Turgay Caglar, Sirine Belhaj, Tathagata Chakraborti, Michael Katz, Sarath Sreedharan
2024	J	`jnl`	Choosing a Classical Planner with Graph Neural Networks. CoRR Jana Vatter, Ruben Mayer, Hans-Arno Jacobsen, Horst Samulowitz, Michael Katz
2024	A*	`conf`	Generalized Planning in PDDL Domains with Pretrained Large Language Models. AAAI Tom Silver, Soham Dan, Kavitha Srinivas, Joshua B. Tenenbaum, Leslie Pack Kaelbling, Michael Katz
2024	A*	`conf`	Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction. AAAI Tathagata Chakraborti, Jungkoo Kang, Francesco Fuggitti, Michael Katz, Shirin Sohrabi
2024	A*	`conf`	Large Language Models as Planning Domain Generators (Student Abstract). AAAI James T. Oswald, Kavitha Srinivas, Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi
2024	A*	`conf`	Large Language Models as Planning Domain Generators. ICAPS James T. Oswald, Kavitha Srinivas, Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi
2024	J	`jnl`	Large Language Models as Planning Domain Generators. CoRR James T. Oswald, Kavitha Srinivas, Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi
2024	A*	`conf`	Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract). AAAI Brandon Rozek, Junkyu Lee, Harsha Kokel, Michael Katz, Shirin Sohrabi
2024	J	`jnl`	Planning with Language Models Through The Lens of Efficiency. CoRR Michael Katz, Harsha Kokel, Kavitha Srinivas, Shirin Sohrabi
2024	B	`conf`	Some Orders Are Important: Partially Preserving Orders in Top-Quality Planning. SOCS Michael Katz, Junkyu Lee, Jungkoo Kang, Shirin Sohrabi
2024	J	`jnl`	Some Orders Are Important: Partially Preserving Orders in Top-Quality Planning. CoRR Michael Katz, Junkyu Lee, Jungkoo Kang, Shirin Sohrabi
2024	A*	`conf`	Thought of Search: Planning with Language Models Through The Lens of Efficiency. NeurIPS Michael Katz, Harsha Kokel, Kavitha Srinivas, Shirin Sohrabi
2024	A*	`conf`	Unifying and Certifying Top-Quality Planning. ICAPS Michael Katz, Junkyu Lee, Shirin Sohrabi
2024	J	`jnl`	Unifying and Certifying Top-Quality Planning. CoRR Michael Katz, Junkyu Lee, Shirin Sohrabi
2023	A*	`conf`	Action Space Reduction for Planning Domains. IJCAI Harsha Kokel, Junkyu Lee, Michael Katz, Kavitha Srinivas, Shirin Sohrabi
2023	J	`jnl`	Generalized Planning in PDDL Domains with Pretrained Large Language Models. CoRR Tom Silver, Soham Dan, Kavitha Srinivas, Joshua B. Tenenbaum, Leslie Pack Kaelbling, Michael Katz
2023	B	`conf`	Generating SAS+ Planning Tasks of Specified Causal Structure. SOCS Michael Katz, Junkyu Lee, Shirin Sohrabi
2023	A*	`conf`	K∗ Search over Orbit Space for Top-k Planning. IJCAI Michael Katz, Junkyu Lee
2023	B	`conf`	K∗ and Partial Order Reduction for Top-Quality Planning. SOCS Michael Katz, Junkyu Lee
2023	B	`conf`	On K* Search for Top-K Planning. SOCS Junkyu Lee, Michael Katz, Shirin Sohrabi
2023	A*	`conf`	On Partial Satisfaction Planning with Total-Order HTNs. ICAPS Gregor Behnke, David Speck, Michael Katz, Shirin Sohrabi
2023	A*	`conf`	Optimistic Exploration in Reinforcement Learning Using Symbolic Model Estimates. NeurIPS Sarath Sreedharan, Michael Katz
2023	A	`conf`	PARIS: Planning Algorithms for Reconfiguring Independent Sets. ECAI Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck
2023	J	`jnl`	Towards More Likely Models for AI Planning. CoRR Turgay Caglar, Sirine Belhaj, Tathagata Chakraborti, Michael Katz, Sarath Sreedharan
2022	J	`jnl`	A Conflict-Driven Interface Between Symbolic Planning and Nonlinear Constraint Solving. IEEE Robotics Autom. Lett. Joaquim Ortiz de Haro, Erez Karpas, Michael Katz, Marc Toussaint
2022	J	`jnl`	A Conflict-driven Interface between Symbolic Planning and Nonlinear Constraint Solving. CoRR Joaquim Ortiz de Haro, Erez Karpas, Michael Katz, Marc Toussaint
2022	A*	`conf`	A* Search and Bound-Sensitive Heuristics for Oversubscription Planning. AAAI Michael Katz, Emil Keyder
2022	J	`jnl`	AI Planning Annotation for Sample Efficient Reinforcement Learning. CoRR Junkyu Lee, Michael Katz, Don Joven Agravante, Miao Liu, Tim Klinger, Murray Campbell, Shirin Sohrabi, Gerald Tesauro
2022	A*	`conf`	Bounding Quality in Diverse Planning. AAAI Michael Katz, Shirin Sohrabi, Octavian Udrea
2022	A*	`conf`	Conflict-Directed Diverse Planning for Logic-Geometric Programming. ICAPS Joaquim Ortiz de Haro, Erez Karpas, Marc Toussaint, Michael Katz
2022	A*	`conf`	How to Reduce Action Space for Planning Domains? (Student Abstract). AAAI Harsha Kokel, Junkyu Lee, Michael Katz, Shirin Sohrabi, Kavitha Srinivas
2022	B	`conf`	On Producing Shortest Cost-Optimal Plans. SOCS Michael Katz, Gabriele Röger, Malte Helmert
2022	A*	`conf`	Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators. ICAPS Clement Gehring, Masataro Asai, Rohan Chitnis, Tom Silver, Leslie Pack Kaelbling, Shirin Sohrabi, Michael Katz
2022	A*	`conf`	Who Needs These Operators Anyway: Top Quality Planning with Operator Subset Criteria. ICAPS Michael Katz, Shirin Sohrabi
2021	A*	`conf`	Custom-Design of FDR Encodings: The Case of Red-Black Planning. IJCAI Daniel Fiser, Daniel Gnad, Michael Katz, Jörg Hoffmann
2021	A*	`conf`	Efficient Black-Box Planning Using Macro-Actions with Focused Effects. IJCAI Cameron Allen, Michael Katz, Tim Klinger, George Konidaris, Matthew Riemer, Gerald Tesauro
2021	A*	`conf`	IBM Scenario Planning Advisor: A Neuro-Symbolic ERM Solution. AAAI Mark Feblowitz, Oktie Hassanzadeh, Michael Katz, Shirin Sohrabi, Kavitha Srinivas, Octavian Udrea
2021	A*	`ed.`	Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021 ICAPS Susanne Biundo, Minh Do, Robert Goldman, Michael Katz, Qiang Yang, Hankz Hankui Zhuo
2021	J	`jnl`	Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators. CoRR Clement Gehring, Masataro Asai, Rohan Chitnis, Tom Silver, Leslie Pack Kaelbling, Shirin Sohrabi, Michael Katz
2021	A*	`conf`	Symbolic Search for Oversubscription Planning. AAAI David Speck, Michael Katz
2021	A*	`conf`	The Fewer the Merrier: Pruning Preferred Operators with Novelty. IJCAI Alexander Tuisov, Michael Katz
2020	A*	`conf`	Causal Knowledge Extraction through Large-Scale Text Mining. AAAI Oktie Hassanzadeh, Debarun Bhattacharjya, Mark Feblowitz, Kavitha Srinivas, Michael Perrone, Shirin Sohrabi, Michael Katz
2020	A*	`conf`	Exploring Context-Free Languages via Planning: The Case for Automating Machine Learning. ICAPS Michael Katz, Parikshit Ram, Shirin Sohrabi, Octavian Udrea
2020	A*	`conf`	Online Planner Selection with Graph Neural Networks and Adaptive Scheduling. AAAI Tengfei Ma, Patrick Ferber, Siyu Huo, Jie Chen, Michael Katz
2020	A*	`conf`	Reshaping Diverse Planning. AAAI Michael Katz, Shirin Sohrabi
2020	A*	`conf`	Top-Quality Planning: Finding Practically Useful Sets of Best Plans. AAAI Michael Katz, Shirin Sohrabi, Octavian Udrea
2019	A*	`conf`	Answering Binary Causal Questions Through Large-Scale Text Mining: An Evaluation Using Cause-Effect Pairs from Human Experts. IJCAI Oktie Hassanzadeh, Debarun Bhattacharjya, Mark Feblowitz, Kavitha Srinivas, Michael Perrone, Shirin Sohrabi, Michael Katz
2019	A*	`conf`	Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection. AAAI Silvan Sievers, Michael Katz, Shirin Sohrabi, Horst Samulowitz, Patrick Ferber
2019	J	`jnl`	IBM Scenario Planning Advisor: Plan recognition as AI planning in practice. AI Commun. Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D. Feblowitz, Anton Riabov
2019	J	`jnl`	IPC: A Benchmark Data Set for Learning with Graph-Structured Data. CoRR Patrick Ferber, Tengfei Ma, Siyu Huo, Jie Chen, Michael Katz
2019	A*	`conf`	Oversubscription Planning as Classical Planning with Multiple Cost Functions. ICAPS Michael Katz, Emil Keyder, Dominik Winterer, Florian Pommerening
2019	A*	`conf`	Red-Black Heuristics for Planning Tasks with Conditional Effects. AAAI Michael Katz
2019	A*	`conf`	Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. ICAPS Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz
2019	A	`conf`	Towards Automated Planning for Enterprise Services: Opportunities and Challenges. ICSOC 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
2018	A*	`conf`	A Novel Iterative Approach to Top-k Planning. ICAPS Michael Katz, Shirin Sohrabi, Octavian Udrea, Dominik Winterer
2018	J	`jnl`	Adaptive Planner Scheduling with Graph Neural Networks. CoRR Tengfei Ma, Patrick Ferber, Siyu Huo, Jie Chen, Michael Katz
2018	A*	`conf`	An AI Planning Solution to Scenario Generation for Enterprise Risk Management. AAAI Shirin Sohrabi, Anton V. Riabov, Michael Katz, Octavian Udrea
2018	A*	`conf`	IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice. IJCAI Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D. Feblowitz
2018	A*	`conf`	Semi-Black Box: Rapid Development of Planning Based Solutions. AAAI Michael Katz, Dany Moshkovich, Erez Karpas
2018	A*	`conf`	Symmetry-Based Task Reduction for Relaxed Reachability Analysis. ICAPS Gabriele Röger, Silvan Sievers, Michael Katz
2017	A*	`conf`	Adapting Novelty to Classical Planning as Heuristic Search. ICAPS Michael Katz, Nir Lipovetzky, Dany Moshkovich, Alexander Tuisov
2017	B	`conf`	Strengthening Canonical Pattern Databases with Structural Symmetries. SOCS Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
2017	A*	`conf`	Stubborn Sets for Fully Observable Nondeterministic Planning. ICAPS Dominik Winterer, Yusra Alkhazraji, Michael Katz, Martin Wehrle
2016	A*	`conf`	In Search of Tractability for Partial Satisfaction Planning. IJCAI Michael Katz, Vitaly Mirkis
2016	A*	`conf`	Structural Symmetries for Fully Observable Nondeterministic Planning. IJCAI Dominik Winterer, Martin Wehrle, Michael Katz
2015	Misc	`conf`	An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search. KI Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
2015	A*	`conf`	Factored Symmetries for Merge-and-Shrink Abstractions. AAAI Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
2015	A*	`conf`	Heuristics and Symmetries in Classical Planning. AAAI Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle
2015	A*	`conf`	Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. IJCAI Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
2015	J	`jnl`	Red-black planning: A new systematic approach to partial delete relaxation. Artif. Intell. Carmel Domshlak, Jörg Hoffmann, Michael Katz
2014	J	`jnl`	Implicit Abstraction Heuristics. CoRR Michael Katz, Carmel Domshlak
2013	—	`conf`	Completeness and Ambiguity of Schema Cover. OTM Conferences Avigdor Gal, Michael Katz, Tomer Sagi, Matthias Weidlich, Karl Aberer, Nguyen Quoc Viet Hung, Zoltán Miklós, Eliezer Levy, Victor Shafran
2013	B	`conf`	Red-Black Relaxed Plan Heuristics Reloaded. SOCS Michael Katz, Jörg Hoffmann
2013	A*	`conf`	Red-Black Relaxed Plan Heuristics. AAAI Michael Katz, Jörg Hoffmann, Carmel Domshlak
2013	A*	`conf`	Symmetry Breaking: Satisficing Planning and Landmark Heuristics. ICAPS Carmel Domshlak, Michael Katz, Alexander Shleyfman
2013	A*	`conf`	Who Said We Need to Relax All Variables? ICAPS Michael Katz, Jörg Hoffmann, Carmel Domshlak
2012	A*	`conf`	Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search. ICAPS Carmel Domshlak, Michael Katz, Alexander Shleyfman
2012	A*	`conf`	How to Relax a Bisimulation? ICAPS Michael Katz, Jörg Hoffmann, Malte Helmert
2012	J	`jnl`	Landmark-enhanced abstraction heuristics. Artif. Intell. Carmel Domshlak, Michael Katz, Sagi Lefler
2012	A*	`conf`	Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning. AAAI Michael Katz, Emil Keyder
2011	J	`jnl`	Implicit abstraction heuristics for cost-optimal planning. AI Commun. Michael Katz
2011	A*	`conf`	When Optimal Is Just Not Good Enough: Learning Fast Informative Action Cost Partitionings. ICAPS Erez Karpas, Michael Katz, Shaul Markovitch
2010	J	`jnl`	Implicit Abstraction Heuristics. J. Artif. Intell. Res. Michael Katz, Carmel Domshlak
2010	J	`jnl`	Optimal admissible composition of abstraction heuristics. Artif. Intell. Michael Katz, Carmel Domshlak
2010	A*	`conf`	When Abstractions Met Landmarks. ICAPS Carmel Domshlak, Michael Katz, Sagi Lefler
2009	A*	`conf`	Structural-Pattern Databases. ICAPS Michael Katz, Carmel Domshlak
2008	J	`jnl`	New Islands of Tractability of Cost-Optimal Planning. J. Artif. Intell. Res. Michael Katz, Carmel Domshlak
2008	A*	`conf`	Optimal Additive Composition of Abstraction-based Admissible Heuristics. ICAPS Michael Katz, Carmel Domshlak
2008	A*	`conf`	Structural Patterns Heuristics via Fork Decomposition. ICAPS Michael Katz, Carmel Domshlak
2007	A*	`conf`	Structural Patterns of Tractable Sequentially-Optimal Planning. ICAPS Michael Katz, Carmel Domshlak