Alexander Shleyfman

According to our database, Alexander Shleyfman authored at least 28 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Extracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning.

Ryo Kuroiwa, Alexander Shleyfman, J. Christopher Beck

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Symmetry Detection and Breaking in Linear Cost-Optimal Numeric Planning.

Alexander Shleyfman, Ryo Kuroiwa, J. Christopher Beck

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Planning over Integers: Compilations and Undecidability.

Daniel Gnad, Malte Helmert, Peter Jonsson, Alexander Shleyfman

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Structurally Restricted Fragments of Numeric Planning - a Complexity Analysis.

Alexander Shleyfman, Daniel Gnad, Peter Jonsson

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Automated Verification of Social Laws in Numeric Settings.

Ronen Nir, Alexander Shleyfman, Erez Karpas

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions.

Ryo Kuroiwa, Alexander Shleyfman, Chiara Piacentini, Margarita P. Castro, J. Christopher Beck

J. Artif. Intell. Res., 2022

LM-Cut Heuristics for Optimal Linear Numeric Planning.

Ryo Kuroiwa, Alexander Shleyfman, J. Christopher Beck

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Computational Complexity of Computing Symmetries in Finite-Domain Planning.

Alexander Shleyfman, Peter Jonsson

J. Artif. Intell. Res., 2021

Learning-Based Synthesis of Social Laws in STRIPS.

Ronen Nir, Alexander Shleyfman, Erez Karpas

Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

Counterfactual Explanations for Optimization-Based Decisions in the Context of the GDPR.

Anton Korikov, Alexander Shleyfman, J. Christopher Beck

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

LM-cut and Operator Counting Heuristics for Optimal Numeric Planning with Simple Conditions.

Ryo Kuroiwa, Alexander Shleyfman, Chiara Piacentini, Margarita P. Castro, J. Christopher Beck

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

2020

Automated Synthesis of Social Laws in STRIPS.

Ronen Nir, Alexander Shleyfman, Erez Karpas

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

On Computational Complexity of Automorphism Groups in Classical Planning.

Alexander Shleyfman

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Operator Mutexes and Symmetries for Simplifying Planning Tasks.

Daniel Fiser, Álvaro Torralba, Alexander Shleyfman

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

To aggregate or to eliminate? Optimal model simplification for improved process performance prediction.

Arik Senderovich, Alexander Shleyfman, Matthias Weidlich, Avigdor Gal, Avishai Mandelbaum

Inf. Syst., 2018

Position Paper: Reasoning About Domains with PDDL.

Alexander Shleyfman, Erez Karpas

Proceedings of the 2018 AAAI Spring Symposia, 2018

2017

Automated Verification of Social Law Robustness in STRIPS.

Erez Karpas, Alexander Shleyfman, Moshe Tennenholtz

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

Symmetry Breaking in Star-Topology Decoupled Search.

Daniel Gnad, Álvaro Torralba, Alexander Shleyfman, Jörg Hoffmann

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Blind Search for Atari-Like Online Planning Revisited.

Alexander Shleyfman, Alexander Tuisov, Carmel Domshlak

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

P ^3 -Folder: Optimal Model Simplification for Improving Accuracy in Process Performance Prediction.

Arik Senderovich, Alexander Shleyfman, Matthias Weidlich, Avigdor Gal, Avishai Mandelbaum

Proceedings of the Business Process Management - 14th International Conference, 2016

2015

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

Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz

Proceedings of the Twenty-Fourth International Joint 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, 2015

On Interruptible Pure Exploration in Multi-Armed Bandits.

Alexander Shleyfman, Antonín Komenda, Carmel Domshlak

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Heuristics and Symmetries in Classical Planning.

Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

On Combinatorial Actions and CMABs with Linear Side Information.

Alexander Shleyfman, Antonín Komenda, Carmel Domshlak

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

On Robustness of CMAB Algorithms: Experimental Approach.

Antonín Komenda, Alexander Shleyfman, Carmel Domshlak

Proceedings of the Computer Games - Third Workshop on Computer Games, 2014

2013

Symmetry Breaking: Satisficing Planning and Landmark Heuristics.

Carmel Domshlak, Michael Katz, Alexander Shleyfman

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search.

Carmel Domshlak, Michael Katz, Alexander Shleyfman

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012