Michael Katz  Michael Katz photo         

contact information

Principal Research Staff Member
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  

links

Professional Associations

Professional Associations:  Association for the Advancement of Artificial Intelligence (AAAI)


2020

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

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

Reshaping Diverse Planning
Michael Katz, Shirin Sohrabi
AAAI 2020


2019

Towards Automated Planning for Enterprise Services: Opportunities and Challenges
Maja Vukovic, Scott Gerard, Rick Hull, Michael Katz, Laura Shwartz, Shirin Sohrabi, Christian Muise, John Rofrano, Anup Kalia, Jinho Hwang, others
International Conference on Service-Oriented Computing, pp. 64--68, 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
IJCAI19, 2019

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

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

Reshaping Diverse Planning: Let There Be Light!
Michael Katz, Shirin Sohrabi
HSDIP 2019

IPC: A Benchmark Data Set for Learning with Graph-Structured Data
Patrick Ferber, Tengfei Ma, Siyu Huo, Jie Chen, Michael Katz
arXiv preprint arXiv:1905.06393, 2019

Democratizing Usage of Planning Systems by Facilitating Research in Algorithm Selection for Planning
Michael Katz, Silvan Sievers
2019

The Role of IPC in Setting Standards for Experimental Evaluation in Planning Research
Michael Katz, Silvan Sievers
2019

IBM Scenario Planning Advisor: Plan recognition as AI planning in practice
Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D Feblowitz, Anton Riabov
AI Communications pp. Preprint, 1--13, IOS Press, 2019

Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks
Silvan Sievers, Gabriele Roeger, Martin Wehrle, Michael Katz
Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS), 2019

Oversubscription Planning as Classical Planning with Multiple Cost Functions
Michael Katz, Emil Keyder, Florian Pommerening, Dominik Winterer
Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS), 2019

Red-Black Heuristics for Planning Tasks with Conditional Effects
Michael Katz
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI-19), 2019

Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection
Silvan Sievers, Michael Katz, Shirin Sohrabi, Horst Samulowitz, Patrick Ferber
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI-19), 2019


2018

Adaptive Planner Scheduling with Graph Neural Networks
Tengfei Ma, Patrick Ferber, Siyu Huo, Jie Chen, Michael Katz
arXiv preprint arXiv:1811.00210, 2018

Metis 2018
Silvan Sievers, Michael Katz
Ninth International Planning Competition (IPC-9), 2018

MERWIN Planner: Mercury Enchanced With Novelty Heuristic
Michael Katz, Nir Lipovetzky, Dany Moshkovich, Alexander Tuisov
Ninth International Planning Competition (IPC-9), 2018

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


Delfi: Online Planner Selection for Cost-Optimal Planning
Michael Katz, Shirin Sohrabi, Horst Samulowitz, Silvan Sievers
Ninth International Planning Competition (IPC-9), 2018

Good Old Mercury Planner
Michael Katz, Joerg Hoffmann
Ninth International Planning Competition (IPC-9), 2018


Reformulating Oversubscription Planning Tasks
Michael Katz, Vitaly Mirkis, Florian Pommerening, Dominik Winterer
Proceedings of the 10th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'18), 2018

A Novel Iterative Approach to Top-k Planning
Michael Katz, Shirin Sohrabi, Octavian Udrea, Dominik Winterer
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS 2018)

An AI Planning Solution to Scenario Generation for Enterprise Risk Management
Shirin Sohrabi, Anton Riabov, Michael Katz, and Octavian Udrea
Proceedings of the 32nd Conference on Artificial Intelligence (AAAI-18), 2018

Symmetry-based Task Reduction for Relaxed Reachability Analysis
Gabriele Roeger and Silvan Sievers and Michael Katz
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS 2018)
To appear



2017

Structural Symmetries of the Lifted Representation of Classical Planning Tasks
Silvan Sievers, Gabriele Roeger, Martin Wehrle, Michael Katz
Proceedings of the Heuristics and Search for Domain-independent Planning (HSDIP) workshop at ICAPS, 2017

Strengthening Canonical Pattern Databases with Structural Symmetries
Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS), 2017

Stubborn Sets for Fully Observable Nondeterministic Planning
Dominik Winterer, Yusra Alkhazraji, Michael Katz, Martin Wehrle
Proc. ICAPS, 2017

Adapting Novelty to Classical Planning as Heuristic Search
Michael Katz, Nir Lipovetzky, Dany Moshkovich, Alexander Tuisov
Proc. ICAPS, 2017


2016

