Följ
Michael Katz
Michael Katz
Principal Research Staff Member, IBM Research AI
Verifierad e-postadress på ibm.com - Startsida
Titel
Citeras av
Citeras av
År
Generalized planning in pddl domains with pretrained large language models
T Silver, S Dan, K Srinivas, JB Tenenbaum, L Kaelbling, M Katz
Proceedings of the AAAI Conference on Artificial Intelligence 38 (18), 20256 …, 2024
1322024
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
1092015
Optimal admissible composition of abstraction heuristics
M Katz, C Domshlak
Artificial Intelligence 174 (12-13), 767-798, 2010
1082010
Optimal Additive Composition of Abstraction-based Admissible Heuristics.
M Katz, C Domshlak
ICAPS, 174-181, 2008
872008
A novel iterative approach to top-k planning
M Katz, S Sohrabi, O Udrea, D Winterer
Proceedings of the International Conference on Automated Planning and …, 2018
782018
Heuristics and Symmetries in Classical Planning
A Shleyfman, M Katz, M Helmert, S Sievers, M Wehrle
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
772015
Implicit abstraction heuristics
M Katz, C Domshlak
Journal of Artificial Intelligence Research 39, 51-126, 2010
762010
Enhanced symmetry breaking in cost-optimal planning as forward search
C Domshlak, M Katz, A Shleyfman
Proceedings of the international conference on automated planning and …, 2012
752012
An AI planning solution to scenario generation for enterprise risk management
S Sohrabi, A Riabov, M Katz, O Udrea
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
652018
Answering Binary Causal Questions Through Large-Scale Text Mining: An Evaluation Using Cause-Effect Pairs from Human Experts.
O Hassanzadeh, D Bhattacharjya, M Feblowitz, K Srinivas, M Perrone, ...
IJCAI, 5003-5009, 2019
632019
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
62*2020
Delfi: Online Planner Selection for Cost-Optimal Planning
M Katz, S Sohrabi, H Samulowitz, S Sievers
622018
Reshaping Diverse Planning
M Katz, S Sohrabi
The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), 2020
592020
Mercury Planner: Pushing the Limits of Partial Delete Relaxation
M Katz, J Hoffmann
Eighth International Planning Competition (IPC 2014), 2014
572014
Structural Patterns Heuristics via Fork Decomposition.
M Katz, C Domshlak
ICAPS, 182-189, 2008
542008
Reusable modeling for solving problems
M Katz, V Lipets, M Masin, D Moshkovich, SE Wasserkrug
US Patent App. 10/169,291, 2019
51*2019
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
482019
Top-Quality Planning: Finding Practically Useful Sets of Best Plans
M Katz, S Sohrabi, O Udrea
The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), 2020
462020
Reinforcement learning for classical planning: Viewing heuristics as dense reward generators
C Gehring, M Asai, R Chitnis, T Silver, L Kaelbling, S Sohrabi, M Katz
Proceedings of the International Conference on Automated Planning and …, 2022
452022
New Islands of Tractability of Cost-Optimal Planning
M Katz, C Domshlak
Journal of Artificial Intelligence Research 32 (1), 203-288, 2008
422008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20