Članki z zahtevami za javni dostop - Michael KatzVeč o tem
Na voljo nekje: 24
Red-black planning: a new systematic approach to partial delete relaxation
C Domshlak, J Hoffmann, M Katz
Artificial Intelligence 221 (April 2015), 73–114, 2015
Zahteve: German Research Foundation
Heuristics and Symmetries in Classical Planning
A Shleyfman, M Katz, M Helmert, S Sievers, M Wehrle
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Zahteve: Swiss National Science Foundation
Online Planner Selection with Graph Neural Networks and Adaptive Scheduling
T Ma, P Ferber, S Huo, J Chen, M Katz
The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), 2020
Zahteve: German Research Foundation
Deep learning for cost-optimal planning: Task-dependent planner selection
S Sievers, M Katz, S Sohrabi, H Samulowitz, P Ferber
Proceedings of the AAAI Conference on Artificial Intelligence 33, 7715-7723, 2019
Zahteve: European Commission
Adapting novelty to classical planning as heuristic search
M Katz, N Lipovetzky, D Moshkovich, A Tuisov
Proceedings of the International Conference on Automated Planning and …, 2017
Zahteve: Australian Research Council
Theoretical foundations for structural symmetries of lifted PDDL tasks
S Sievers, G Röger, M Wehrle, M Katz
Proceedings of the International Conference on Automated Planning and …, 2019
Zahteve: European Commission
Factored symmetries for merge-and-shrink abstractions
S Sievers, M Wehrle, M Helmert, A Shleyfman, M Katz
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015
Zahteve: Swiss National Science Foundation
Symmetry-based task reduction for relaxed reachability analysis
G Röger, S Sievers, M Katz
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
Zahteve: European Commission
Metis: Arming Fast Downward with Pruning and Incremental Computation
Y Alkhazraji, M Katz, F Pommerening, A Shleyfman, M Wehrle
Eighth International Planning Competition (IPC 2014), 2014
Zahteve: Swiss National Science Foundation, German Research Foundation
Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning
M Wehrle, M Helmert, A Shleyfman, M Katz
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Zahteve: Swiss National Science Foundation
Oversubscription planning as classical planning with multiple cost functions
M Katz, E Keyder, D Winterer, F Pommerening
Proceedings of the International Conference on Automated Planning and …, 2019
Zahteve: European Commission
An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search
S Sievers, M Wehrle, M Helmert, M Katz
The 38th German Conference on Artificial Intelligence, 2015
Zahteve: Swiss National Science Foundation
Conflict-Directed Diverse Planning for Logic-Geometric Programming
J Ortiz-Haro, E Karpas, M Toussaint, M Katz
Proceedings of the International Conference on Automated Planning and …, 2022
Zahteve: German Research Foundation, Federal Ministry of Education and Research, Germany
A Conflict-Driven Interface Between Symbolic Planning and Nonlinear Constraint Solving
J Ortiz-Haro, E Karpas, M Katz, M Toussaint
IEEE Robotics and Automation Letters 7 (4), 10518-10525, 2022
Zahteve: Federal Ministry of Education and Research, Germany
(PARIS) Planning Algorithms for Reconfiguring Independent Sets
R Christen, S Eriksson, M Katz, E Keyder, C Muise, A Petrov, ...
Zahteve: Natural Sciences and Engineering Research Council of Canada, Knut and Alice …
Strengthening canonical pattern databases with structural symmetries
S Sievers, M Wehrle, M Helmert, M Katz
Tenth Annual Symposium on Combinatorial Search, 2017
Zahteve: Swiss National Science Foundation
Structural Symmetries for Fully Observable Nondeterministic Planning
D Winterer, M Wehrle, M Katz
25th International Joint Conference on Artificial Intelligence, 2016
Zahteve: Swiss National Science Foundation
Symbolic Search for Oversubscription Planning
D Speck, M Katz
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11972 …, 2021
Zahteve: German Research Foundation
Optimistic Exploration in Reinforcement Learning Using Symbolic Model Estimates
S Sreedharan, M Katz
Zahteve: US National Science Foundation
Custom-Design of FDR Encodings: The Case of Red-Black Planning
D Fišer, D Gnad, M Katz, J Hoffmann
International Joint Conference on Artificial Intelligence, 2021
Zahteve: German Research Foundation
Podatke o objavi in financiranju samodejno določi računalniški program