Proceedings of the 8th Workshop on Heuristics and Search for Domain-independent Planning (HSDIP)
J. Benton, Daniel Bryce, Michael Katz, Nir Lipovetzky, Christian Muise, Miquel Ram\irez, Alvaro Torralba
ICAPS, 2016

Lifting Delete Relaxation Heuristics To Successor Generator Planning
Michael Katz, Dany Moshkovich, Erez Karpas
Proceedings of the 8th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'16), 2016

Structural Symmetries for Fully Observable Nondeterministic Planning
Dominik Winterer, Martin Wehrle, Michael Katz
25th International Joint Conference on Artificial Intelligence, 2016

In Search of Tractability for Partial Satisfaction Planning
Michael Katz, Vitaly Mirkis
25th International Joint Conference on Artificial Intelligence, 2016


2015

Heuristics and Symmetries in Classical Planning.
Shleyfman, Alexander and Katz, Michael and Helmert, Malte and Sievers, Silvan and Wehrle, Martin
AAAI, pp. 3371--3377, 2015
Abstract

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

Red--black planning: A new systematic approach to partial delete relaxation
Domshlak, Carmel and Hoffmann, J{\"o}rg and Katz, Michael
Artificial Intelligence221, 73--114, Elsevier, 2015
Abstract

Integrating partial order reduction and symmetry elimination for cost-optimal classical planning: Additional examples
Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Technical Report, Technical Report CS-2015-001, University of Basel, Department of Mathematics and Computer Science

Proceedings of the 7th Workshop on Heuristics and Search for Domain Independent Planning
Ron Alford, J Benton, Erez Karpas, Michael Katz, Nir Lipovetzky, Gabriele Roeger, Jordan Thayer
ICAPS, 2015

An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search
Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
The 38th German Conference on Artificial Intelligence, 2015

Symmetry Breaking in Deterministic Planning as Forward Search: Orbit Space Search Algorithm
Carmel Domshlak, Michael Katz, Alexander Shleyfman
http://ie.technion.ac.il/tech\_reports/1430403498\_main.pdf pp. Technical Report IS/IE-2015-02

Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning
Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Red-black planning: a new systematic approach to partial delete relaxation
Carmel Domshlak, J\"org Hoffmann, Michael Katz
Artificial Intelligence 221(April 2015), 73--114, Elsevier

Heuristics and Symmetries in Classical Planning
Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Factored symmetries for merge-and-shrink abstractions
Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3378--3385


2014

Proceedings of the 6th Workshop on Heuristics and Search for Domain Independent Planning
J Benton, Patrik Haslum, Malte Helmert, Michael Katz, Jordan Thayer
2014

Heuristics and symmetries in classical planning: Additional proofs
Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle
Technical Report, Technical Report CS-2014-006, Universit\"at Basel, Departement Mathematik und Informatik

Mercury Planner: Pushing the Limits of Partial Delete Relaxation
Michael Katz, Joerg Hoffmann
Eighth International Planning Competition (IPC 2014)

Metis: Arming Fast Downward with Pruning and Incremental Computation
Yusra Alkhazraji, Michael Katz, Florian Pommerening, Alexander Shleyfman, Martin Wehrle
Eighth International Planning Competition (IPC 2014)

Pushing the Limits of Partial Delete Relaxation: Red-Black DAG Heuristics
Michael Katz, J\"org Hoffmann
Heuristics and Search for Domain Independent Planning, 40, 2014

Implicit Abstraction Heuristics
Michael Katz, Carmel Domshlak
arXiv preprint arXiv:1401.3853, 2014


2013

Red-Black Relaxed Plan Heuristics.
Katz, Michael and Hoffmann, J{\"o}rg and Domshlak, Carmel
AAAI, 2013
Abstract

Advanced Results on Distance Estimation in Planning
J\"org Hoffmann, Michael Katz
Citeseer, 2013

Red-black relaxed plan heuristics
Michael Katz, Joerg Hoffmann, Carmel Domshlak
Proceedings of the 27th National Conference of the American Association for Artificial Intelligence (AAAIÿ 13), 2013

Proceedings of the 5th Workshop on Heuristics and Search for Domain-Independent Planning
Malte Helmert, Michael Katz, Gabriele R\"oger, Jordan Thayer
2013

Completeness and ambiguity of schema cover
Avigdor Gal, Michael Katz, Tomer Sagi, Matthias Weidlich, Karl Aberer, Hung Quoc Viet Nguyen, Zolt\'an Mikl\'os, Eliezer Levy, Victor Shafran
On the Move to Meaningful Internet Systems: OTM 2013 Conferences, pp. 241--258

Catching Label Subsets for Relaxed Bisimulation: An Abstraction Refinement Approach
Marcel Steinmetz, J\"org Hoffmann, Michael Katz
Heuristics and Search for Domain-Independent Planning, 14, 2013

Red-Black Relaxed Plan Heuristics Reloaded
Michael Katz, J\"org Hoffmann
Sixth Annual Symposium on Combinatorial Search, 2013

Symmetry Breaking: Satisficing Planning and Landmark Heuristics
Carmel Domshlak, Michael Katz, Alexander Shleyfman
Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013). AAAI Press. Forthcoming

Red-Black Relaxed Plan Heuristics
Michael Katz, J\"org Hoffmann, Carmel Domshlak
Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI), Bellevue, Washington, USA, 2013

