Michael Katz  Michael Katz photo       

contact information

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)


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
http://icaps16.icaps-conference.org/proceedings/hsdip16.pdf, 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

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
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

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
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

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