Michael Katz

发表

In Search of Tractability for Partial Satisfaction Planning

Vitaly Mirkis, Michael Katz, Michael Katz, 2016, IJCAI.

Structural-Pattern Databases

Carmel Domshlak, Michael Katz, 2009, ICAPS.

Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning

Malte Helmert, Michael Katz, Martin Wehrle, 2015, IJCAI.

An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search

Malte Helmert, Michael Katz, Silvan Sievers, 2015, KI.

Optimal admissible composition of abstraction heuristics

Carmel Domshlak, Michael Katz, Michael Katz, 2010, Artif. Intell..

Symmetry-Based Task Reduction for Relaxed Reachability Analysis

Michael Katz, Silvan Sievers, Gabriele Röger, 2018, ICAPS.

An AI Planning Solution to Scenario Generation for Enterprise Risk Management

Shirin Sohrabi, Octavian Udrea, Anton Riabov, 2018, AAAI.

New Islands of Tractability of Cost-Optimal Planning

Carmel Domshlak, Michael Katz, Michael Katz, 2008, J. Artif. Intell. Res..

Heuristics and Symmetries in Classical Planning

Malte Helmert, Michael Katz, Silvan Sievers, 2015, AAAI.

Factored Symmetries for Merge-and-Shrink Abstractions

Malte Helmert, Michael Katz, Silvan Sievers, 2015, AAAI.

Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning

Michael Katz, Emil Keyder, 2012, AAAI.

Semi-Black Box: Rapid Development of Planning Based Solutions

Erez Karpas, Michael Katz, Dany Moshkovich, 2018, AAAI.

Red-Black Relaxed Plan Heuristics Reloaded

Jörg Hoffmann, Michael Katz, 2013, SOCS.

Red-Black Relaxed Plan Heuristics

Carmel Domshlak, Jörg Hoffmann, Michael Katz, 2013, AAAI.

Landmark-enhanced abstraction heuristics

Carmel Domshlak, Michael Katz, Sagi Lefler, 2012, Artif. Intell..

Structural Patterns Heuristics via Fork Decomposition

Carmel Domshlak, Michael Katz, 2008, ICAPS.

Folding cellular telephone and digital assistant with improved keyboard

Michael Katz, 2001 .

Red-Black Heuristics for Planning Tasks with Conditional Effects

Michael Katz, 2019, AAAI.

Strengthening Canonical Pattern Databases with Structural Symmetries

Malte Helmert, Michael Katz, Silvan Sievers, 2017, SOCS.

When Optimal Is Just Not Good Enough: Learning Fast Informative Action Cost Partitionings

Erez Karpas, Shaul Markovitch, Michael Katz, 2011, ICAPS.

Red-black planning: A new systematic approach to partial delete relaxation

Carmel Domshlak, Jörg Hoffmann, Michael Katz, 2015, Artif. Intell..

Completeness and Ambiguity of Schema Cover

Karl Aberer, Matthias Weidlich, Avigdor Gal, 2013, OTM Conferences.

Symmetry Breaking: Satisficing Planning and Landmark Heuristics

Carmel Domshlak, Michael Katz, Alexander Shleyfman, 2013, ICAPS.

When Abstractions Met Landmarks

Carmel Domshlak, Michael Katz, Sagi Lefler, 2010, ICAPS.

Optimal Additive Composition of Abstraction-based Admissible Heuristics

Carmel Domshlak, Michael Katz, Michael Katz, 2008, ICAPS.

Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search

Carmel Domshlak, Michael Katz, Alexander Shleyfman, 2012, ICAPS.

IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice

Shirin Sohrabi, Octavian Udrea, Oktie Hassanzadeh, 2018, IJCAI.

Who Said We Need to Relax All Variables?

Carmel Domshlak, Jörg Hoffmann, Michael Katz, 2013, ICAPS.

IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice

Shirin Sohrabi, Octavian Udrea, Anton Riabov, 2018, IJCAI.

Stubborn Sets for Fully Observable Nondeterministic Planning

Michael Katz, Martin Wehrle, Yusra Alkhazraji, 2017, ICAPS.

Implicit Abstraction Heuristics

Carmel Domshlak, Michael Katz, 2010, J. Artif. Intell. Res..

Structural Symmetries for Fully Observable Nondeterministic Planning

Michael Katz, Martin Wehrle, Dominik Winterer, 2016, IJCAI.

Structural Patterns of Tractable Sequentially-Optimal Planning

Carmel Domshlak, Michael Katz, Michael Katz, 2007, ICAPS.

How to Relax a Bisimulation?

Jörg Hoffmann, Malte Helmert, Michael Katz, 2012, ICAPS.

The Usage of Smartphone and PDA Based Electronic Drug Databases Among Pharmacists

Michael Katz, Steven Bluder, 2012 .

Oversubscription Planning as Classical Planning with Multiple Cost Functions

Michael Katz, Emil Keyder, Florian Pommerening, 2019, ICAPS.

Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks

Michael Katz, Silvan Sievers, Martin Wehrle, 2019, ICAPS.

A Novel Iterative Approach to Top-k Planning

Shirin Sohrabi, Octavian Udrea, Michael Katz, 2018, ICAPS.

Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection

Shirin Sohrabi, Horst Samulowitz, Michael Katz, 2019, AAAI.

Implicit abstraction heuristics for cost-optimal planning

Michael Katz, Michael Katz, 2011, AI Commun..

Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators pdf

Leslie Pack Kaelbling, Shirin Sohrabi, Michael Katz, 2021, ArXiv.

The Fewer the Merrier: Pruning Preferred Operators with Novelty

Michael Katz, Alexander Tuisov, Michael Katz, 2021, IJCAI.

IBM Scenario Planning Advisor: A Neuro-Symbolic ERM Solution

Shirin Sohrabi, Octavian Udrea, Oktie Hassanzadeh, 2021, AAAI.

Code and experiment data for the AAAI 2015 paper "Factored Symmetries for Merge-and-Shrink Abstractions"

Malte Helmert, Michael Katz, Silvan Sievers, 2021 .

Symbolic Search for Oversubscription Planning

Michael Katz, David Speck, Michael Katz, 2021, AAAI.

Custom-Design of FDR Encodings: The Case of Red-Black Planning

Jörg Hoffmann, Michael Katz, Daniel Gnad, 2021, IJCAI.

Delfi: Online Planner Selection for Cost-Optimal Planning

Shirin Sohrabi, Horst Samulowitz, Michael Katz, 2018 .

Reshaping Diverse Planning

Shirin Sohrabi, Michael Katz, Michael Katz, 2020, AAAI.

Mercury Planner : Pushing the Limits of Partial Delete Relaxation

Michael Katz, 2014 .

Structural Patterns Heuristics: Basic Idea and Concrete Instance

Michael Katz, 2007 .