A Generalized Cover problem for Schema Matching
Karl Aberer, Ran Bittmann, Avigdor Gal, Michael Katz, Eliezer Levy, Zolt\'an Mikl\'os, Nguyen Quoc Viet Hung, Tomer Sagi, Victor Shafran
2013

Who said we need to relax all variables?
Michael Katz, J\"org Hoffmann, Carmel Domshlak
ICAPS, 2013


2012

Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning.
Michael Katz, Emil Keyder
Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI 2012), AAAI Press.

Structural patterns beyond forks: Extending the complexity boundaries of classical planning
Michael Katz, Emil Keyder
Twenty-Sixth Conference on Artificial Intelligence (AAAI), 2012

Landmark-enhanced abstraction heuristics
Carmel Domshlak, Michael Katz, Sagi Lefler
Artificial Intelligence189, 48--68, Elsevier, 2012

How to relax a bisimulation?
Michael Katz, J\"org Hoffmann, Malte Helmert, others
ICAPS, 2012

Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search.
Carmel Domshlak, Michael Katz, Alexander Shleyfman
ICAPS, 2012


2011

Planning with implicit abstraction heuristics
Michael Katz, Carmel Domshlak
7th International Planning Competition (IPC), 46--49, 2011

HDIP 2011 3rd Workshop on Heuristics for Domain-independent Planning
Alan Fern, Patrik Haslum, J\"org Hoffmann, Michael Katz
2011

Implicit abstraction heuristics for cost-optimal planning
Michael Katz
AI Communications 24(4), 343--345, IOS Press, 2011

On Satisficing Planning with Admissible Heuristics
Roei Bahumi, Carmel Domshlak, Michael Katz
HDIP 2011 3rd Workshop on Heuristics for Domain-independent Planning, pp. 37

Schema Covering: Problem, Modeling, Analysis, and Applications
Avigdor Gal, Michael Katz, Tomer Sagi
2011

When Optimal Is Just Not Good Enough: Learning Fast Informative Action Cost Partitionings.
Erez Karpas, Michael Katz, Shaul Markovitch
ICAPS, 2011


2010

Implicit abstraction heuristics
Michael Katz, Carmel Domshlak
Journal of Artificial Intelligence Research39, 51--126, 2010

When Abstractions Met Landmarks.
Carmel Domshlak, Michael Katz, Sagi Lefler
ICAPS, pp. 50--56, 2010

Optimal admissible composition of abstraction heuristics
Michael Katz, Carmel Domshlak
Artificial Intelligence 174(12-13), 767--798, Elsevier, 2010


2009

Abstractions+= Landmarks
Carmel Domshlak, Michael Katz, Sagi Lefler
2nd Workshop on Heuristics for Domain-independent Planning, 2009

Structural-Pattern Databases.
Michael Katz, Carmel Domshlak
ICAPS, 2009


2008

New Islands of Tractability of Cost-Optimal Planning
Michael Katz, Carmel Domshlak
Journal of Artificial Intelligence Research 32(1), 203--288, AI Access Foundation, 2008

Optimal Additive Composition of Abstraction-based Admissible Heuristics.
Michael Katz, Carmel Domshlak
ICAPS, pp. 174--181, 2008

Structural Patterns Heuristics via Fork Decomposition.
Michael Katz, Carmel Domshlak
ICAPS, pp. 182--189, 2008


2007

Towards Structural-Patterns Admissible Heuristics
Michael Katz
2007

Structural Patterns of Tractable Sequentially-Optimal Planning.
Michael Katz, Carmel Domshlak
ICAPS, pp. 200--207, 2007

Structural patterns heuristics: Basic idea and concrete instance
Michael Katz, Carmel Domshlak
Proceedings of ICAPS-07 Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges, 2007


Year Unknown

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

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

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

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